package refl

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package refl

refl
- CHANGES
- README
- Library ppx_refl
  - Ppx_refl
- Library refl
  - Refl
    
    UnaryTypeS
    
    Sequence
    
    Delay
    
    Delays
    
    Kinds
    
    Builtins
    
    Refl
    
    UnaryTypeS
    
    Sequence
    
    Delay
    
    Delays
    
    Kinds
    
    Tools
    
    TypeS
    
    BinaryTypeS
    
    VectorS
    
    T
    
    Vector
    
    T
    
    BinaryVector
    
    ParameterizedVector
    
    Unary
    
    Item
    
    Unary
    
    T
    
    T
    
    SignedVector
    
    Desc_type
    
    Desc_vector
    
    Section
    
    Mapper
    
    MapperTools
    
    Tuple
    
    Tuple
    
    Item
    
    Items
    
    Tuples
    
    Record
    
    Record
    
    Field
    
    Map
    
    Tools
    
    Fields
    
    Records
    
    Constructor
    
    Map
    
    Tools
    
    RecordMap
    
    Tools
    
    Variant
    
    Object
    
    Object
    
    Method
    
    Methods
    
    Objects
    
    Converter
    
    Converters
    
    Mapper
    
    Mappers
    
    Printer
    
    Printers
    
    T
    
    PrinterSequence
    
    Compare
    
    Comparer
    
    Comparers
    
    Comparer
    
    Comparers
    
    Eq
    
    Equaler
    
    Equalers
    
    Equaler
    
    Equalers
    
    Hash
    
    Hasher
    
    Hashers
    
    T
    
    Iter
    
    Iters
    
    Fold
    
    Folds
    
    StringMap
    
    Lift
    
    Make
    
    Lifter
    
    Lifters
    
    T
    
    Exp
    
    Lifter
    
    Lifters
    
    T
    
    Pat
    
    Lifter
    
    Lifters
    
    T
    
    Visit
    
    VisitorS
    
    Applicative
    
    VisitS
    
    Visitor
    
    Visitors
    
    T
    
    Make
    
    Visitor
    
    Visitors
    
    T
    
    Ocaml_attributes
- Sources
  - ppx_refl
    
    ListExt.ml
    
    common.ml
    
    constraints.ml
    
    indexer.ml
    
    ppx_refl.ml
    
    ppx_refl__.ml
  - refl
    
    builtins.ml
    
    compare.ml
    
    convert.ml
    
    desc.ml
    
    enum.ml
    
    eq.ml
    
    fold.ml
    
    hash.ml
    
    iter.ml
    
    lift.ml
    
    make.ml
    
    map.ml
    
    refl.ml
    
    refl__.ml
    
    show.ml
    
    tools.ml
    
    visit.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Constructor.Map`Source

Parameters

module M : Mapper

Signature

Sourcemodule Tools : sig ... end

Sourcemodule RecordMap : sig ... end

Source

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

Source

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

package refl

Module Constructor.MapSource

Parameters

Signature

Module `Constructor.Map`Source