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

sha256=0ca29b7273870190b724e6db1f782980c175c50d9a208ff8ad351cbbb85a7fb1

sha512=5b7d32724e70ffcbc15bdefc71871148d0f2b743f6d664891e1126d194d3752dfb7715dbbe6046bcbd6f19c384a840b3e66c4130b5bb663580aeb6d697d7a20d

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