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

sha256=90225eeb444ad52be83cebb8d80196a9ba2cc5f3da066390c17dadd361db7339

sha512=15396ed0599acad3be7319574d0492ed8dd4aa2b9669acfc20b3acf98a186cfceabdd186ef88bd994f409fcb885bfbb2d086330092777a7da93f282e4a02b159

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