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.3.0.tbz

sha256=d9bd2fe51c2eb6fca27731034c46f9a77dc8bc9fb7b76216f8a571603d6e7d74

sha512=7b4ad2cbcd92f6647a1abe1d82557f02e4955c5f37f02089388c752e23b865af0f55fdd6bc63a1d2a00962baf96ccd99ccd9b8ecd8898dcc2a0cd17302f067c3

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

Module `Algebraic.Located`Source

Parameters

module S : Ppxlib.Ast_builder.S

module M : Monad.S

Signature

Sourcemodule M = M

Source

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