package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!'a, !'b) ab =
  1. | A of 'a
  2. | B of 'b
type (!'a, !'b) abl = ('a, 'b) ab list
val isA : ('a, 'b) ab -> bool
val isB : ('a, 'b) ab -> bool
val isAB : bool -> ('a, 'b) ab -> bool
val swapAB : ('a, 'b) ab -> ('b, 'a) ab
val mergeAB : ('a, 'a) ab -> 'a
val listAB_allA : ('a, 'b) ab list -> bool
val listAB_allB : ('a, 'b) ab list -> bool
val listAB_countA : ('a, 'b) ab list -> int
val listAB_countB : ('a, 'b) ab list -> int
val filterA : ('a, 'b) abl -> 'a list
val filterB : ('a, 'a) abl -> 'a list
val filterA_array : ('a, 'b) ab array -> 'a list
val filterB_array : ('a, 'a) ab array -> 'a list
module ToS : sig ... end
val split_ablist : ('a, 'b) ab list -> bool * int list * 'a list * 'b list
val split_ablist_unitA : (unit, 'b) ab list -> bool * int list * int * 'b list
val split_ablist_unitAB : (unit, unit) ab list -> bool * int list * int * int
val combine_ablist : (bool * int list * 'a list * 'b list) -> ('a, 'b) ab list
val combine_ablist_unitA : (bool * int list * int * 'b list) -> (unit, 'b) ab list
val combine_ablist_unitAB : (bool * int list * int * int) -> (unit, unit) ab list
val alt_sum : bool -> int list -> int * int
module ToB : sig ... end
module OfB : sig ... end
module ToBStream : sig ... end
module OfBStream : sig ... end
val extract_A : (unit, ('a, 'b) ab) abl -> (unit, 'a) abl * (unit, 'b) abl
val compose_A : (unit, 'a) abl -> (unit, 'b) abl -> (unit, ('a, 'b) ab) abl
val swap_B_AB : ('a, ('b, 'c) ab) ab list -> ('a, ('c, 'b) ab) ab list
val compose_B : (unit, 'a) abl -> (unit, 'b) abl -> (unit, ('b, 'a) ab) abl
val merge_B_AB : ('a, ('b, 'b) ab) ab list -> ('a, 'b) ab list
val compose_same : (unit, 'a) abl -> (unit, 'a) abl -> (unit, 'a) abl
val swap_ablA_ablB : (unit, 'a) abl -> (unit, 'b) abl -> (unit, 'b) abl * (unit, 'a) abl
val where_upward_A : ?carry:int -> ('a, 'b) abl -> int -> int * 'a
val where_downward_A : ?carry:int -> ('a, 'b) abl -> int -> int * 'a