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

Type-level naturals used for tracking size of a list

type zero =

| Zero

type 'num succ =

| Succ of 'num