package ppx_type_directed_value

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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

Parameters

module M : Base.T1

Signature

type ('a, 'length) t =

| [] : (Base.unit, Type_nat.zero) t
| :: : 'a M.t * ('b, 'l) t -> ('a * 'b, 'l Type_nat.succ) t