package ppx_type_directed_value

You can search for identifiers within the package.

in-package search v0.2.0

package ppx_type_directed_value

ppx_type_directed_value.runtime
- Ppx_type_directed_value_runtime
  - Converters
    
    Of_applicative
    
    T
    
    X
    
    Applicative_infix
    
    Of_simple
    
    T
    
    X
    
    Of_simple_with_key
    
    T
    
    X
  - Converters_intf
    
    Converters
    
    Of_applicative
    
    T
    
    X
    
    Applicative_infix
    
    Of_simple
    
    T
    
    X
    
    Of_simple_with_key
    
    T
    
    X
    
    Simple
    
    Simple_with_key
  - Type_directed
    
    Indexed_seq
    
    Any_length
    
    M
    
    Length_at_least_one
    
    M
    
    Length_at_least_two
    
    M
    
    Key
    
    Record
    
    M
    
    M_key
    
    S
    
    T
    
    Type_directed_value
    
    Type_nat
    
    Variant
    
    M

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type Simple = Simple

module type Simple_with_key = Simple_with_key

module Of_applicative
  (X : Base.Applicative.S) : 
  Type_directed.S
    with type 'a T.t = 'a X.t
     and type 'a T.attribute = Base.Nothing.t

module Of_simple
  (X : Simple) : 
  Type_directed.S
    with type 'a T.t = 'a X.t
     and type 'a T.attribute = Base.Nothing.t

module Of_simple_with_key
  (X : Simple_with_key) : 
  Type_directed.S
    with type 'a T.t = 'a X.t
     and type 'a T.attribute = 'a X.attribute