Refl.Tools.Constructor.Map · refl 0.4.0 · OCaml Packages

refl

PPX deriver for reflection

refl
- Refl
  - Builtins
    
    Refl
    
    Delay
    
    Delays
    
    Kinds
    
    Sequence
    
    1-T
    
    UnaryTypeS
  - Compare
    
    Comparer
    
    Comparers
  - Converter
  - Converters
  - Delay
  - Delays
  - Eq
    
    Equaler
    
    Equalers
  - Fold
  - Folds
    
    Unary
    
    1-U
    
    Item
    
    Unary
    
    T
  - Hash
    
    Hasher
    
    Hashers
    
    T
  - Iter
  - Iters
    
    T
  - Kinds
  - Lift
    
    Exp
    
    Lifter
    
    Lifters
    
    T
    
    Make
    
    1-Target
    
    Lifter
    
    Lifters
    
    T
    
    Pat
    
    Lifter
    
    Lifters
    
    T
  - Mapper
  - Mappers
  - Ocaml_attributes
  - Printer
  - PrinterSequence
  - Printers
    
    T
  - Sequence
    
    1-T
  - StringMap
  - Tools
    
    BinaryTypeS
    
    BinaryVector
    
    1-T
    
    Constructor
    
    Map
    
    1-M
    
    RecordMap
    
    Tools
    
    Tools
    
    Desc_type
    
    Desc_vector
    
    1-T
    
    Mapper
    
    MapperTools
    
    1-M
    
    Object
    
    Method
    
    Methods
    
    Object
    
    Objects
    
    ParameterizedVector
    
    1-T
    
    Unary
    
    1-U
    
    Item
    
    Unary
    
    T
    
    Record
    
    Field
    
    Fields
    
    Map
    
    1-M
    
    Tools
    
    Record
    
    Records
    
    Section
    
    SignedVector
    
    1-T
    
    Tuple
    
    Item
    
    Items
    
    Tuple
    
    Tuples
    
    Variant
    
    Vector
    
    1-T
    
    VectorS
    
    T
  - UnaryTypeS
  - Visit
    
    Make
    
    1-V
    
    Applicative
    
    Visitor
    
    Visitors
    
    T
    
    VisitS
    
    Visitor
    
    Visitors
    
    T
    
    VisitorS
    
    Applicative
refl.ppx
- Ppx_refl

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library refl

Module Refl . Tools . Constructor . Map

Parameters

module M : Mapper

Signature

module Tools : sig ... end

module RecordMap : sig ... end

val map_kind : 
  'structure 'kinds. ( 'a_arity, 'b_arity, 'subpositive, 'subnegative ) M.t ->
  ( 'types_a,
    'structure,
    'a_arity,
    M.rec_group,
    'kinds,
    'subpositive,
    'subnegative,
    'subdirect,
    M.gadt )
    Refl__Desc.constructor_kind ->
  ( 'types_b,
    'structure,
    'b_arity,
    M.rec_group,
    'kinds,
    'subpositive,
    'subnegative,
    'subdirect,
    M.gadt )
    Refl__Desc.constructor_kind ->
  'types_a ->
  'types_b

val map_choice : 
  'a_cases 'b_cases 'structures 'kinds. ( 'a_cases,
                                          'structures,
                                          M.a_arity,
                                          M.rec_group,
                                          'kinds,
                                          M.positive,
                                          M.negative,
                                          'direct,
                                          M.gadt )
                                          Refl__Desc.constructors ->
  ( 'b_cases,
    'structures,
    M.b_arity,
    M.rec_group,
    'kinds,
    M.positive,
    M.negative,
    'direct,
    M.gadt )
    Refl__Desc.constructors ->
  'a_cases Refl__Desc.binary_choice ->
  'b_cases Refl__Desc.binary_choice