GuaCaml

GuaCaml : Generic Unspecific Algorithmic in OCaml
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library GuaCaml
Module GuaCaml . BTools . ToB
type stream = bool list
type !'a t = 'a -> stream -> stream
val unit : unit t
val map : ( 'a -> 'b ) -> 'b t -> 'a t
val c2 : 't0 t -> 't1 t -> ( 't0, 't1 ) Poly.c2 t
val c3 : 't0 t -> 't1 t -> 't2 t -> ( 't0, 't1, 't2 ) Poly.c3 t
val c4 : 't0 t -> 't1 t -> 't2 t -> 't3 t -> ( 't0, 't1, 't2, 't3 ) Poly.c4 t
val option : 'a t -> 'a option t
val sized_barray : BArray.t t
val barray : BArray.t t
val none_list : 'a option t -> 'a list t
val sized_list : 'a t -> 'a list t
val bool : bool t
val unary : int t
val sized_int : int -> int t
val int : int t
val signed_int : int t
val int' : int -> int -> int 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 closure : 'a t -> 'a -> BArray.t
val list : 'a t -> 'a list t
val array : 'a t -> 'a array t
val bool_option_list : bool option list t
val sized_bool_list : bool list t
val sized_unit_list : unit list t
val sum_list : ?min:int -> int -> int list t