package cconv

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a t

and !'r1 record_sink =

and !'t1 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 =

val expected : 'a t -> expected