GuaCaml 0.05 (latest) · OCaml Package

module Channel : sig ... end

type !'a t = Channel.channel -> 'a

val bool : (Channel.data * Channel.channel_type) -> bool

val sized_bool_list : int -> (Channel.data * Channel.channel_type) -> bool list

val sized_unit_list : int -> 'a -> unit list

val unary : (Channel.data * Channel.channel_type) -> int

val sized_int : int -> (Channel.data * Channel.channel_type) -> int

val int_aux : int -> (Channel.data * Channel.channel_type) -> int

val int_legacy : (Channel.data * Channel.channel_type) -> int

val int_vanilla_aux : 
  ?carry:int ->
  ?exp:int ->
  (Channel.data * Channel.channel_type) ->
  int

val int_vanilla : (Channel.data * Channel.channel_type) -> int

val log2_int : (Channel.data * Channel.channel_type) -> int

val debug_int : Channel.channel -> int

val profil_int : Channel.channel -> int

val int : Channel.channel -> int

val unary_le : int -> (Channel.data * Channel.channel_type) -> int

val char : (Channel.data * Channel.channel_type) -> char

val bytes : Channel.channel -> Bytes.t

val string : Channel.channel -> string

val float : Channel.channel -> float

val barray : Channel.channel -> BTools_BArray.t

val option : 'a t -> Channel.channel -> 'a option

val int_option : Channel.channel -> int option

val int_bool_result : Channel.channel -> (int, bool) result

val sized_list : 'a t -> int -> Channel.channel -> 'a list

val sized_bool_list_le : 
  ?carry:bool list ->
  bool list ->
  (Channel.data * Channel.channel_type) ->
  bool list

val int_le : int -> (Channel.data * Channel.channel_type) -> int

val int' : int -> int -> (Channel.data * Channel.channel_type) -> int

val list : 'a t -> Channel.channel -> 'a list

val bool_list : Channel.channel -> bool list

val array : 'a t -> Channel.channel -> 'a array

val unit : 'a -> unit

val pair : 'a t -> 'b t -> Channel.channel -> 'a * 'b

val (*) : 'a t -> 'b t -> Channel.channel -> 'a * 'b

val trio : 'a t -> 'b t -> 'c t -> Channel.channel -> 'a * 'b * 'c

val quad : 'a t -> 'b t -> 'c t -> 'd t -> Channel.channel -> 'a * 'b * 'c * 'd

val none_list : 'a option t -> Channel.channel -> 'a list

val bool_option_list : 
  (Channel.data * Channel.channel_type) ->
  bool option list

val btree : 'a t -> Channel.channel -> 'a Tree.btree

val btree_code : 'a Tree.btree -> (Channel.data * Channel.channel_type) -> 'a

val huffman_btree : 'a t -> Channel.channel -> 'a Tree.btree

val huffman : 'a t -> Channel.channel -> 'a t

val huffman2 : ?post:(unit -> 'a t) option -> 'a t -> Channel.channel -> 'a t

val dag_core : 
  (int -> 'link option) ->
  (int -> 'link -> unit) ->
  (Channel.channel -> (int -> 'link * int) -> int -> 'link * int) ->
  (int -> int t) ->
  Channel.channel ->
  int ->
  'link * int

val ctx_dag_core : 
  ('ctx -> int -> 'link option) ->
  ('ctx -> int -> 'link -> unit) ->
  (Channel.channel ->
    ('ctx -> int -> 'link * int) ->
    'ctx ->
    int ->
    'link * int) ->
  ('ctx -> int -> int t) ->
  Channel.channel ->
  'ctx ->
  int ->
  'link * int

val hctx_dag_core : 
  ('ctx -> int -> 'link option) ->
  ('ctx -> int -> 'link -> unit) ->
  (Channel.channel -> ('ctx -> 'link) -> 'ctx -> 'link) ->
  ('ctx -> int -> int t) ->
  ('ctx -> int) ->
  ('ctx -> int) ->
  Channel.channel ->
  'ctx ->
  'link

val hctx2_dag_core : 
  ('ctx -> int -> 'link option) ->
  ('ctx -> int -> 'link -> unit) ->
  (Channel.channel -> ('ctx -> 'link) -> 'ctx -> 'link) ->
  ('ctx -> int -> int option t) ->
  ('ctx -> int) ->
  ('ctx -> int) ->
  Channel.channel ->
  'ctx ->
  'link

val hctx3_dag_core : 
  ('ctx -> int -> 'link option) ->
  ('ctx -> int -> 'link -> unit) ->
  (Channel.channel -> ('ctx -> 'link) -> 'ctx -> 'link) ->
  ('ctx -> int -> (int, bool) result t) ->
  ('ctx -> int) ->
  ('ctx -> int) ->
  Channel.channel ->
  'ctx ->
  'link

val sum_list : 
  ?carry:int list ->
  ?min:int ->
  int ->
  (Channel.data * Channel.channel_type) ->
  int list

package GuaCaml