package refl

You can search for identifiers within the package.

in-package search v0.2.0

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Equaler : sig ... end

module Equalers : sig ... end

type ('a, 'b) hook_fun =
  'a Refl__.Desc.refl ->
  'b Refl__.Desc.refl ->
  (?hook:hook -> ('a, 'b) Equaler.t) ->
  ('a, 'b) Equaler.t

and hook = {

hook : 'a 'b. ('a, 'b) hook_fun;

}

val equal_poly : 
  'a 'b 'structure 'arity_a 'arity_b 'rec_group 'positive 'negative 'direct 'gadt_a 'gadt_b. 
  ?hook:
    hook ->
  ('a,
    'structure,
    'arity_a,
    'rec_group,
    [< Refl__.Desc.Kinds.comparable Array Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ] as 'c,
    'positive,
    'negative,
    'direct,
    'gadt_a)
    Refl__.Desc.desc ->
  ('b,
    'structure,
    'arity_b,
    'rec_group,
    'd,
    'positive,
    'negative,
    'direct,
    'gadt_b)
    Refl__.Desc.desc ->
  ('arity_a, 'arity_b, 'direct) Equalers.t ->
  ('a, 'b) Equaler.t

val equal : 
  ?hook:hook ->
  ('a,
    'b,
    'c,
    'd,
    [< Refl__.Desc.Kinds.comparable Array Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ],
    'e,
    'f,
    'g,
    'h)
    Refl__.Desc.desc ->
  ('c, 'i, 'g) Equalers.t ->
  ('a, 'j) Equaler.t