package GuaCaml

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