package cconv

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t
and !'r1 record_sink =
  1. | RecordField : string * 'a t * ('a -> 'r record_sink) -> 'r record_sink
  2. | RecordStop : 'r0 -> 'r0 record_sink
and !'t1 hlist =
  1. | HCons : 'a t * ('a -> 't hlist) -> 't hlist
  2. | HNil : 't0 -> 't0 hlist
val unit_ : unit t
val bool_ : bool t
val float_ : float t
val int_ : int t
val string_ : string t
val list_ : 'a t -> 'a list t
val map : ('a -> 'b) -> 'a t -> 'b t
val array_ : 'a t -> 'a array t
val field : string -> 'a t -> ('a -> 'r record_sink) -> 'r record_sink
val yield_record : 'r -> 'r record_sink
val record : 'r record_sink -> 'r t
val record_fix : ('r t -> 'r record_sink) -> 'r t
val (|+|) : 'a t -> ('a -> 't hlist) -> 't hlist
val yield : 'a -> 'a hlist
val tuple : 't hlist -> 't t
val pair : 'a t -> 'b t -> ('a * 'b) t
val triple : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t
val quad : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t
val sum : (string -> 'a hlist) -> 'a t
val sum_fix : ('a t -> string -> 'a hlist) -> 'a t
val opt : 'a t -> 'a option t
type expected =
  1. | ExpectInt
  2. | ExpectBool
  3. | ExpectUnit
  4. | ExpectFloat
  5. | ExpectString
  6. | ExpectRecord
  7. | ExpectTuple
  8. | ExpectList
  9. | ExpectSum
val expected : 'a t -> expected
OCaml

Innovation. Community. Security.