package ppx_repr

You can search for identifiers within the package.

in-package search v0.2.0

PPX deriver for type representations

Install

Dune Dependency

github.com Readme Changelog ISC License Edit opam file Versions (8)

Authors

Maintainers

T

thomas@gazagnaire.org

Sources

repr-fuzz-0.2.0.tbz

sha256=36db1188217a8b0ad3c5c745f120ac1a46ff1767a6440988bd7280e68e751850

sha512=c7399f64b8bdc5b0aad63b66feb6142096b9b72bc27aee94d8896d780271d0dadbf242f09b1a92cc2b1a4f29e2ca5db08f77d1ebeb0ee5761c61a031a3ca3657

doc/ppx_repr.lib/Ppx_repr_lib/Algebraic/Located/index.html

Module `Algebraic.Located`

Parameters

module S : Ppxlib.Ast_builder.S

module M : Monad.S

Signature

module M = M

val encode : 
  ('a, 'b) Algebraic_intf.Typ.t ->
  subderive:('a -> ('b, 'e) M.t) ->
  lib:string option ->
  type_name:string ->
  'a list ->
  (Ppxlib.expression, 'e) M.t

Build the functional encoding of a composite type. Combine the various elements necessary for a functional encoding of a composite type ('a, 'b) {!typ}, in terms its components of type 'a list and the name of the composite type type_name.

This requires a function subderive for deriving the type representation of the subcomponents, which may run in a monadic context M.t.

On This Page

Parameters
Signature