package ppx_repr

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package ppx_repr

ppx_repr.lib
- Ppx_repr_lib
  - Algebraic
    
    Located
    
    M
    
    Syntax
    
    S
    
    Located
  - Algebraic_intf
    
    Algebraic
    
    Located
    
    M
    
    Syntax
    
    S
    
    Located
    
    S
    
    M
    
    Syntax
    
    Typ
  - Attributes
    
    Make
    
    T
  - Attributes_intf
    
    Attributes
    
    Make
    
    T
    
    S
  - Engine
    
    Located
    
    A
    
    Located
    
    Attributes
  - Engine_intf
    
    Engine
    
    Located
    
    A
    
    Located
    
    Attributes
    
    S
  - Monad
    
    Reader
    
    Syntax
  - Monad_intf
    
    Monad
    
    Reader
    
    Syntax
    
    S
    
    Syntax
  - Plugins
    
    Make
    
    T
  - Ppx_irmin_lib
  - Raise
    
    Unsupported
  - Utils
    
    Make
    
    A
    
    Located

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.