package GuaCaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Channel : sig ... end
type !'a t = Channel.t -> 'a -> unit
val bool : bool t
val char : char t
val unary : int t
val sized_int : int -> int t
val int : int t
val int_le : int -> int t
val int' : int -> int -> int t
val float : float t
val string : string t
val bytes : Stdlib.Bytes.t t
val barray : BArray.t t
val option : 'a t -> 'a option t
val int_option : int option t
val unit : unit t
val pair : 'a t -> 'b t -> ('a * 'b) t
val (*) : 'a t -> 'b t -> ('a * 'b) t
val trio : '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 list : 'a t -> 'a list t
val sized_list : 'a t -> 'a list t
val none_list : 'a option t -> 'a list t
val bool_list : bool list t
val bool_option_list : bool option list t
val sized_bool_list : bool list t
val sized_unit_list : unit list t
val array : 'a t -> 'a array t
val btree : 'a t -> 'a Tree.btree t
val btree_code : ?pf:('a -> bool list -> unit) option -> 'a Tree.btree -> 'a t
val huffman_btree : ?pf:('a -> bool list -> unit) option -> 'a t -> 'a Tree.btree t
val huffman : ?sofa:('a -> string) option -> 'a t -> Channel.t -> ('a * int) list -> 'a t
val huffman2 : ?sofa:('a -> string) option -> ?post:('a list -> 'a t) option -> 'a t -> Channel.t -> ('a * int) list -> 'a t
val dag_core : ('ident -> int option) -> ('ident -> int -> unit) -> ('link -> 'ident) -> (Channel.t -> ('link -> int -> int) -> 'link -> int -> int) -> (int -> int t) -> Channel.t -> 'link -> int -> int
val ctx_dag_core : ('ctx -> 'ident -> int option) -> ('ctx -> 'ident -> int -> unit) -> ('link -> 'ident) -> (Channel.t -> ('ctx -> 'link -> int -> int) -> 'ctx -> 'link -> int -> int) -> ('ctx -> int -> int t) -> Channel.t -> 'ctx -> 'link -> int -> int
val hctx_dag_core : ('ctx -> 'ident -> int option) -> ('ctx -> 'ident -> int -> unit) -> ('link -> 'ident) -> (Channel.t -> ('ctx -> 'link -> unit) -> 'ctx -> 'link -> unit) -> ('ctx -> int -> int t) -> ('ctx -> int) -> ('ctx -> int) -> Channel.t -> 'ctx -> 'link -> unit
val hctx2_dag_core : ('ctx -> 'ident -> int option) -> ('ctx -> 'ident -> int -> unit) -> ('link -> 'ident) -> (Channel.t -> ('ctx -> 'link -> unit) -> 'ctx -> 'link -> unit) -> ('ctx -> int -> int option t) -> ('ctx -> int) -> ('ctx -> int) -> Channel.t -> 'ctx -> 'link -> unit
val hctx3_dag_core : ('ctx -> 'ident -> (int, bool) Stdlib.result) -> ('ctx -> 'ident -> int -> unit) -> ('link -> 'ident) -> (Channel.t -> ('ctx -> 'link -> unit) -> 'ctx -> 'link -> unit) -> ('ctx -> int -> (int, bool) Stdlib.result t) -> ('ctx -> int) -> ('ctx -> int) -> Channel.t -> 'ctx -> 'link -> unit
val ofbstream : Channel.t -> OfBStream.Channel.t -> unit
val sum_list : ?min:int -> int -> int list t