GuaCaml

GuaCaml : Generic Unspecific Algorithmic in OCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library GuaCaml
Module GuaCaml . BTools . ToBStream
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 : 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 ) result ) -> ( 'ctx -> 'ident -> int -> unit ) -> ( 'link -> 'ident ) -> ( Channel.t -> ( 'ctx -> 'link -> unit ) -> 'ctx -> 'link -> unit ) -> ( 'ctx -> int -> ( int, bool ) 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