package ppx_repr

  1. Overview
  2. Docs
PPX deriver for type representations

Install

Dune Dependency

Authors

Maintainers

Sources

repr-fuzz-0.4.0.tbz
sha256=1791765a495981cc69c0d591ef06831ca158d85192c6631b4838b3ee997dfcce
sha512=09fac16a9d4df87bf68b275b032407ddd281beadd2881f848fc2e58d5205538b2a9c3ad6743de268ce70838defcc72de49c1f7e3b02ac590f2ff187fcf0abfab

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

Module Algebraic.LocatedSource

Parameters

module M : Monad.S

Signature

Sourcemodule M = M
Sourceval 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.

OCaml

Innovation. Community. Security.