diff --git a/api/Sequence.IO.html b/api/Sequence.IO.html deleted file mode 100644 index 6620ef7..0000000 --- a/api/Sequence.IO.html +++ /dev/null @@ -1,62 +0,0 @@ - - -
- - - - - - - - - - - - -module IO:sig..end
val lines_of : ?mode:int -> ?flags:Pervasives.open_flag list -> string -> string Sequence.tlines_of filename reads all lines of the given file. It raises the
- same exception as would opening the file and read from it, except
- from End_of_file (which is caught). The file is always properly
- closed.
- Every time the sequence is iterated on, the file is opened again, so
- different iterations might return different resultsmode : default 0o644flags : default: [Open_rdonly]val chunks_of : ?mode:int ->
?flags:Pervasives.open_flag list -> ?size:int -> string -> string Sequence.tsize from the file. The last chunk might be
- smaller. Behaves like Sequence.IO.lines_of regarding errors and options.
- Every time the sequence is iterated on, the file is opened again, so
- different iterations might return different resultsval write_to : ?mode:int ->
?flags:Pervasives.open_flag list -> string -> string Sequence.t -> unitwrite_to filename seq writes all strings from seq into the given
- file. It takes care of opening and closing the file.mode : default 0o644flags : used by open_out_gen. Default: [Open_creat;Open_wronly].val write_bytes_to : ?mode:int ->
?flags:Pervasives.open_flag list -> string -> Bytes.t Sequence.t -> unitval write_lines : ?mode:int ->
?flags:Pervasives.open_flag list -> string -> string Sequence.t -> unit
-
-val write_bytes_lines : ?mode:int ->
?flags:Pervasives.open_flag list -> string -> Bytes.t Sequence.t -> unitmodule Infix:sig..end
val (--) : int -> int -> int Sequence.ta -- b is the range of integers from a to b, both included,
- in increasing order. It will therefore be empty if a > b.val (--^) : int -> int -> int Sequence.ta --^ b is the range of integers from b to a, both included,
- in decreasing order (starts from a).
- It will therefore be empty if a < b.val (>>=) : 'a Sequence.t -> ('a -> 'b Sequence.t) -> 'b Sequence.t
-
-val (>|=) : 'a Sequence.t -> ('a -> 'b) -> 'b Sequence.t
-
-val (<*>) : ('a -> 'b) Sequence.t -> 'a Sequence.t -> 'b Sequence.tval (<+>) : 'a Sequence.t -> 'a Sequence.t -> 'a Sequence.tmodule Adapt:
| Parameters: | -
-
|
-
include Map.S
-
-val to_seq : 'a Sequence.t -> (key * 'a) Sequence.sequence
-val of_seq : (key * 'a) Sequence.sequence -> 'a Sequence.t
-val keys : 'a Sequence.t -> key Sequence.sequence
-val values : 'a Sequence.t -> 'a Sequence.sequence
-val to_list : 'a Sequence.t -> (key * 'a) list
-val of_list : (key * 'a) list -> 'a Sequence.t
\ No newline at end of file
diff --git a/api/Sequence.Map.Make.html b/api/Sequence.Map.Make.html
deleted file mode 100644
index 8ad3db4..0000000
--- a/api/Sequence.Map.Make.html
+++ /dev/null
@@ -1,50 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module Make:
| Parameters: | -
-
|
-
include Map.S
-
-val to_seq : 'a Sequence.t -> (key * 'a) Sequence.sequence
-val of_seq : (key * 'a) Sequence.sequence -> 'a Sequence.t
-val keys : 'a Sequence.t -> key Sequence.sequence
-val values : 'a Sequence.t -> 'a Sequence.sequence
-val to_list : 'a Sequence.t -> (key * 'a) list
-val of_list : (key * 'a) list -> 'a Sequence.t
\ No newline at end of file
diff --git a/api/Sequence.Map.S.html b/api/Sequence.Map.S.html
deleted file mode 100644
index 48c16d7..0000000
--- a/api/Sequence.Map.S.html
+++ /dev/null
@@ -1,31 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module type S =sig..end
include Map.S
-
-val to_seq : 'a Sequence.t -> (key * 'a) Sequence.sequence
-val of_seq : (key * 'a) Sequence.sequence -> 'a Sequence.t
-val keys : 'a Sequence.t -> key Sequence.sequence
-val values : 'a Sequence.t -> 'a Sequence.sequence
-val to_list : 'a Sequence.t -> (key * 'a) list
-val of_list : (key * 'a) list -> 'a Sequence.t
\ No newline at end of file
diff --git a/api/Sequence.Map.html b/api/Sequence.Map.html
deleted file mode 100644
index 39061d8..0000000
--- a/api/Sequence.Map.html
+++ /dev/null
@@ -1,36 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module Map:sig..end
module type S =-sig..end
module Adapt:
module Make:
module Adapt:
| Parameters: | -
-
|
-
include Set.S
-
-val of_seq : elt Sequence.sequence -> Sequence.t
-val to_seq : Sequence.t -> elt Sequence.sequence
-val to_list : Sequence.t -> elt list
-val of_list : elt list -> Sequence.t
\ No newline at end of file
diff --git a/api/Sequence.Set.Make.html b/api/Sequence.Set.Make.html
deleted file mode 100644
index 9ccb425..0000000
--- a/api/Sequence.Set.Make.html
+++ /dev/null
@@ -1,48 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module Make:
| Parameters: | -
-
|
-
include Set.S
-
-val of_seq : elt Sequence.sequence -> Sequence.t
-val to_seq : Sequence.t -> elt Sequence.sequence
-val to_list : Sequence.t -> elt list
-val of_list : elt list -> Sequence.t
\ No newline at end of file
diff --git a/api/Sequence.Set.S.html b/api/Sequence.Set.S.html
deleted file mode 100644
index 3bed0f4..0000000
--- a/api/Sequence.Set.S.html
+++ /dev/null
@@ -1,29 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module type S =sig..end
include Set.S
-
-val of_seq : elt Sequence.sequence -> Sequence.t
-val to_seq : Sequence.t -> elt Sequence.sequence
-val to_list : Sequence.t -> elt list
-val of_list : elt list -> Sequence.t
\ No newline at end of file
diff --git a/api/Sequence.Set.html b/api/Sequence.Set.html
deleted file mode 100644
index 9cf1484..0000000
--- a/api/Sequence.Set.html
+++ /dev/null
@@ -1,34 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module Set:sig..end
module type S =-sig..end
module Adapt:
module Make:
module TypeClass:sig..end
type ('a, 'b) sequenceable = {
- |
-
-to_seq : |
-
-
- |
-
-of_seq : |
-
-
type ('a, 'b) addable = {
- |
-
-empty : |
-
-
- |
-
-add : |
-
-
type- -'amonoid =('a, 'a) addable
type ('a, 'b) iterable = {
- |
-
-iter : |
-
-
val sequenceable : ('a, 'a Sequence.t) sequenceableval iterable : ('a, 'a Sequence.t) iterableval monoid : 'a Sequence.t monoidval of_iterable : ('a, 'b) iterable -> 'b -> 'a Sequence.tval to_addable : ('a, 'b) addable -> 'a Sequence.t -> 'b
\ No newline at end of file
diff --git a/api/Sequence.html b/api/Sequence.html
deleted file mode 100644
index e5e566f..0000000
--- a/api/Sequence.html
+++ /dev/null
@@ -1,865 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module Sequence:sig..end
n^2 conversions between the n types. The
- implementation relies on the assumption that a sequence can be iterated
- on as many times as needed; this choice allows for high performance
- of many combinators. However, for transient iterators, the Sequence.persistent
- function is provided, storing elements of a transient iterator
- in memory; the iterator can then be used several times (See further).
-
-
- Note that some combinators also return sequences (e.g. group). The
- transformation is computed on the fly every time one iterates over
- the resulting sequence. If a transformation performs heavy computation,
- Sequence.persistent can also be used as intermediate storage.
-
-
- Most functions are lazy, i.e. they do not actually use their arguments
- until their result is iterated on. For instance, if one calls Sequence.map
- on a sequence, one gets a new sequence, but nothing else happens until
- this new sequence is used (by folding or iterating on it).
-
-
- If a sequence is built from an iteration function that is repeatable
- (i.e. calling it several times always iterates on the same set of
- elements, for instance List.iter or Map.iter), then
- the resulting Sequence.t object is also repeatable. For one-time iter functions
- such as iteration on a file descriptor or a Stream,
- the Sequence.persistent function can be used to iterate and store elements in
- a memory structure; the result is a sequence that iterates on the elements
- of this memory structure, cheaply and repeatably.
-
-
type-'at =('a -> unit) -> unit
'a. If you give it a function 'a -> unit
- it will be applied to every element of the sequence successively.type- - -'asequence ='a t
type-('a, 'b)t2 =('a -> 'b -> unit) -> unit
'a and 'b.type- - -'aequal ='a -> 'a -> bool
type- -'ahash ='a -> int
val from_iter : (('a -> unit) -> unit) -> 'a tval from_fun : (unit -> 'a option) -> 'a tSequence.persistent if needed!val empty : 'a tval singleton : 'a -> 'a tval doubleton : 'a -> 'a -> 'a tval init : (int -> 'a) -> 'a tinit f is the infinite sequence f 0; f 1; f 2; ….val cons : 'a -> 'a t -> 'a tcons x l yields x, then yields from l.
- Same as append (singleton x) lval snoc : 'a t -> 'a -> 'a t
-
-val return : 'a -> 'a tSequence.singletonval pure : 'a -> 'a tSequence.singletonval repeat : 'a -> 'a tSequence.take and the likes if you iterate on it.val iterate : ('a -> 'a) -> 'a -> 'a titerate f x is the infinite sequence x, f(x), f(f(x)), ...val forever : (unit -> 'b) -> 'b tSequence.take and Sequence.persistent.val cycle : 'a t -> 'a tSequence.take not to loop
- forever.val iter : ('a -> unit) -> 'a t -> unititer f seq is just seq f.val iteri : (int -> 'a -> unit) -> 'a t -> unitval fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'aval foldi : ('a -> int -> 'b -> 'a) -> 'a -> 'b t -> 'aval fold_map : ('acc -> 'a -> 'acc * 'b) -> 'acc -> 'a t -> 'b tfold_map f acc l is like Sequence.map, but it carries some state as in
- Sequence.fold. The state is not returned, it is just used to thread some
- information to the map function.val fold_filter_map : ('acc -> 'a -> 'acc * 'b option) -> 'acc -> 'a t -> 'b tfold_filter_map f acc l is a Sequence.fold_map-like function, but the
- function can choose to skip an element by retuning None.val map : ('a -> 'b) -> 'a t -> 'b tval mapi : (int -> 'a -> 'b) -> 'a t -> 'b tval map_by_2 : ('a -> 'a -> 'a) -> 'a t -> 'a tval for_all : ('a -> bool) -> 'a t -> boolval exists : ('a -> bool) -> 'a t -> boolval mem : ?eq:('a -> 'a -> bool) -> 'a -> 'a t -> booleq : the equality predicate to use (default (=))val find : ('a -> 'b option) -> 'a t -> 'b optionNoneval find_map : ('a -> 'b option) -> 'a t -> 'b option
-
-val findi : (int -> 'a -> 'b option) -> 'a t -> 'b option
-
-val find_mapi : (int -> 'a -> 'b option) -> 'a t -> 'b option
-
-val find_pred : ('a -> bool) -> 'a t -> 'a optionfind_pred p l finds the first element of l that satisfies p,
- or returns None if no element satisfies pval find_pred_exn : ('a -> bool) -> 'a t -> 'a
-
-val length : 'a t -> intval is_empty : 'a t -> boolval filter : ('a -> bool) -> 'a t -> 'a tval append : 'a t -> 'a t -> 'a tval append_l : 'a t list -> 'a tval concat : 'a t t -> 'a tval flatten : 'a t t -> 'a tSequence.concatval flat_map : ('a -> 'b t) -> 'a t -> 'b tSequence.concat.
- Formerly flatMapval flat_map_l : ('a -> 'b list) -> 'a t -> 'b t
-
-val seq_list : 'a t list -> 'a list tseq_list l returns all the ways to pick one element in each sub-sequence
- in l. Assumes the sub-sequences can be iterated on several times.val seq_list_map : ('a -> 'b t) -> 'a list -> 'b list t
-
-val filter_map : ('a -> 'b option) -> 'a t -> 'b tNone elements
- Formerly fmapval filter_mapi : (int -> 'a -> 'b option) -> 'a t -> 'b tNone elementsval intersperse : 'a -> 'a t -> 'a tval persistent : 'a t -> 'a tval persistent_lazy : 'a t -> 'a tSequence.persistent. When calling persistent_lazy s,
- a new sequence s' is immediately returned (without actually consuming
- s) in constant time; the first time s' is iterated on,
- it also consumes s and caches its content into a inner data
- structure that will back s' for future iterations.
-
-
- warning: on the first traversal of s', if the traversal
- is interrupted prematurely (Sequence.take, etc.) then s' will not be
- memorized, and the next call to s' will traverse s again.
-
val sort : ?cmp:('a -> 'a -> int) -> 'a t -> 'a tval sort_uniq : ?cmp:('a -> 'a -> int) -> 'a t -> 'a tsortval sorted : ?cmp:('a -> 'a -> int) -> 'a t -> bool
-
-val group_succ_by : ?eq:('a -> 'a -> bool) -> 'a t -> 'a list tgroup.val group_by : ?hash:('a -> int) ->
?eq:('a -> 'a -> bool) -> 'a t -> 'a list tx and y, if eq x y then hash x=hash y must hold.val count : ?hash:('a -> int) ->
?eq:('a -> 'a -> bool) -> 'a t -> ('a * int) tgroup_by seq |> map (fun l->List.hd l, List.length l)
- precondition: for any x and y, if eq x y then hash x=hash y must hold.val uniq : ?eq:('a -> 'a -> bool) -> 'a t -> 'a tfun seq -> map List.hd (group seq).val product : 'a t -> 'b t -> ('a * 'b) tproduct a b,
- the caller MUST ensure that b can be traversed as many times
- as required (several times), possibly by calling Sequence.persistent on it
- beforehand.val diagonal_l : 'a list -> ('a * 'a) tdiagonal l will
- return the sequence of all List.nth i l, List.nth j l if i < j.val diagonal : 'a t -> ('a * 'a) tval product2 : 'a t -> 'b t -> ('a, 'b) t2
-
-val join : join_row:('a -> 'b -> 'c option) ->
'a t -> 'b t -> 'c tjoin ~join_row a b combines every element of a with every
- element of b using join_row. If join_row returns None, then
- the two elements do not combine. Assume that b allows for multiple
- iterations.val join_by : ?eq:'key equal ->
?hash:'key hash ->
('a -> 'key) ->
('b -> 'key) ->
merge:('key -> 'a -> 'b -> 'c option) ->
'a t -> 'b t -> 'c tjoin key1 key2 ~merge is a binary operation
- that takes two sequences a and b, projects their
- elements resp. with key1 and key2, and combine
- values (x,y) from (a,b) with the same key
- using merge. If merge returns None, the combination
- of values is discarded.
- precondition: for any x and y, if eq x y then hash x=hash y must hold.val join_all_by : ?eq:'key equal ->
?hash:'key hash ->
('a -> 'key) ->
('b -> 'key) ->
merge:('key -> 'a list -> 'b list -> 'c option) ->
'a t -> 'b t -> 'c tjoin_all_by key1 key2 ~merge is a binary operation
- that takes two sequences a and b, projects their
- elements resp. with key1 and key2, and, for each key k
- occurring in at least one of them:l1 of elements of a that map to kl2 of elements of b that map to kmerge k l1 l2. If merge returns None, the combination
- of values is discarded, otherwise it returns Some c
- and c is inserted in the result.val group_join_by : ?eq:'a equal ->
?hash:'a hash ->
('b -> 'a) -> 'a t -> 'b t -> ('a * 'b list) tgroup_join_by key2 associates to every element x of
- the first sequence, all the elements y of the second
- sequence such that eq x (key y). Elements of the first
- sequences without corresponding values in the second one
- are mapped to []
- precondition: for any x and y, if eq x y then hash x=hash y must hold.val inter : ?eq:'a equal ->
?hash:'a hash -> 'a t -> 'a t -> 'a tx and y, if eq x y then hash x=hash y must hold.val union : ?eq:'a equal ->
?hash:'a hash -> 'a t -> 'a t -> 'a tx and y, if eq x y then hash x=hash y must hold.val diff : ?eq:'a equal ->
?hash:'a hash -> 'a t -> 'a t -> 'a tval subset : ?eq:'a equal ->
?hash:'a hash -> 'a t -> 'a t -> boolsubset a b returns true if all elements of a belong to b. Eager.
- precondition: for any x and y, if eq x y then hash x=hash y must hold.val unfoldr : ('b -> ('a * 'b) option) -> 'b -> 'a tunfoldr f b will apply f to b. If it
- yields Some (x,b') then x is returned
- and unfoldr recurses with b'.val scan : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b tval max : ?lt:('a -> 'a -> bool) -> 'a t -> 'a optionm where m is the maximal
- element otherwiseval max_exn : ?lt:('a -> 'a -> bool) -> 'a t -> 'a
-
-val min : ?lt:('a -> 'a -> bool) -> 'a t -> 'a optionSequence.max for more details.val min_exn : ?lt:('a -> 'a -> bool) -> 'a t -> 'a
-
-val sum : int t -> intval sumf : float t -> floatval head : 'a t -> 'a optionNoneval head_exn : 'a t -> 'aInvalid_argument if the sequence is emptyval take : int -> 'a t -> 'a tn elements from the sequence. Works on infinite
- sequences.val take_while : ('a -> bool) -> 'a t -> 'a ts if the predicate is false for at
- least one element of s.val fold_while : ('a -> 'b -> 'a * [ `Continue | `Stop ]) -> 'a -> 'b t -> 'a('a, `Stop)val drop : int -> 'a t -> 'a tn first elements of the sequence. Lazy.val drop_while : ('a -> bool) -> 'a t -> 'a tSequence.dropval rev : 'a t -> 'a tval empty2 : ('a, 'b) t2
-val is_empty2 : ('a, 'b) t2 -> bool
-val length2 : ('a, 'b) t2 -> int
-val zip : ('a, 'b) t2 -> ('a * 'b) t
-val unzip : ('a * 'b) t -> ('a, 'b) t2
-val zip_i : 'a t -> (int, 'a) t2val fold2 : ('c -> 'a -> 'b -> 'c) -> 'c -> ('a, 'b) t2 -> 'c
-val iter2 : ('a -> 'b -> unit) -> ('a, 'b) t2 -> unit
-val map2 : ('a -> 'b -> 'c) -> ('a, 'b) t2 -> 'c t
-val map2_2 : ('a -> 'b -> 'c) ->
('a -> 'b -> 'd) -> ('a, 'b) t2 -> ('c, 'd) t2map2_2 f g seq2 maps each x, y of seq2 into f x y, g x yval to_list : 'a t -> 'a listSequence.to_rev_list.val to_rev_list : 'a t -> 'a listSequence.to_list)val of_list : 'a list -> 'a t
-val on_list : ('a t -> 'b t) -> 'a list -> 'b liston_list f l is equivalent to to_list @@ f @@ of_list l.val pair_with_idx : 'a t -> (int * 'a) t
-
-val to_opt : 'a t -> 'a option
-
-val to_array : 'a t -> 'a arrayval of_array : 'a array -> 'a t
-val of_array_i : 'a array -> (int * 'a) tval of_array2 : 'a array -> (int, 'a) t2
-val array_slice : 'a array -> int -> int -> 'a tarray_slice a i j Sequence of elements whose indexes range
- from i to jval of_opt : 'a option -> 'a tval of_stream : 'a Stream.t -> 'a tval to_stream : 'a t -> 'a Stream.tval to_stack : 'a Stack.t -> 'a t -> unitval of_stack : 'a Stack.t -> 'a tStack.iter)val to_queue : 'a Queue.t -> 'a t -> unitval of_queue : 'a Queue.t -> 'a tval hashtbl_add : ('a, 'b) Hashtbl.t -> ('a * 'b) t -> unitval hashtbl_replace : ('a, 'b) Hashtbl.t -> ('a * 'b) t -> unitval to_hashtbl : ('a * 'b) t -> ('a, 'b) Hashtbl.tval to_hashtbl2 : ('a, 'b) t2 -> ('a, 'b) Hashtbl.tval of_hashtbl : ('a, 'b) Hashtbl.t -> ('a * 'b) tval of_hashtbl2 : ('a, 'b) Hashtbl.t -> ('a, 'b) t2val hashtbl_keys : ('a, 'b) Hashtbl.t -> 'a t
-val hashtbl_values : ('a, 'b) Hashtbl.t -> 'b t
-val of_str : string -> char t
-val to_str : char t -> string
-val concat_str : string t -> stringSequence.intersperse to add a separator.exception OneShotSequence
-val of_in_channel : Pervasives.in_channel -> char tSequence.persistent.OneShotSequence when used more than once.val to_buffer : char t -> Buffer.t -> unitval int_range : start:int -> stop:int -> int tstart...stop by steps 1. Also see
- (--) for an infix version.val int_range_dec : start:int -> stop:int -> int tstop...start by steps -1.
- See (--^) for an infix versionval int_range_by : step:int -> int -> int -> int tint_range_by ~step i j is the range starting at i, including j,
- where the difference between successive elements is step.
- use a negative step for a decreasing sequence.Invalid_argument if step=0val bools : bool ttrue and falseval of_set : (module Set.S with type elt = 'a and type t = 'b) -> 'b -> 'a tval to_set : (module Set.S with type elt = 'a and type t = 'b) -> 'a t -> 'btype- - -'agen =unit -> 'a option
type- - -'aklist =unit -> [ `Cons of 'a * 'a klist | `Nil ]
val of_gen : 'a gen -> 'a tval to_gen : 'a t -> 'a genval of_klist : 'a klist -> 'a tval to_klist : 'a t -> 'a klistmodule Set:sig..end
module Map:sig..end
val random_int : int -> int tval random_bool : bool tval random_float : float -> float t
-val random_array : 'a array -> 'a tval random_list : 'a list -> 'a tSequence.random_array.val shuffle : 'a t -> 'a tshuffle seq returns a perfect shuffle of seq.
- Uses O(length seq) memory and time. Eager.val shuffle_buffer : int -> 'a t -> 'a tshuffle_buffer n seq returns a sequence of element of seq in random
- order. The shuffling is *not* uniform. Uses O(n) memory.
-
-
- The first n elements of the sequence are consumed immediately. The
- rest is consumed lazily.
-Since 0.7
-
val sample : int -> 'a t -> 'a arraysample n seq returns k samples of seq, with uniform probability.
- It will consume the sequence and use O(n) memory.
-
-
- It returns an array of size min (length seq) n.
-Since 0.7
-
module Infix:-sig..end
include Sequence.Infix
-val pp_seq : ?sep:string ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit'a, using the given pretty printer
- to print each elements. An optional separator string can be provided.val pp_buf : ?sep:string -> (Buffer.t -> 'a -> unit) -> Buffer.t -> 'a t -> unitval to_string : ?sep:string -> ('a -> string) -> 'a t -> string- - Very basic interface to manipulate files as sequence of chunks/lines. The - sequences take care of opening and closing files properly; every time - one iterates over a sequence, the file is opened/closed again. -
-
- Example: copy a file "a" into file "b", removing blank lines:
-
- -
Sequence.(IO.lines_of "a" |> filter (fun l-> l<> "") |> IO.write_lines "b");;
-
-
-
- By chunks of 4096 bytes:
-
- -
Sequence.IO.(chunks_of ~size:4096 "a" |> write_to "b");;
-
-- - Read the lines of a file into a list: -
- -
Sequence.IO.lines "a" |> Sequence.to_list
- module IO:\ No newline at end of file diff --git a/api/SequenceLabels.IO.html b/api/SequenceLabels.IO.html deleted file mode 100644 index 2ba30bf..0000000 --- a/api/SequenceLabels.IO.html +++ /dev/null @@ -1,62 +0,0 @@ - - - - - - - - - - - - - - - -sig..end
module IO:sig..end
val lines_of : ?mode:int ->
?flags:Pervasives.open_flag list -> string -> string SequenceLabels.tlines_of filename reads all lines of the given file. It raises the
- same exception as would opening the file and read from it, except
- from End_of_file (which is caught). The file is always properly
- closed.
- Every time the sequence is iterated on, the file is opened again, so
- different iterations might return different resultsmode : default 0o644flags : default: [Open_rdonly]val chunks_of : ?mode:int ->
?flags:Pervasives.open_flag list ->
?size:int -> string -> string SequenceLabels.tsize from the file. The last chunk might be
- smaller. Behaves like SequenceLabels.IO.lines_of regarding errors and options.
- Every time the sequence is iterated on, the file is opened again, so
- different iterations might return different resultsval write_to : ?mode:int ->
?flags:Pervasives.open_flag list -> string -> string SequenceLabels.t -> unitwrite_to filename seq writes all strings from seq into the given
- file. It takes care of opening and closing the file.mode : default 0o644flags : used by open_out_gen. Default: [Open_creat;Open_wronly].val write_bytes_to : ?mode:int ->
?flags:Pervasives.open_flag list ->
string -> Bytes.t SequenceLabels.t -> unitval write_lines : ?mode:int ->
?flags:Pervasives.open_flag list -> string -> string SequenceLabels.t -> unit
-
-val write_bytes_lines : ?mode:int ->
?flags:Pervasives.open_flag list ->
string -> Bytes.t SequenceLabels.t -> unitmodule Infix:sig..end
val (--) : int -> int -> int SequenceLabels.ta -- b is the range of integers from a to b, both included,
- in increasing order. It will therefore be empty if a > b.val (--^) : int -> int -> int SequenceLabels.ta --^ b is the range of integers from b to a, both included,
- in decreasing order (starts from a).
- It will therefore be empty if a < b.val (>>=) : 'a SequenceLabels.t -> ('a -> 'b SequenceLabels.t) -> 'b SequenceLabels.t
-
-val (>|=) : 'a SequenceLabels.t -> ('a -> 'b) -> 'b SequenceLabels.t
-
-val (<*>) : ('a -> 'b) SequenceLabels.t -> 'a SequenceLabels.t -> 'b SequenceLabels.tval (<+>) : 'a SequenceLabels.t -> 'a SequenceLabels.t -> 'a SequenceLabels.tmodule Adapt:
| Parameters: | -
-
|
-
include Map.S
-
-val to_seq : 'a SequenceLabels.t -> (key * 'a) SequenceLabels.sequence
-val of_seq : (key * 'a) SequenceLabels.sequence -> 'a SequenceLabels.t
-val keys : 'a SequenceLabels.t -> key SequenceLabels.sequence
-val values : 'a SequenceLabels.t -> 'a SequenceLabels.sequence
-val to_list : 'a SequenceLabels.t -> (key * 'a) list
-val of_list : (key * 'a) list -> 'a SequenceLabels.t
\ No newline at end of file
diff --git a/api/SequenceLabels.Map.Make.html b/api/SequenceLabels.Map.Make.html
deleted file mode 100644
index 1e3a2d2..0000000
--- a/api/SequenceLabels.Map.Make.html
+++ /dev/null
@@ -1,50 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module Make:
| Parameters: | -
-
|
-
include Map.S
-
-val to_seq : 'a SequenceLabels.t -> (key * 'a) SequenceLabels.sequence
-val of_seq : (key * 'a) SequenceLabels.sequence -> 'a SequenceLabels.t
-val keys : 'a SequenceLabels.t -> key SequenceLabels.sequence
-val values : 'a SequenceLabels.t -> 'a SequenceLabels.sequence
-val to_list : 'a SequenceLabels.t -> (key * 'a) list
-val of_list : (key * 'a) list -> 'a SequenceLabels.t
\ No newline at end of file
diff --git a/api/SequenceLabels.Map.S.html b/api/SequenceLabels.Map.S.html
deleted file mode 100644
index 6c4dcf4..0000000
--- a/api/SequenceLabels.Map.S.html
+++ /dev/null
@@ -1,31 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module type S =sig..end
include Map.S
-
-val to_seq : 'a SequenceLabels.t -> (key * 'a) SequenceLabels.sequence
-val of_seq : (key * 'a) SequenceLabels.sequence -> 'a SequenceLabels.t
-val keys : 'a SequenceLabels.t -> key SequenceLabels.sequence
-val values : 'a SequenceLabels.t -> 'a SequenceLabels.sequence
-val to_list : 'a SequenceLabels.t -> (key * 'a) list
-val of_list : (key * 'a) list -> 'a SequenceLabels.t
\ No newline at end of file
diff --git a/api/SequenceLabels.Map.html b/api/SequenceLabels.Map.html
deleted file mode 100644
index 9843ddf..0000000
--- a/api/SequenceLabels.Map.html
+++ /dev/null
@@ -1,36 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module Map:sig..end
module type S =-sig..end
module Adapt:
module Make:
module Adapt:
| Parameters: | -
-
|
-
include Set.S
-
-val of_seq : elt SequenceLabels.sequence -> SequenceLabels.t
-val to_seq : SequenceLabels.t -> elt SequenceLabels.sequence
-val to_list : SequenceLabels.t -> elt list
-val of_list : elt list -> SequenceLabels.t
\ No newline at end of file
diff --git a/api/SequenceLabels.Set.Make.html b/api/SequenceLabels.Set.Make.html
deleted file mode 100644
index e4122e5..0000000
--- a/api/SequenceLabels.Set.Make.html
+++ /dev/null
@@ -1,48 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module Make:
| Parameters: | -
-
|
-
include Set.S
-
-val of_seq : elt SequenceLabels.sequence -> SequenceLabels.t
-val to_seq : SequenceLabels.t -> elt SequenceLabels.sequence
-val to_list : SequenceLabels.t -> elt list
-val of_list : elt list -> SequenceLabels.t
\ No newline at end of file
diff --git a/api/SequenceLabels.Set.S.html b/api/SequenceLabels.Set.S.html
deleted file mode 100644
index dc20498..0000000
--- a/api/SequenceLabels.Set.S.html
+++ /dev/null
@@ -1,29 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module type S =sig..end
include Set.S
-
-val of_seq : elt SequenceLabels.sequence -> SequenceLabels.t
-val to_seq : SequenceLabels.t -> elt SequenceLabels.sequence
-val to_list : SequenceLabels.t -> elt list
-val of_list : elt list -> SequenceLabels.t
\ No newline at end of file
diff --git a/api/SequenceLabels.Set.html b/api/SequenceLabels.Set.html
deleted file mode 100644
index 71d0be3..0000000
--- a/api/SequenceLabels.Set.html
+++ /dev/null
@@ -1,34 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-module Set:sig..end
module type S =-sig..end
module Adapt:
module Make:
module SequenceLabels:sig..end
-
- Version of Sequence with labels
-Since 0.5.5
-
type-'at =('a -> unit) -> unit
'a. If you give it a function 'a -> unit
- it will be applied to every element of the sequence successively.type- - -'asequence ='a t
type-('a, 'b)t2 =('a -> 'b -> unit) -> unit
'a and 'b.type- - -'aequal ='a -> 'a -> bool
type- -'ahash ='a -> int
val from_iter : (('a -> unit) -> unit) -> 'a tval from_fun : (unit -> 'a option) -> 'a tSequenceLabels.persistent if needed!val empty : 'a tval singleton : 'a -> 'a tval doubleton : 'a -> 'a -> 'a tval init : f:(int -> 'a) -> 'a tinit f is the infinite sequence f 0; f 1; f 2; ….val cons : 'a -> 'a t -> 'a tcons x l yields x, then yields from l.
- Same as append (singleton x) lval snoc : 'a t -> 'a -> 'a t
-
-val return : 'a -> 'a tSequenceLabels.singletonval pure : 'a -> 'a tSequenceLabels.singletonval repeat : 'a -> 'a tSequenceLabels.take and the likes if you iterate on it.val iterate : ('a -> 'a) -> 'a -> 'a titerate f x is the infinite sequence x, f(x), f(f(x)), ...val forever : (unit -> 'b) -> 'b tSequenceLabels.take and SequenceLabels.persistent.val cycle : 'a t -> 'a tSequenceLabels.take not to loop
- forever.val iter : f:('a -> unit) -> 'a t -> unititer f seq is just seq f.val iteri : f:(int -> 'a -> unit) -> 'a t -> unitval fold : f:('a -> 'b -> 'a) -> init:'a -> 'b t -> 'aval foldi : f:('a -> int -> 'b -> 'a) -> init:'a -> 'b t -> 'aval fold_map : f:('acc -> 'a -> 'acc * 'b) ->
init:'acc -> 'a t -> 'b tfold_map f acc l is like SequenceLabels.map, but it carries some state as in
- SequenceLabels.fold. The state is not returned, it is just used to thread some
- information to the map function.val fold_filter_map : f:('acc -> 'a -> 'acc * 'b option) ->
init:'acc -> 'a t -> 'b tfold_filter_map f acc l is a SequenceLabels.fold_map-like function, but the
- function can choose to skip an element by retuning None.val map : f:('a -> 'b) -> 'a t -> 'b tval mapi : f:(int -> 'a -> 'b) -> 'a t -> 'b tval map_by_2 : f:('a -> 'a -> 'a) -> 'a t -> 'a tval for_all : f:('a -> bool) -> 'a t -> boolval exists : f:('a -> bool) -> 'a t -> boolval mem : ?eq:('a -> 'a -> bool) -> x:'a -> 'a t -> booleq : the equality predicate to use (default (=))val find : ('a -> 'b option) -> 'a t -> 'b optionNoneval find_map : f:('a -> 'b option) -> 'a t -> 'b option
-
-val findi : f:(int -> 'a -> 'b option) -> 'a t -> 'b option
-
-val find_mapi : f:(int -> 'a -> 'b option) -> 'a t -> 'b option
-
-val find_pred : f:('a -> bool) -> 'a t -> 'a optionfind_pred p l finds the first element of l that satisfies p,
- or returns None if no element satisfies pval find_pred_exn : f:('a -> bool) -> 'a t -> 'aSequenceLabels.find_predNot_found if no such element is foundval length : 'a t -> intval is_empty : 'a t -> boolval filter : f:('a -> bool) -> 'a t -> 'a tval append : 'a t -> 'a t -> 'a tval append_l : 'a t list -> 'a tval concat : 'a t t -> 'a tval flatten : 'a t t -> 'a tSequenceLabels.concatval flat_map : f:('a -> 'b t) -> 'a t -> 'b tflatMap with a more explicit nameval flat_map_l : f:('a -> 'b list) -> 'a t -> 'b t
-
-val filter_map : f:('a -> 'b option) -> 'a t -> 'b tfmap with a more explicit nameval filter_mapi : f:(int -> 'a -> 'b option) -> 'a t -> 'b tNone elementsval seq_list : 'a t list -> 'a list tseq_list l returns all the ways to pick one element in each sub-sequence
- in l. Assumes the sub-sequences can be iterated on several times.val seq_list_map : f:('a -> 'b t) -> 'a list -> 'b list tseq_list_map f l maps f over every element of l,
- then calls SequenceLabels.seq_listval intersperse : x:'a -> 'a t -> 'a tval persistent : 'a t -> 'a tval persistent_lazy : 'a t -> 'a tSequenceLabels.persistent. When calling persistent_lazy s,
- a new sequence s' is immediately returned (without actually consuming
- s) in constant time; the first time s' is iterated on,
- it also consumes s and caches its content into a inner data
- structure that will back s' for future iterations.
-
-
- warning: on the first traversal of s', if the traversal
- is interrupted prematurely (SequenceLabels.take, etc.) then s' will not be
- memorized, and the next call to s' will traverse s again.
-
val sort : ?cmp:('a -> 'a -> int) -> 'a t -> 'a tval sort_uniq : ?cmp:('a -> 'a -> int) -> 'a t -> 'a tsortval sorted : ?cmp:('a -> 'a -> int) -> 'a t -> bool
-
-val group_succ_by : ?eq:('a -> 'a -> bool) -> 'a t -> 'a list tgroup.val group_by : ?hash:('a -> int) ->
?eq:('a -> 'a -> bool) -> 'a t -> 'a list tx and y, if eq x y then hash x=hash y must hold.val count : ?hash:('a -> int) ->
?eq:('a -> 'a -> bool) -> 'a t -> ('a * int) tgroup_by seq |> map (fun l->List.hd l, List.length l)val uniq : ?eq:('a -> 'a -> bool) -> 'a t -> 'a tfun seq -> map List.hd (group seq).val product : 'a t -> 'b t -> ('a * 'b) tproduct a b,
- the caller MUST ensure that b can be traversed as many times
- as required (several times), possibly by calling SequenceLabels.persistent on it
- beforehand.val diagonal_l : 'a list -> ('a * 'a) tdiagonal l will
- return the sequence of all List.nth i l, List.nth j l if i < j.val diagonal : 'a t -> ('a * 'a) tval product2 : 'a t -> 'b t -> ('a, 'b) t2
-
-val join : join_row:('a -> 'b -> 'c option) ->
'a t -> 'b t -> 'c tjoin ~join_row a b combines every element of a with every
- element of b using join_row. If join_row returns None, then
- the two elements do not combine. Assume that b allows for multiple
- iterations.val join_by : ?eq:'key equal ->
?hash:'key hash ->
('a -> 'key) ->
('b -> 'key) ->
merge:('key -> 'a -> 'b -> 'c option) ->
'a t -> 'b t -> 'c tjoin key1 key2 ~merge is a binary operation
- that takes two sequences a and b, projects their
- elements resp. with key1 and key2, and combine
- values (x,y) from (a,b) with the same key
- using merge. If merge returns None, the combination
- of values is discarded.
- precondition: for any x and y, if eq x y then hash x=hash y must hold.val join_all_by : ?eq:'key equal ->
?hash:'key hash ->
('a -> 'key) ->
('b -> 'key) ->
merge:('key -> 'a list -> 'b list -> 'c option) ->
'a t -> 'b t -> 'c tjoin_all_by key1 key2 ~merge is a binary operation
- that takes two sequences a and b, projects their
- elements resp. with key1 and key2, and, for each key k
- occurring in at least one of them:l1 of elements of a that map to kl2 of elements of b that map to kmerge k l1 l2. If merge returns None, the combination
- of values is discarded, otherwise it returns Some c
- and c is inserted in the result.val group_join_by : ?eq:'a equal ->
?hash:'a hash ->
('b -> 'a) ->
'a t -> 'b t -> ('a * 'b list) tgroup_join_by key2 associates to every element x of
- the first sequence, all the elements y of the second
- sequence such that eq x (key y). Elements of the first
- sequences without corresponding values in the second one
- are mapped to []
- precondition: for any x and y, if eq x y then hash x=hash y must hold.val inter : ?eq:'a equal ->
?hash:'a hash ->
'a t -> 'a t -> 'a tx and y, if eq x y then hash x=hash y must hold.val union : ?eq:'a equal ->
?hash:'a hash ->
'a t -> 'a t -> 'a tx and y, if eq x y then hash x=hash y must hold.val diff : ?eq:'a equal ->
?hash:'a hash ->
'a t -> 'a t -> 'a tval subset : ?eq:'a equal ->
?hash:'a hash ->
'a t -> 'a t -> boolsubset a b returns true if all elements of a belong to b. Eager.
- precondition: for any x and y, if eq x y then hash x=hash y must hold.val unfoldr : ('b -> ('a * 'b) option) -> 'b -> 'a tunfoldr f b will apply f to b. If it
- yields Some (x,b') then x is returned
- and unfoldr recurses with b'.val scan : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b tval max : ?lt:('a -> 'a -> bool) -> 'a t -> 'a optionm where m is the maximal
- element otherwiseval max_exn : ?lt:('a -> 'a -> bool) -> 'a t -> 'a
-
-val min : ?lt:('a -> 'a -> bool) -> 'a t -> 'a optionSequenceLabels.max for more details.val min_exn : ?lt:('a -> 'a -> bool) -> 'a t -> 'a
-
-val sum : int t -> intval sumf : float t -> floatval head : 'a t -> 'a optionNoneval head_exn : 'a t -> 'aInvalid_argument if the sequence is emptyval take : int -> 'a t -> 'a tn elements from the sequence. Works on infinite
- sequences.val take_while : f:('a -> bool) -> 'a t -> 'a ts if the predicate is false for at
- least one element of s.val fold_while : f:('a -> 'b -> 'a * [ `Continue | `Stop ]) ->
init:'a -> 'b t -> 'a('a, `Stop)val drop : int -> 'a t -> 'a tn first elements of the sequence. Lazy.val drop_while : f:('a -> bool) -> 'a t -> 'a tSequenceLabels.dropval rev : 'a t -> 'a tval empty2 : ('a, 'b) t2
-val is_empty2 : ('a, 'b) t2 -> bool
-val length2 : ('a, 'b) t2 -> int
-val zip : ('a, 'b) t2 -> ('a * 'b) t
-val unzip : ('a * 'b) t -> ('a, 'b) t2
-val zip_i : 'a t -> (int, 'a) t2val fold2 : f:('c -> 'a -> 'b -> 'c) -> init:'c -> ('a, 'b) t2 -> 'c
-val iter2 : f:('a -> 'b -> unit) -> ('a, 'b) t2 -> unit
-val map2 : f:('a -> 'b -> 'c) -> ('a, 'b) t2 -> 'c t
-val map2_2 : ('a -> 'b -> 'c) ->
('a -> 'b -> 'd) -> ('a, 'b) t2 -> ('c, 'd) t2map2_2 f g seq2 maps each x, y of seq2 into f x y, g x yval to_list : 'a t -> 'a listSequenceLabels.to_rev_list.val to_rev_list : 'a t -> 'a listSequenceLabels.to_list)val of_list : 'a list -> 'a t
-val on_list : ('a t -> 'b t) -> 'a list -> 'b liston_list f l is equivalent to to_list @@ f @@ of_list l.val pair_with_idx : 'a t -> (int * 'a) t
-
-val to_opt : 'a t -> 'a option
-
-val to_array : 'a t -> 'a arrayval of_array : 'a array -> 'a t
-val of_array_i : 'a array -> (int * 'a) tval of_array2 : 'a array -> (int, 'a) t2
-val array_slice : 'a array -> int -> int -> 'a tarray_slice a i j Sequence of elements whose indexes range
- from i to jval of_opt : 'a option -> 'a tval of_stream : 'a Stream.t -> 'a tval to_stream : 'a t -> 'a Stream.tval to_stack : 'a Stack.t -> 'a t -> unitval of_stack : 'a Stack.t -> 'a tStack.iter)val to_queue : 'a Queue.t -> 'a t -> unitval of_queue : 'a Queue.t -> 'a tval hashtbl_add : ('a, 'b) Hashtbl.t -> ('a * 'b) t -> unitval hashtbl_replace : ('a, 'b) Hashtbl.t -> ('a * 'b) t -> unitval to_hashtbl : ('a * 'b) t -> ('a, 'b) Hashtbl.tval to_hashtbl2 : ('a, 'b) t2 -> ('a, 'b) Hashtbl.tval of_hashtbl : ('a, 'b) Hashtbl.t -> ('a * 'b) tval of_hashtbl2 : ('a, 'b) Hashtbl.t -> ('a, 'b) t2val hashtbl_keys : ('a, 'b) Hashtbl.t -> 'a t
-val hashtbl_values : ('a, 'b) Hashtbl.t -> 'b t
-val of_str : string -> char t
-val to_str : char t -> string
-val concat_str : string t -> stringSequenceLabels.intersperse to add a separator.exception OneShotSequence
-val of_in_channel : Pervasives.in_channel -> char tSequenceLabels.persistent.OneShotSequence when used more than once.val to_buffer : char t -> Buffer.t -> unitval int_range : start:int -> stop:int -> int tstart...stop by steps 1. Also see
- (--) for an infix version.val int_range_dec : start:int -> stop:int -> int tstop...start by steps -1.
- See (--^) for an infix versionval int_range_by : step:int -> start:int -> stop:int -> int tint_range_by ~step ~start:i ~stop:j is the range starting at i, including j,
- where the difference between successive elements is step.
- use a negative step for a decreasing sequence.Invalid_argument if step=0val bools : bool ttrue and falseval of_set : (module Set.S with type elt = 'a and type t = 'b) ->
'b -> 'a tval to_set : (module Set.S with type elt = 'a and type t = 'b) ->
'a t -> 'btype- - -'agen =unit -> 'a option
type- - -'aklist =unit -> [ `Cons of 'a * 'a klist | `Nil ]
val of_gen : 'a gen -> 'a tval to_gen : 'a t -> 'a genval of_klist : 'a klist -> 'a tval to_klist : 'a t -> 'a klistmodule Set:sig..end
module Map:sig..end
val random_int : int -> int tval random_bool : bool tval random_float : float -> float t
-val random_array : 'a array -> 'a tval random_list : 'a list -> 'a tSequenceLabels.random_array.val shuffle : 'a t -> 'a tshuffle seq returns a perfect shuffle of seq.
- Uses O(length seq) memory and time. Eager.val shuffle_buffer : n:int -> 'a t -> 'a tshuffle_buffer n seq returns a sequence of element of seq in random
- order. The shuffling is not uniform. Uses O(n) memory.
-
-
- The first n elements of the sequence are consumed immediately. The
- rest is consumed lazily.
-Since 0.7
-
val sample : n:int -> 'a t -> 'a arraysample n seq returns k samples of seq, with uniform probability.
- It will consume the sequence and use O(n) memory.
-
-
- It returns an array of size min (length seq) n.
-Since 0.7
-
module Infix:-sig..end
include SequenceLabels.Infix
-val pp_seq : ?sep:string ->
(Format.formatter -> 'a -> unit) ->
Format.formatter -> 'a t -> unit'a, using the given pretty printer
- to print each elements. An optional separator string can be provided.val pp_buf : ?sep:string ->
(Buffer.t -> 'a -> unit) -> Buffer.t -> 'a t -> unitval to_string : ?sep:string -> ('a -> string) -> 'a t -> string- - Very basic interface to manipulate files as sequence of chunks/lines. The - sequences take care of opening and closing files properly; every time - one iterates over a sequence, the file is opened/closed again. -
-
- Example: copy a file "a" into file "b", removing blank lines:
-
- -
Sequence.(IO.lines_of "a" |> filter (fun l-> l<> "") |> IO.write_lines "b");;
-
-
-
- By chunks of 4096 bytes:
-
- -
Sequence.IO.(chunks_of ~size:4096 "a" |> write_to "b");;
-
-- - Read the lines of a file into a list: -
- -
Sequence.IO.lines "a" |> Sequence.to_list
- module IO:\ No newline at end of file diff --git a/api/html.stamp b/api/html.stamp deleted file mode 100644 index 68ed6d1..0000000 --- a/api/html.stamp +++ /dev/null @@ -1 +0,0 @@ -70c0e7d0d0f1803f43e8d143c98b447b \ No newline at end of file diff --git a/api/index.html b/api/index.html deleted file mode 100644 index df5de79..0000000 --- a/api/index.html +++ /dev/null @@ -1,37 +0,0 @@ - - - - - - - - - - - - - -sig..end
| Sequence |
-Simple and Efficient Iterators
-
- |
| SequenceLabels |
-Simple and Efficient Iterators
-
- |
O | |
| OneShotSequence [SequenceLabels] | -
-Raised when the user tries to iterate several times on
- a transient iterator
-
- |
| OneShotSequence [Sequence] | -
-Raised when the user tries to iterate several times on
- a transient iterator
-
- |
S | |
| S [SequenceLabels.Map] | -|
| S [SequenceLabels.Set] | -|
| S [Sequence.Map] | -|
| S [Sequence.Set] | -
A | |
| Adapt [SequenceLabels.Map] | -
-Adapt a pre-existing Map module to make it sequence-aware
-
- |
| Adapt [SequenceLabels.Set] | -
-Create an enriched Set module from the given one
-
- |
| Adapt [Sequence.Map] | -
-Adapt a pre-existing Map module to make it sequence-aware
-
- |
| Adapt [Sequence.Set] | -
-Create an enriched Set module from the given one
-
- |
I | |
| IO [SequenceLabels] | -|
| IO [Sequence] | -|
| Infix [SequenceLabels] | -|
| Infix [Sequence] | -|
M | |
| Make [SequenceLabels.Map] | -
-Create an enriched Map module, with sequence-aware functions
-
- |
| Make [SequenceLabels.Set] | -
-Functor to build an extended Set module from an ordered type
-
- |
| Make [Sequence.Map] | -
-Create an enriched Map module, with sequence-aware functions
-
- |
| Make [Sequence.Set] | -
-Functor to build an extended Set module from an ordered type
-
- |
| Map [SequenceLabels] | -|
| Map [Sequence] | -|
S | |
| Sequence | -
-Simple and Efficient Iterators
-
- |
| SequenceLabels | -
-Simple and Efficient Iterators
-
- |
| Set [SequenceLabels] | -|
| Set [Sequence] | -
E | |
| equal [SequenceLabels] | -|
| equal [Sequence] | -|
G | |
| gen [SequenceLabels] | -|
| gen [Sequence] | -|
H | |
| hash [SequenceLabels] | -|
| hash [Sequence] | -|
K | |
| klist [SequenceLabels] | -|
| klist [Sequence] | -|
S | |
| sequence [SequenceLabels] | -|
| sequence [Sequence] | -|
T | |
| t [SequenceLabels] | -
-A sequence of values of type
-'a.
- |
| t [Sequence] | -
-A sequence of values of type
-'a.
- |
| t2 [SequenceLabels] | -
-Sequence of pairs of values of type
-'a and 'b.
- |
| t2 [Sequence] | -
-Sequence of pairs of values of type
-'a and 'b.
- |
| (--) [SequenceLabels.Infix] | -
-
-a -- b is the range of integers from a to b, both included,
- in increasing order.
- |
| (--) [Sequence.Infix] | -
-
-a -- b is the range of integers from a to b, both included,
- in increasing order.
- |
| (--^) [SequenceLabels.Infix] | -
-
-a --^ b is the range of integers from b to a, both included,
- in decreasing order (starts from a).
- |
| (--^) [Sequence.Infix] | -
-
-a --^ b is the range of integers from b to a, both included,
- in decreasing order (starts from a).
- |
| (<*>) [SequenceLabels.Infix] | -
-Applicative operator (product+application)
-
- |
| (<*>) [Sequence.Infix] | -
-Applicative operator (product+application)
-
- |
| (<+>) [SequenceLabels.Infix] | -
-Concatenation of sequences
-
- |
| (<+>) [Sequence.Infix] | -
-Concatenation of sequences
-
- |
| (>>=) [SequenceLabels.Infix] | -
-Monadic bind (infix version of
-SequenceLabels.flat_map
- |
| (>>=) [Sequence.Infix] | -
-Monadic bind (infix version of
-Sequence.flat_map
- |
| (>|=) [SequenceLabels.Infix] | -
-Infix version of
-SequenceLabels.map
- |
| (>|=) [Sequence.Infix] | -
-Infix version of
-Sequence.map
- |
A | |
| append [SequenceLabels] | -
-Append two sequences.
-
- |
| append [Sequence] | -
-Append two sequences.
-
- |
| append_l [SequenceLabels] | -
-Append sequences.
-
- |
| append_l [Sequence] | -
-Append sequences.
-
- |
| array_slice [SequenceLabels] | -
-
-array_slice a i j Sequence of elements whose indexes range
- from i to j
- |
| array_slice [Sequence] | -
-
-array_slice a i j Sequence of elements whose indexes range
- from i to j
- |
B | |
| bools [SequenceLabels] | -
-Iterates on
-true and false
- |
| bools [Sequence] | -
-Iterates on
-true and false
- |
C | |
| chunks_of [SequenceLabels.IO] | -
-Read chunks of the given
-size from the file.
- |
| chunks_of [Sequence.IO] | -
-Read chunks of the given
-size from the file.
- |
| concat [SequenceLabels] | -
-Concatenate a sequence of sequences into one sequence.
-
- |
| concat [Sequence] | -
-Concatenate a sequence of sequences into one sequence.
-
- |
| concat_str [SequenceLabels] | -
-Concatenate strings together, eagerly.
-
- |
| concat_str [Sequence] | -
-Concatenate strings together, eagerly.
-
- |
| cons [SequenceLabels] | -
-
-cons x l yields x, then yields from l.
- |
| cons [Sequence] | -
-
-cons x l yields x, then yields from l.
- |
| count [SequenceLabels] | -
-Map each distinct element to its number of occurrences in the whole seq.
-
- |
| count [Sequence] | -
-Map each distinct element to its number of occurrences in the whole seq.
-
- |
| cycle [SequenceLabels] | -
-Cycle forever through the given sequence.
-
- |
| cycle [Sequence] | -
-Cycle forever through the given sequence.
-
- |
D | |
| diagonal [SequenceLabels] | -
-All pairs of distinct positions of the sequence.
-
- |
| diagonal [Sequence] | -
-All pairs of distinct positions of the sequence.
-
- |
| diagonal_l [SequenceLabels] | -
-All pairs of distinct positions of the list.
-
- |
| diagonal_l [Sequence] | -
-All pairs of distinct positions of the list.
-
- |
| diff [SequenceLabels] | -
-Set difference.
-
- |
| diff [Sequence] | -
-Set difference.
-
- |
| doubleton [SequenceLabels] | -
-Sequence with exactly two elements
-
- |
| doubleton [Sequence] | -
-Sequence with exactly two elements
-
- |
| drop [SequenceLabels] | -
-Drop the
-n first elements of the sequence.
- |
| drop [Sequence] | -
-Drop the
-n first elements of the sequence.
- |
| drop_while [SequenceLabels] | -
-Predicate version of
-SequenceLabels.drop
- |
| drop_while [Sequence] | -
-Predicate version of
-Sequence.drop
- |
E | |
| empty [SequenceLabels] | -
-Empty sequence.
-
- |
| empty [Sequence] | -
-Empty sequence.
-
- |
| empty2 [SequenceLabels] | -|
| empty2 [Sequence] | -|
| exists [SequenceLabels] | -
-Exists there some element satisfying the predicate?
-
- |
| exists [Sequence] | -
-Exists there some element satisfying the predicate?
-
- |
F | |
| filter [SequenceLabels] | -
-Filter on elements of the sequence
-
- |
| filter [Sequence] | -
-Filter on elements of the sequence
-
- |
| filter_map [SequenceLabels] | -
-Alias to
-fmap with a more explicit name
- |
| filter_map [Sequence] | -
-Map and only keep non-
-None elements
- Formerly fmap
- |
| filter_mapi [SequenceLabels] | -
-Map with indices, and only keep non-
-None elements
- |
| filter_mapi [Sequence] | -
-Map with indices, and only keep non-
-None elements
- |
| find [SequenceLabels] | -
-Find the first element on which the function doesn't return
-None
- |
| find [Sequence] | -
-Find the first element on which the function doesn't return
-None
- |
| find_map [SequenceLabels] | -
-Alias to
-SequenceLabels.find
- |
| find_map [Sequence] | -
-Alias to
-Sequence.find
- |
| find_mapi [SequenceLabels] | -
-Alias to
-SequenceLabels.findi
- |
| find_mapi [Sequence] | -
-Alias to
-Sequence.findi
- |
| find_pred [SequenceLabels] | -
-
-find_pred p l finds the first element of l that satisfies p,
- or returns None if no element satisfies p
- |
| find_pred [Sequence] | -
-
-find_pred p l finds the first element of l that satisfies p,
- or returns None if no element satisfies p
- |
| find_pred_exn [SequenceLabels] | -
-Unsafe version of
-SequenceLabels.find_pred
- |
| find_pred_exn [Sequence] | -
-Unsafe version of
-Sequence.find_pred
- |
| findi [SequenceLabels] | -
-Indexed version of
-SequenceLabels.find
- |
| findi [Sequence] | -
-Indexed version of
-Sequence.find
- |
| flat_map [SequenceLabels] | -
-Alias to
-flatMap with a more explicit name
- |
| flat_map [Sequence] | -
-Monadic bind.
-
- |
| flat_map_l [SequenceLabels] | -
-Convenience function combining
-SequenceLabels.flat_map and SequenceLabels.of_list
- |
| flat_map_l [Sequence] | -
-Convenience function combining
-Sequence.flat_map and Sequence.of_list
- |
| flatten [SequenceLabels] | -
-Alias for
-SequenceLabels.concat
- |
| flatten [Sequence] | -
-Alias for
-Sequence.concat
- |
| fold [SequenceLabels] | -
-Fold over elements of the sequence, consuming it
-
- |
| fold [Sequence] | -
-Fold over elements of the sequence, consuming it
-
- |
| fold2 [SequenceLabels] | -|
| fold2 [Sequence] | -|
| fold_filter_map [SequenceLabels] | -
-
-fold_filter_map f acc l is a SequenceLabels.fold_map-like function, but the
- function can choose to skip an element by retuning None.
- |
| fold_filter_map [Sequence] | -
-
-fold_filter_map f acc l is a Sequence.fold_map-like function, but the
- function can choose to skip an element by retuning None.
- |
| fold_map [SequenceLabels] | -
-
-fold_map f acc l is like SequenceLabels.map, but it carries some state as in
- SequenceLabels.fold.
- |
| fold_map [Sequence] | -- |
| fold_while [SequenceLabels] | -
-Folds over elements of the sequence, stopping early if the accumulator
- returns
-('a, `Stop)
- |
| fold_while [Sequence] | -
-Folds over elements of the sequence, stopping early if the accumulator
- returns
-('a, `Stop)
- |
| foldi [SequenceLabels] | -
-Fold over elements of the sequence and their index, consuming it
-
- |
| foldi [Sequence] | -
-Fold over elements of the sequence and their index, consuming it
-
- |
| for_all [SequenceLabels] | -
-Do all elements satisfy the predicate?
-
- |
| for_all [Sequence] | -
-Do all elements satisfy the predicate?
-
- |
| forever [SequenceLabels] | -
-Sequence that calls the given function to produce elements.
-
- |
| forever [Sequence] | -
-Sequence that calls the given function to produce elements.
-
- |
| from_fun [SequenceLabels] | -
-Call the function repeatedly until it returns None.
-
- |
| from_fun [Sequence] | -
-Call the function repeatedly until it returns None.
-
- |
| from_iter [SequenceLabels] | -
-Build a sequence from a iter function
-
- |
| from_iter [Sequence] | -
-Build a sequence from a iter function
-
- |
G | |
| group_by [SequenceLabels] | -
-Group equal elements, disregarding their order of appearance.
-
- |
| group_by [Sequence] | -
-Group equal elements, disregarding their order of appearance.
-
- |
| group_join_by [SequenceLabels] | -
-
-group_join_by key2 associates to every element x of
- the first sequence, all the elements y of the second
- sequence such that eq x (key y).
- |
| group_join_by [Sequence] | -
-
-group_join_by key2 associates to every element x of
- the first sequence, all the elements y of the second
- sequence such that eq x (key y).
- |
| group_succ_by [SequenceLabels] | -
-Group equal consecutive elements.
-
- |
| group_succ_by [Sequence] | -
-Group equal consecutive elements.
-
- |
H | |
| hashtbl_add [SequenceLabels] | -
-Add elements of the sequence to the hashtable, with
- Hashtbl.add
-
- |
| hashtbl_add [Sequence] | -
-Add elements of the sequence to the hashtable, with
- Hashtbl.add
-
- |
| hashtbl_keys [SequenceLabels] | -|
| hashtbl_keys [Sequence] | -|
| hashtbl_replace [SequenceLabels] | -
-Add elements of the sequence to the hashtable, with
- Hashtbl.replace (erases conflicting bindings)
-
- |
| hashtbl_replace [Sequence] | -
-Add elements of the sequence to the hashtable, with
- Hashtbl.replace (erases conflicting bindings)
-
- |
| hashtbl_values [SequenceLabels] | -|
| hashtbl_values [Sequence] | -|
| head [SequenceLabels] | -
-First element, if any, otherwise
-None
- |
| head [Sequence] | -
-First element, if any, otherwise
-None
- |
| head_exn [SequenceLabels] | -
-First element, if any, fails
-
- |
| head_exn [Sequence] | -
-First element, if any, fails
-
- |
I | |
| init [SequenceLabels] | -
-
-init f is the infinite sequence f 0; f 1; f 2; ….
- |
| init [Sequence] | -
-
-init f is the infinite sequence f 0; f 1; f 2; ….
- |
| int_range [SequenceLabels] | -
-Iterator on integers in
-start...stop by steps 1.
- |
| int_range [Sequence] | -
-Iterator on integers in
-start...stop by steps 1.
- |
| int_range_by [SequenceLabels] | -
-
-int_range_by ~step ~start:i ~stop:j is the range starting at i, including j,
- where the difference between successive elements is step.
- |
| int_range_by [Sequence] | -
-
-int_range_by ~step i j is the range starting at i, including j,
- where the difference between successive elements is step.
- |
| int_range_dec [SequenceLabels] | -
-Iterator on decreasing integers in
-stop...start by steps -1.
- |
| int_range_dec [Sequence] | -
-Iterator on decreasing integers in
-stop...start by steps -1.
- |
| inter [SequenceLabels] | -
-Intersection of two collections.
-
- |
| inter [Sequence] | -
-Intersection of two collections.
-
- |
| intersperse [SequenceLabels] | -
-Insert the single element between every element of the sequence
-
- |
| intersperse [Sequence] | -
-Insert the single element between every element of the sequence
-
- |
| is_empty [SequenceLabels] | -
-Is the sequence empty? Forces the sequence.
-
- |
| is_empty [Sequence] | -
-Is the sequence empty? Forces the sequence.
-
- |
| is_empty2 [SequenceLabels] | -|
| is_empty2 [Sequence] | -|
| iter [SequenceLabels] | -
-Consume the sequence, passing all its arguments to the function.
-
- |
| iter [Sequence] | -
-Consume the sequence, passing all its arguments to the function.
-
- |
| iter2 [SequenceLabels] | -|
| iter2 [Sequence] | -|
| iterate [SequenceLabels] | -
-
-iterate f x is the infinite sequence x, f(x), f(f(x)), ...
- |
| iterate [Sequence] | -
-
-iterate f x is the infinite sequence x, f(x), f(f(x)), ...
- |
| iteri [SequenceLabels] | -
-Iterate on elements and their index in the sequence
-
- |
| iteri [Sequence] | -
-Iterate on elements and their index in the sequence
-
- |
J | |
| join [SequenceLabels] | -
-
-join ~join_row a b combines every element of a with every
- element of b using join_row.
- |
| join [Sequence] | -
-
-join ~join_row a b combines every element of a with every
- element of b using join_row.
- |
| join_all_by [SequenceLabels] | -
-
-join_all_by key1 key2 ~merge is a binary operation
- that takes two sequences a and b, projects their
- elements resp.
- |
| join_all_by [Sequence] | -
-
-join_all_by key1 key2 ~merge is a binary operation
- that takes two sequences a and b, projects their
- elements resp.
- |
| join_by [SequenceLabels] | -
-
-join key1 key2 ~merge is a binary operation
- that takes two sequences a and b, projects their
- elements resp.
- |
| join_by [Sequence] | -
-
-join key1 key2 ~merge is a binary operation
- that takes two sequences a and b, projects their
- elements resp.
- |
K | |
| keys [SequenceLabels.Map.S] | -|
| keys [Sequence.Map.S] | -|
L | |
| length [SequenceLabels] | -
-How long is the sequence? Forces the sequence.
-
- |
| length [Sequence] | -
-How long is the sequence? Forces the sequence.
-
- |
| length2 [SequenceLabels] | -|
| length2 [Sequence] | -|
| lines_of [SequenceLabels.IO] | -
-
-lines_of filename reads all lines of the given file.
- |
| lines_of [Sequence.IO] | -
-
-lines_of filename reads all lines of the given file.
- |
M | |
| map [SequenceLabels] | -
-Map objects of the sequence into other elements, lazily
-
- |
| map [Sequence] | -
-Map objects of the sequence into other elements, lazily
-
- |
| map2 [SequenceLabels] | -|
| map2 [Sequence] | -|
| map2_2 [SequenceLabels] | -
-
-map2_2 f g seq2 maps each x, y of seq2 into f x y, g x y
- |
| map2_2 [Sequence] | -
-
-map2_2 f g seq2 maps each x, y of seq2 into f x y, g x y
- |
| map_by_2 [SequenceLabels] | -
-Map objects two by two.
-
- |
| map_by_2 [Sequence] | -
-Map objects two by two.
-
- |
| mapi [SequenceLabels] | -
-Map objects, along with their index in the sequence
-
- |
| mapi [Sequence] | -
-Map objects, along with their index in the sequence
-
- |
| max [SequenceLabels] | -
-Max element of the sequence, using the given comparison function.
-
- |
| max [Sequence] | -
-Max element of the sequence, using the given comparison function.
-
- |
| max_exn [SequenceLabels] | -
-Unsafe version of
-SequenceLabels.max
- |
| max_exn [Sequence] | -
-Unsafe version of
-Sequence.max
- |
| mem [SequenceLabels] | -
-Is the value a member of the sequence?
-
- |
| mem [Sequence] | -
-Is the value a member of the sequence?
-
- |
| min [SequenceLabels] | -
-Min element of the sequence, using the given comparison function.
-
- |
| min [Sequence] | -
-Min element of the sequence, using the given comparison function.
-
- |
| min_exn [SequenceLabels] | -
-Unsafe version of
-SequenceLabels.min
- |
| min_exn [Sequence] | -
-Unsafe version of
-Sequence.min
- |
O | |
| of_array [SequenceLabels] | -|
| of_array [Sequence] | -|
| of_array2 [SequenceLabels] | -|
| of_array2 [Sequence] | -|
| of_array_i [SequenceLabels] | -
-Elements of the array, with their index
-
- |
| of_array_i [Sequence] | -
-Elements of the array, with their index
-
- |
| of_gen [SequenceLabels] | -
-Traverse eagerly the generator and build a sequence from it
-
- |
| of_gen [Sequence] | -
-Traverse eagerly the generator and build a sequence from it
-
- |
| of_hashtbl [SequenceLabels] | -
-Sequence of key/value pairs from the hashtable
-
- |
| of_hashtbl [Sequence] | -
-Sequence of key/value pairs from the hashtable
-
- |
| of_hashtbl2 [SequenceLabels] | -
-Sequence of key/value pairs from the hashtable
-
- |
| of_hashtbl2 [Sequence] | -
-Sequence of key/value pairs from the hashtable
-
- |
| of_in_channel [SequenceLabels] | -
-Iterates on characters of the input (can block when one
- iterates over the sequence).
-
- |
| of_in_channel [Sequence] | -
-Iterates on characters of the input (can block when one
- iterates over the sequence).
-
- |
| of_klist [SequenceLabels] | -
-Iterate on the lazy list
-
- |
| of_klist [Sequence] | -
-Iterate on the lazy list
-
- |
| of_list [SequenceLabels.Map.S] | -|
| of_list [SequenceLabels.Set.S] | -|
| of_list [SequenceLabels] | -|
| of_list [Sequence.Map.S] | -|
| of_list [Sequence.Set.S] | -|
| of_list [Sequence] | -|
| of_opt [SequenceLabels] | -
-Iterate on 0 or 1 values.
-
- |
| of_opt [Sequence] | -
-Iterate on 0 or 1 values.
-
- |
| of_queue [SequenceLabels] | -
-Sequence of elements contained in the queue, FIFO order
-
- |
| of_queue [Sequence] | -
-Sequence of elements contained in the queue, FIFO order
-
- |
| of_seq [SequenceLabels.Map.S] | -|
| of_seq [SequenceLabels.Set.S] | -|
| of_seq [Sequence.Map.S] | -|
| of_seq [Sequence.Set.S] | -|
| of_set [SequenceLabels] | -
-Convert the given set to a sequence.
-
- |
| of_set [Sequence] | -
-Convert the given set to a sequence.
-
- |
| of_stack [SequenceLabels] | -
-Sequence of elements of the stack (same order as
-Stack.iter)
- |
| of_stack [Sequence] | -
-Sequence of elements of the stack (same order as
-Stack.iter)
- |
| of_str [SequenceLabels] | -|
| of_str [Sequence] | -|
| of_stream [SequenceLabels] | -
-Sequence of elements of a stream (usable only once)
-
- |
| of_stream [Sequence] | -
-Sequence of elements of a stream (usable only once)
-
- |
| on_list [SequenceLabels] | -
-
-on_list f l is equivalent to to_list @@ f @@ of_list l.
- |
| on_list [Sequence] | -
-
-on_list f l is equivalent to to_list @@ f @@ of_list l.
- |
P | |
| pair_with_idx [SequenceLabels] | -
-Similar to
-SequenceLabels.zip_i but returns a normal sequence of tuples
- |
| pair_with_idx [Sequence] | -
-Similar to
-Sequence.zip_i but returns a normal sequence of tuples
- |
| persistent [SequenceLabels] | -
-Iterate on the sequence, storing elements in an efficient internal structure..
-
- |
| persistent [Sequence] | -
-Iterate on the sequence, storing elements in an efficient internal structure..
-
- |
| persistent_lazy [SequenceLabels] | -
-Lazy version of
-SequenceLabels.persistent.
- |
| persistent_lazy [Sequence] | -
-Lazy version of
-Sequence.persistent.
- |
| pp_buf [SequenceLabels] | -
-Print into a buffer
-
- |
| pp_buf [Sequence] | -
-Print into a buffer
-
- |
| pp_seq [SequenceLabels] | -
-Pretty print a sequence of
-'a, using the given pretty printer
- to print each elements.
- |
| pp_seq [Sequence] | -
-Pretty print a sequence of
-'a, using the given pretty printer
- to print each elements.
- |
| product [SequenceLabels] | -
-Cartesian product of the sequences.
-
- |
| product [Sequence] | -
-Cartesian product of the sequences.
-
- |
| product2 [SequenceLabels] | -
-Binary version of
-SequenceLabels.product.
- |
| product2 [Sequence] | -
-Binary version of
-Sequence.product.
- |
| pure [SequenceLabels] | -
-Synonym to
-SequenceLabels.singleton
- |
| pure [Sequence] | -
-Synonym to
-Sequence.singleton
- |
R | |
| random_array [SequenceLabels] | -
-Sequence of choices of an element in the array
-
- |
| random_array [Sequence] | -
-Sequence of choices of an element in the array
-
- |
| random_bool [SequenceLabels] | -
-Infinite sequence of random bool values
-
- |
| random_bool [Sequence] | -
-Infinite sequence of random bool values
-
- |
| random_float [SequenceLabels] | -|
| random_float [Sequence] | -|
| random_int [SequenceLabels] | -
-Infinite sequence of random integers between 0 and
- the given higher bound (see Random.int)
-
- |
| random_int [Sequence] | -
-Infinite sequence of random integers between 0 and
- the given higher bound (see Random.int)
-
- |
| random_list [SequenceLabels] | -
-Infinite sequence of random elements of the list.
-
- |
| random_list [Sequence] | -
-Infinite sequence of random elements of the list.
-
- |
| repeat [SequenceLabels] | -
-Infinite sequence of the same element.
-
- |
| repeat [Sequence] | -
-Infinite sequence of the same element.
-
- |
| return [SequenceLabels] | -
-Synonym to
-SequenceLabels.singleton
- |
| return [Sequence] | -
-Synonym to
-Sequence.singleton
- |
| rev [SequenceLabels] | -
-Reverse the sequence.
-
- |
| rev [Sequence] | -
-Reverse the sequence.
-
- |
S | |
| sample [SequenceLabels] | -
-
-sample n seq returns k samples of seq, with uniform probability.
- |
| sample [Sequence] | -
-
-sample n seq returns k samples of seq, with uniform probability.
- |
| scan [SequenceLabels] | -
-Sequence of intermediate results
-
- |
| scan [Sequence] | -
-Sequence of intermediate results
-
- |
| seq_list [SequenceLabels] | -
-
-seq_list l returns all the ways to pick one element in each sub-sequence
- in l.
- |
| seq_list [Sequence] | -
-
-seq_list l returns all the ways to pick one element in each sub-sequence
- in l.
- |
| seq_list_map [SequenceLabels] | -- |
| seq_list_map [Sequence] | -- |
| shuffle [SequenceLabels] | -
-
-shuffle seq returns a perfect shuffle of seq.
- |
| shuffle [Sequence] | -
-
-shuffle seq returns a perfect shuffle of seq.
- |
| shuffle_buffer [SequenceLabels] | -
-
-shuffle_buffer n seq returns a sequence of element of seq in random
- order.
- |
| shuffle_buffer [Sequence] | -
-
-shuffle_buffer n seq returns a sequence of element of seq in random
- order.
- |
| singleton [SequenceLabels] | -
-Singleton sequence, with exactly one element.
-
- |
| singleton [Sequence] | -
-Singleton sequence, with exactly one element.
-
- |
| snoc [SequenceLabels] | -
-Same as
-SequenceLabels.cons but yields the element after iterating on l
- |
| snoc [Sequence] | -
-Same as
-Sequence.cons but yields the element after iterating on l
- |
| sort [SequenceLabels] | -
-Sort the sequence.
-
- |
| sort [Sequence] | -
-Sort the sequence.
-
- |
| sort_uniq [SequenceLabels] | -
-Sort the sequence and remove duplicates.
-
- |
| sort_uniq [Sequence] | -
-Sort the sequence and remove duplicates.
-
- |
| sorted [SequenceLabels] | -
-Checks whether the sequence is sorted.
-
- |
| sorted [Sequence] | -
-Checks whether the sequence is sorted.
-
- |
| subset [SequenceLabels] | -
-
-subset a b returns true if all elements of a belong to b.
- |
| subset [Sequence] | -
-
-subset a b returns true if all elements of a belong to b.
- |
| sum [SequenceLabels] | -
-Sum of elements
-
- |
| sum [Sequence] | -
-Sum of elements
-
- |
| sumf [SequenceLabels] | -
-Sum of elements, using Kahan summation
-
- |
| sumf [Sequence] | -
-Sum of elements, using Kahan summation
-
- |
T | |
| take [SequenceLabels] | -
-Take at most
-n elements from the sequence.
- |
| take [Sequence] | -
-Take at most
-n elements from the sequence.
- |
| take_while [SequenceLabels] | -
-Take elements while they satisfy the predicate, then stops iterating.
-
- |
| take_while [Sequence] | -
-Take elements while they satisfy the predicate, then stops iterating.
-
- |
| to_array [SequenceLabels] | -
-Convert to an array.
-
- |
| to_array [Sequence] | -
-Convert to an array.
-
- |
| to_buffer [SequenceLabels] | -
-Copy content of the sequence into the buffer
-
- |
| to_buffer [Sequence] | -
-Copy content of the sequence into the buffer
-
- |
| to_gen [SequenceLabels] | -
-Make the sequence persistent (O(n)) and then iterate on it.
-
- |
| to_gen [Sequence] | -
-Make the sequence persistent (O(n)) and then iterate on it.
-
- |
| to_hashtbl [SequenceLabels] | -
-Build a hashtable from a sequence of key/value pairs
-
- |
| to_hashtbl [Sequence] | -
-Build a hashtable from a sequence of key/value pairs
-
- |
| to_hashtbl2 [SequenceLabels] | -
-Build a hashtable from a sequence of key/value pairs
-
- |
| to_hashtbl2 [Sequence] | -
-Build a hashtable from a sequence of key/value pairs
-
- |
| to_klist [SequenceLabels] | -
-Make the sequence persistent and then iterate on it.
-
- |
| to_klist [Sequence] | -
-Make the sequence persistent and then iterate on it.
-
- |
| to_list [SequenceLabels.Map.S] | -|
| to_list [SequenceLabels.Set.S] | -|
| to_list [SequenceLabels] | -
-Convert the sequence into a list.
-
- |
| to_list [Sequence.Map.S] | -|
| to_list [Sequence.Set.S] | -|
| to_list [Sequence] | -
-Convert the sequence into a list.
-
- |
| to_opt [SequenceLabels] | -
-Alias to
-SequenceLabels.head
- |
| to_opt [Sequence] | -
-Alias to
-Sequence.head
- |
| to_queue [SequenceLabels] | -
-Push elements of the sequence into the queue
-
- |
| to_queue [Sequence] | -
-Push elements of the sequence into the queue
-
- |
| to_rev_list [SequenceLabels] | -
-Get the list of the reversed sequence (more efficient than
-SequenceLabels.to_list)
- |
| to_rev_list [Sequence] | -
-Get the list of the reversed sequence (more efficient than
-Sequence.to_list)
- |
| to_seq [SequenceLabels.Map.S] | -|
| to_seq [SequenceLabels.Set.S] | -|
| to_seq [Sequence.Map.S] | -|
| to_seq [Sequence.Set.S] | -|
| to_set [SequenceLabels] | -
-Convert the sequence to a set, given the proper set module
-
- |
| to_set [Sequence] | -
-Convert the sequence to a set, given the proper set module
-
- |
| to_stack [SequenceLabels] | -
-Push elements of the sequence on the stack
-
- |
| to_stack [Sequence] | -
-Push elements of the sequence on the stack
-
- |
| to_str [SequenceLabels] | -|
| to_str [Sequence] | -|
| to_stream [SequenceLabels] | -
-Convert to a stream.
-
- |
| to_stream [Sequence] | -
-Convert to a stream.
-
- |
| to_string [SequenceLabels] | -
-Print into a string
-
- |
| to_string [Sequence] | -
-Print into a string
-
- |
U | |
| unfoldr [SequenceLabels] | -
-
-unfoldr f b will apply f to b.
- |
| unfoldr [Sequence] | -
-
-unfoldr f b will apply f to b.
- |
| union [SequenceLabels] | -
-Union of two collections.
-
- |
| union [Sequence] | -
-Union of two collections.
-
- |
| uniq [SequenceLabels] | -
-Remove consecutive duplicate elements.
-
- |
| uniq [Sequence] | -
-Remove consecutive duplicate elements.
-
- |
| unzip [SequenceLabels] | -|
| unzip [Sequence] | -|
V | |
| values [SequenceLabels.Map.S] | -|
| values [Sequence.Map.S] | -|
W | |
| write_bytes_lines [SequenceLabels.IO] | -
-
- |
| write_bytes_lines [Sequence.IO] | -
-
- |
| write_bytes_to [SequenceLabels.IO] | -
-
- |
| write_bytes_to [Sequence.IO] | -
-
- |
| write_lines [SequenceLabels.IO] | -
-Same as
-SequenceLabels.IO.write_to, but intercales '\n' between each string
- |
| write_lines [Sequence.IO] | -
-Same as
-Sequence.IO.write_to, but intercales '\n' between each string
- |
| write_to [SequenceLabels.IO] | -
-
-write_to filename seq writes all strings from seq into the given
- file.
- |
| write_to [Sequence.IO] | -
-
-write_to filename seq writes all strings from seq into the given
- file.
- |
Z | |
| zip [SequenceLabels] | -|
| zip [Sequence] | -|
| zip_i [SequenceLabels] | -
-Zip elements of the sequence with their index in the sequence
-
- |
| zip_i [Sequence] | -
-Zip elements of the sequence with their index in the sequence
-
- |
sig
- val lines_of :
- ?mode:int ->
- ?flags:Pervasives.open_flag list -> string -> string Sequence.t
- val chunks_of :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- ?size:int -> string -> string Sequence.t
- val write_to :
- ?mode:int ->
- ?flags:Pervasives.open_flag list -> string -> string Sequence.t -> unit
- val write_bytes_to :
- ?mode:int ->
- ?flags:Pervasives.open_flag list -> string -> Bytes.t Sequence.t -> unit
- val write_lines :
- ?mode:int ->
- ?flags:Pervasives.open_flag list -> string -> string Sequence.t -> unit
- val write_bytes_lines :
- ?mode:int ->
- ?flags:Pervasives.open_flag list -> string -> Bytes.t Sequence.t -> unit
-end
\ No newline at end of file
diff --git a/api/type_Sequence.Infix.html b/api/type_Sequence.Infix.html
deleted file mode 100644
index f4e10ae..0000000
--- a/api/type_Sequence.Infix.html
+++ /dev/null
@@ -1,22 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- val ( -- ) : int -> int -> int Sequence.t
- val ( --^ ) : int -> int -> int Sequence.t
- val ( >>= ) : 'a Sequence.t -> ('a -> 'b Sequence.t) -> 'b Sequence.t
- val ( >|= ) : 'a Sequence.t -> ('a -> 'b) -> 'b Sequence.t
- val ( <*> ) : ('a -> 'b) Sequence.t -> 'a Sequence.t -> 'b Sequence.t
- val ( <+> ) : 'a Sequence.t -> 'a Sequence.t -> 'a Sequence.t
-end
\ No newline at end of file
diff --git a/api/type_Sequence.Map.Adapt.html b/api/type_Sequence.Map.Adapt.html
deleted file mode 100644
index 272a74e..0000000
--- a/api/type_Sequence.Map.Adapt.html
+++ /dev/null
@@ -1,59 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-functor (M : Map.S) ->
- sig
- type key = M.key
- type 'a t = 'a M.t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
\ No newline at end of file
diff --git a/api/type_Sequence.Map.Make.html b/api/type_Sequence.Map.Make.html
deleted file mode 100644
index a1021b0..0000000
--- a/api/type_Sequence.Map.Make.html
+++ /dev/null
@@ -1,59 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-functor (V : Map.OrderedType) ->
- sig
- type key = V.t
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
\ No newline at end of file
diff --git a/api/type_Sequence.Map.S.html b/api/type_Sequence.Map.S.html
deleted file mode 100644
index 0d179c2..0000000
--- a/api/type_Sequence.Map.S.html
+++ /dev/null
@@ -1,58 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- type key
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a Sequence.t -> (key * 'a) Sequence.sequence
- val of_seq : (key * 'a) Sequence.sequence -> 'a Sequence.t
- val keys : 'a Sequence.t -> key Sequence.sequence
- val values : 'a Sequence.t -> 'a Sequence.sequence
- val to_list : 'a Sequence.t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a Sequence.t
-end
\ No newline at end of file
diff --git a/api/type_Sequence.Map.html b/api/type_Sequence.Map.html
deleted file mode 100644
index 7b8f21d..0000000
--- a/api/type_Sequence.Map.html
+++ /dev/null
@@ -1,155 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- module type S =
- sig
- type key
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a Sequence.t -> (key * 'a) Sequence.sequence
- val of_seq : (key * 'a) Sequence.sequence -> 'a Sequence.t
- val keys : 'a Sequence.t -> key Sequence.sequence
- val values : 'a Sequence.t -> 'a Sequence.sequence
- val to_list : 'a Sequence.t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a Sequence.t
- end
- module Adapt :
- functor (M : Map.S) ->
- sig
- type key = M.key
- type 'a t = 'a M.t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) ->
- 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
- module Make :
- functor (V : Map.OrderedType) ->
- sig
- type key = V.t
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) ->
- 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
-end
\ No newline at end of file
diff --git a/api/type_Sequence.Set.Adapt.html b/api/type_Sequence.Set.Adapt.html
deleted file mode 100644
index 8aa5abe..0000000
--- a/api/type_Sequence.Set.Adapt.html
+++ /dev/null
@@ -1,57 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-functor (X : Set.S) ->
- sig
- type elt = X.elt
- type t = X.t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
\ No newline at end of file
diff --git a/api/type_Sequence.Set.Make.html b/api/type_Sequence.Set.Make.html
deleted file mode 100644
index ab6713f..0000000
--- a/api/type_Sequence.Set.Make.html
+++ /dev/null
@@ -1,57 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-functor (X : Set.OrderedType) ->
- sig
- type elt = X.t
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
\ No newline at end of file
diff --git a/api/type_Sequence.Set.S.html b/api/type_Sequence.Set.S.html
deleted file mode 100644
index 97a082d..0000000
--- a/api/type_Sequence.Set.S.html
+++ /dev/null
@@ -1,56 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- type elt
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt Sequence.sequence -> Sequence.t
- val to_seq : Sequence.t -> elt Sequence.sequence
- val to_list : Sequence.t -> elt list
- val of_list : elt list -> Sequence.t
-end
\ No newline at end of file
diff --git a/api/type_Sequence.Set.html b/api/type_Sequence.Set.html
deleted file mode 100644
index cd974ef..0000000
--- a/api/type_Sequence.Set.html
+++ /dev/null
@@ -1,147 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- module type S =
- sig
- type elt
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt Sequence.sequence -> Sequence.t
- val to_seq : Sequence.t -> elt Sequence.sequence
- val to_list : Sequence.t -> elt list
- val of_list : elt list -> Sequence.t
- end
- module Adapt :
- functor (X : Set.S) ->
- sig
- type elt = X.elt
- type t = X.t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
- module Make :
- functor (X : Set.OrderedType) ->
- sig
- type elt = X.t
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
-end
\ No newline at end of file
diff --git a/api/type_Sequence.TypeClass.html b/api/type_Sequence.TypeClass.html
deleted file mode 100644
index 93c139f..0000000
--- a/api/type_Sequence.TypeClass.html
+++ /dev/null
@@ -1,26 +0,0 @@
-
-
-
-
-
-
-
-
-sig
- type ('a, 'b) sequenceable = {
- to_seq : 'b -> 'a Sequence.t;
- of_seq : 'a Sequence.t -> 'b;
- }
- type ('a, 'b) addable = { empty : 'b; add : 'b -> 'a -> 'b; }
- type 'a monoid = ('a, 'a) Sequence.TypeClass.addable
- type ('a, 'b) iterable = { iter : ('a -> unit) -> 'b -> unit; }
- val sequenceable : ('a, 'a Sequence.t) Sequence.TypeClass.sequenceable
- val iterable : ('a, 'a Sequence.t) Sequence.TypeClass.iterable
- val monoid : 'a Sequence.t Sequence.TypeClass.monoid
- val of_iterable :
- ('a, 'b) Sequence.TypeClass.iterable -> 'b -> 'a Sequence.t
- val to_addable : ('a, 'b) Sequence.TypeClass.addable -> 'a Sequence.t -> 'b
-end
\ No newline at end of file
diff --git a/api/type_Sequence.html b/api/type_Sequence.html
deleted file mode 100644
index 155c6d1..0000000
--- a/api/type_Sequence.html
+++ /dev/null
@@ -1,533 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- type 'a t = ('a -> unit) -> unit
- type 'a sequence = 'a Sequence.t
- type ('a, 'b) t2 = ('a -> 'b -> unit) -> unit
- type 'a equal = 'a -> 'a -> bool
- type 'a hash = 'a -> int
- val from_iter : (('a -> unit) -> unit) -> 'a Sequence.t
- val from_fun : (unit -> 'a option) -> 'a Sequence.t
- val empty : 'a Sequence.t
- val singleton : 'a -> 'a Sequence.t
- val doubleton : 'a -> 'a -> 'a Sequence.t
- val init : (int -> 'a) -> 'a Sequence.t
- val cons : 'a -> 'a Sequence.t -> 'a Sequence.t
- val snoc : 'a Sequence.t -> 'a -> 'a Sequence.t
- val return : 'a -> 'a Sequence.t
- val pure : 'a -> 'a Sequence.t
- val repeat : 'a -> 'a Sequence.t
- val iterate : ('a -> 'a) -> 'a -> 'a Sequence.t
- val forever : (unit -> 'b) -> 'b Sequence.t
- val cycle : 'a Sequence.t -> 'a Sequence.t
- val iter : ('a -> unit) -> 'a Sequence.t -> unit
- val iteri : (int -> 'a -> unit) -> 'a Sequence.t -> unit
- val fold : ('a -> 'b -> 'a) -> 'a -> 'b Sequence.t -> 'a
- val foldi : ('a -> int -> 'b -> 'a) -> 'a -> 'b Sequence.t -> 'a
- val fold_map :
- ('acc -> 'a -> 'acc * 'b) -> 'acc -> 'a Sequence.t -> 'b Sequence.t
- val fold_filter_map :
- ('acc -> 'a -> 'acc * 'b option) ->
- 'acc -> 'a Sequence.t -> 'b Sequence.t
- val map : ('a -> 'b) -> 'a Sequence.t -> 'b Sequence.t
- val mapi : (int -> 'a -> 'b) -> 'a Sequence.t -> 'b Sequence.t
- val map_by_2 : ('a -> 'a -> 'a) -> 'a Sequence.t -> 'a Sequence.t
- val for_all : ('a -> bool) -> 'a Sequence.t -> bool
- val exists : ('a -> bool) -> 'a Sequence.t -> bool
- val mem : ?eq:('a -> 'a -> bool) -> 'a -> 'a Sequence.t -> bool
- val find : ('a -> 'b option) -> 'a Sequence.t -> 'b option
- val find_map : ('a -> 'b option) -> 'a Sequence.t -> 'b option
- val findi : (int -> 'a -> 'b option) -> 'a Sequence.t -> 'b option
- val find_mapi : (int -> 'a -> 'b option) -> 'a Sequence.t -> 'b option
- val find_pred : ('a -> bool) -> 'a Sequence.t -> 'a option
- val find_pred_exn : ('a -> bool) -> 'a Sequence.t -> 'a
- val length : 'a Sequence.t -> int
- val is_empty : 'a Sequence.t -> bool
- val filter : ('a -> bool) -> 'a Sequence.t -> 'a Sequence.t
- val append : 'a Sequence.t -> 'a Sequence.t -> 'a Sequence.t
- val append_l : 'a Sequence.t list -> 'a Sequence.t
- val concat : 'a Sequence.t Sequence.t -> 'a Sequence.t
- val flatten : 'a Sequence.t Sequence.t -> 'a Sequence.t
- val flat_map : ('a -> 'b Sequence.t) -> 'a Sequence.t -> 'b Sequence.t
- val flat_map_l : ('a -> 'b list) -> 'a Sequence.t -> 'b Sequence.t
- val seq_list : 'a Sequence.t list -> 'a list Sequence.t
- val seq_list_map : ('a -> 'b Sequence.t) -> 'a list -> 'b list Sequence.t
- val filter_map : ('a -> 'b option) -> 'a Sequence.t -> 'b Sequence.t
- val filter_mapi :
- (int -> 'a -> 'b option) -> 'a Sequence.t -> 'b Sequence.t
- val intersperse : 'a -> 'a Sequence.t -> 'a Sequence.t
- val persistent : 'a Sequence.t -> 'a Sequence.t
- val persistent_lazy : 'a Sequence.t -> 'a Sequence.t
- val sort : ?cmp:('a -> 'a -> int) -> 'a Sequence.t -> 'a Sequence.t
- val sort_uniq : ?cmp:('a -> 'a -> int) -> 'a Sequence.t -> 'a Sequence.t
- val sorted : ?cmp:('a -> 'a -> int) -> 'a Sequence.t -> bool
- val group_succ_by :
- ?eq:('a -> 'a -> bool) -> 'a Sequence.t -> 'a list Sequence.t
- val group_by :
- ?hash:('a -> int) ->
- ?eq:('a -> 'a -> bool) -> 'a Sequence.t -> 'a list Sequence.t
- val count :
- ?hash:('a -> int) ->
- ?eq:('a -> 'a -> bool) -> 'a Sequence.t -> ('a * int) Sequence.t
- val uniq : ?eq:('a -> 'a -> bool) -> 'a Sequence.t -> 'a Sequence.t
- val product : 'a Sequence.t -> 'b Sequence.t -> ('a * 'b) Sequence.t
- val diagonal_l : 'a list -> ('a * 'a) Sequence.t
- val diagonal : 'a Sequence.t -> ('a * 'a) Sequence.t
- val product2 : 'a Sequence.t -> 'b Sequence.t -> ('a, 'b) Sequence.t2
- val join :
- join_row:('a -> 'b -> 'c option) ->
- 'a Sequence.t -> 'b Sequence.t -> 'c Sequence.t
- val join_by :
- ?eq:'key Sequence.equal ->
- ?hash:'key Sequence.hash ->
- ('a -> 'key) ->
- ('b -> 'key) ->
- merge:('key -> 'a -> 'b -> 'c option) ->
- 'a Sequence.t -> 'b Sequence.t -> 'c Sequence.t
- val join_all_by :
- ?eq:'key Sequence.equal ->
- ?hash:'key Sequence.hash ->
- ('a -> 'key) ->
- ('b -> 'key) ->
- merge:('key -> 'a list -> 'b list -> 'c option) ->
- 'a Sequence.t -> 'b Sequence.t -> 'c Sequence.t
- val group_join_by :
- ?eq:'a Sequence.equal ->
- ?hash:'a Sequence.hash ->
- ('b -> 'a) -> 'a Sequence.t -> 'b Sequence.t -> ('a * 'b list) Sequence.t
- val inter :
- ?eq:'a Sequence.equal ->
- ?hash:'a Sequence.hash -> 'a Sequence.t -> 'a Sequence.t -> 'a Sequence.t
- val union :
- ?eq:'a Sequence.equal ->
- ?hash:'a Sequence.hash -> 'a Sequence.t -> 'a Sequence.t -> 'a Sequence.t
- val diff :
- ?eq:'a Sequence.equal ->
- ?hash:'a Sequence.hash -> 'a Sequence.t -> 'a Sequence.t -> 'a Sequence.t
- val subset :
- ?eq:'a Sequence.equal ->
- ?hash:'a Sequence.hash -> 'a Sequence.t -> 'a Sequence.t -> bool
- val unfoldr : ('b -> ('a * 'b) option) -> 'b -> 'a Sequence.t
- val scan : ('b -> 'a -> 'b) -> 'b -> 'a Sequence.t -> 'b Sequence.t
- val max : ?lt:('a -> 'a -> bool) -> 'a Sequence.t -> 'a option
- val max_exn : ?lt:('a -> 'a -> bool) -> 'a Sequence.t -> 'a
- val min : ?lt:('a -> 'a -> bool) -> 'a Sequence.t -> 'a option
- val min_exn : ?lt:('a -> 'a -> bool) -> 'a Sequence.t -> 'a
- val sum : int Sequence.t -> int
- val sumf : float Sequence.t -> float
- val head : 'a Sequence.t -> 'a option
- val head_exn : 'a Sequence.t -> 'a
- val take : int -> 'a Sequence.t -> 'a Sequence.t
- val take_while : ('a -> bool) -> 'a Sequence.t -> 'a Sequence.t
- val fold_while :
- ('a -> 'b -> 'a * [ `Continue | `Stop ]) -> 'a -> 'b Sequence.t -> 'a
- val drop : int -> 'a Sequence.t -> 'a Sequence.t
- val drop_while : ('a -> bool) -> 'a Sequence.t -> 'a Sequence.t
- val rev : 'a Sequence.t -> 'a Sequence.t
- val empty2 : ('a, 'b) Sequence.t2
- val is_empty2 : ('a, 'b) Sequence.t2 -> bool
- val length2 : ('a, 'b) Sequence.t2 -> int
- val zip : ('a, 'b) Sequence.t2 -> ('a * 'b) Sequence.t
- val unzip : ('a * 'b) Sequence.t -> ('a, 'b) Sequence.t2
- val zip_i : 'a Sequence.t -> (int, 'a) Sequence.t2
- val fold2 : ('c -> 'a -> 'b -> 'c) -> 'c -> ('a, 'b) Sequence.t2 -> 'c
- val iter2 : ('a -> 'b -> unit) -> ('a, 'b) Sequence.t2 -> unit
- val map2 : ('a -> 'b -> 'c) -> ('a, 'b) Sequence.t2 -> 'c Sequence.t
- val map2_2 :
- ('a -> 'b -> 'c) ->
- ('a -> 'b -> 'd) -> ('a, 'b) Sequence.t2 -> ('c, 'd) Sequence.t2
- val to_list : 'a Sequence.t -> 'a list
- val to_rev_list : 'a Sequence.t -> 'a list
- val of_list : 'a list -> 'a Sequence.t
- val on_list : ('a Sequence.t -> 'b Sequence.t) -> 'a list -> 'b list
- val pair_with_idx : 'a Sequence.t -> (int * 'a) Sequence.t
- val to_opt : 'a Sequence.t -> 'a option
- val to_array : 'a Sequence.t -> 'a array
- val of_array : 'a array -> 'a Sequence.t
- val of_array_i : 'a array -> (int * 'a) Sequence.t
- val of_array2 : 'a array -> (int, 'a) Sequence.t2
- val array_slice : 'a array -> int -> int -> 'a Sequence.t
- val of_opt : 'a option -> 'a Sequence.t
- val of_stream : 'a Stream.t -> 'a Sequence.t
- val to_stream : 'a Sequence.t -> 'a Stream.t
- val to_stack : 'a Stack.t -> 'a Sequence.t -> unit
- val of_stack : 'a Stack.t -> 'a Sequence.t
- val to_queue : 'a Queue.t -> 'a Sequence.t -> unit
- val of_queue : 'a Queue.t -> 'a Sequence.t
- val hashtbl_add : ('a, 'b) Hashtbl.t -> ('a * 'b) Sequence.t -> unit
- val hashtbl_replace : ('a, 'b) Hashtbl.t -> ('a * 'b) Sequence.t -> unit
- val to_hashtbl : ('a * 'b) Sequence.t -> ('a, 'b) Hashtbl.t
- val to_hashtbl2 : ('a, 'b) Sequence.t2 -> ('a, 'b) Hashtbl.t
- val of_hashtbl : ('a, 'b) Hashtbl.t -> ('a * 'b) Sequence.t
- val of_hashtbl2 : ('a, 'b) Hashtbl.t -> ('a, 'b) Sequence.t2
- val hashtbl_keys : ('a, 'b) Hashtbl.t -> 'a Sequence.t
- val hashtbl_values : ('a, 'b) Hashtbl.t -> 'b Sequence.t
- val of_str : string -> char Sequence.t
- val to_str : char Sequence.t -> string
- val concat_str : string Sequence.t -> string
- exception OneShotSequence
- val of_in_channel : Pervasives.in_channel -> char Sequence.t
- val to_buffer : char Sequence.t -> Buffer.t -> unit
- val int_range : start:int -> stop:int -> int Sequence.t
- val int_range_dec : start:int -> stop:int -> int Sequence.t
- val int_range_by : step:int -> int -> int -> int Sequence.t
- val bools : bool Sequence.t
- val of_set :
- (module Set.S with type elt = 'a and type t = 'b) -> 'b -> 'a Sequence.t
- val to_set :
- (module Set.S with type elt = 'a and type t = 'b) -> 'a Sequence.t -> 'b
- type 'a gen = unit -> 'a option
- type 'a klist = unit -> [ `Cons of 'a * 'a Sequence.klist | `Nil ]
- val of_gen : 'a Sequence.gen -> 'a Sequence.t
- val to_gen : 'a Sequence.t -> 'a Sequence.gen
- val of_klist : 'a Sequence.klist -> 'a Sequence.t
- val to_klist : 'a Sequence.t -> 'a Sequence.klist
- module Set :
- sig
- module type S =
- sig
- type elt
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt Sequence.sequence -> Sequence.t
- val to_seq : Sequence.t -> elt Sequence.sequence
- val to_list : Sequence.t -> elt list
- val of_list : elt list -> Sequence.t
- end
- module Adapt :
- functor (X : Set.S) ->
- sig
- type elt = X.elt
- type t = X.t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
- module Make :
- functor (X : Set.OrderedType) ->
- sig
- type elt = X.t
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
- end
- module Map :
- sig
- module type S =
- sig
- type key
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) ->
- 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a Sequence.t -> (key * 'a) Sequence.sequence
- val of_seq : (key * 'a) Sequence.sequence -> 'a Sequence.t
- val keys : 'a Sequence.t -> key Sequence.sequence
- val values : 'a Sequence.t -> 'a Sequence.sequence
- val to_list : 'a Sequence.t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a Sequence.t
- end
- module Adapt :
- functor (M : Map.S) ->
- sig
- type key = M.key
- type 'a t = 'a M.t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) ->
- 'a t -> 'b t -> 'c t
- val union :
- (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
- module Make :
- functor (V : Map.OrderedType) ->
- sig
- type key = V.t
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) ->
- 'a t -> 'b t -> 'c t
- val union :
- (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
- end
- val random_int : int -> int Sequence.t
- val random_bool : bool Sequence.t
- val random_float : float -> float Sequence.t
- val random_array : 'a array -> 'a Sequence.t
- val random_list : 'a list -> 'a Sequence.t
- val shuffle : 'a Sequence.t -> 'a Sequence.t
- val shuffle_buffer : int -> 'a Sequence.t -> 'a Sequence.t
- val sample : int -> 'a Sequence.t -> 'a array
- module Infix :
- sig
- val ( -- ) : int -> int -> int Sequence.t
- val ( --^ ) : int -> int -> int Sequence.t
- val ( >>= ) : 'a Sequence.t -> ('a -> 'b Sequence.t) -> 'b Sequence.t
- val ( >|= ) : 'a Sequence.t -> ('a -> 'b) -> 'b Sequence.t
- val ( <*> ) : ('a -> 'b) Sequence.t -> 'a Sequence.t -> 'b Sequence.t
- val ( <+> ) : 'a Sequence.t -> 'a Sequence.t -> 'a Sequence.t
- end
- val ( -- ) : int -> int -> int t
- val ( --^ ) : int -> int -> int t
- val ( >>= ) : 'a t -> ('a -> 'b t) -> 'b t
- val ( >|= ) : 'a t -> ('a -> 'b) -> 'b t
- val ( <*> ) : ('a -> 'b) t -> 'a t -> 'b t
- val ( <+> ) : 'a t -> 'a t -> 'a t
- val pp_seq :
- ?sep:string ->
- (Format.formatter -> 'a -> unit) ->
- Format.formatter -> 'a Sequence.t -> unit
- val pp_buf :
- ?sep:string ->
- (Buffer.t -> 'a -> unit) -> Buffer.t -> 'a Sequence.t -> unit
- val to_string : ?sep:string -> ('a -> string) -> 'a Sequence.t -> string
- module IO :
- sig
- val lines_of :
- ?mode:int ->
- ?flags:Pervasives.open_flag list -> string -> string Sequence.t
- val chunks_of :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- ?size:int -> string -> string Sequence.t
- val write_to :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> string Sequence.t -> unit
- val write_bytes_to :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> Bytes.t Sequence.t -> unit
- val write_lines :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> string Sequence.t -> unit
- val write_bytes_lines :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> Bytes.t Sequence.t -> unit
- end
-end
\ No newline at end of file
diff --git a/api/type_SequenceLabels.IO.html b/api/type_SequenceLabels.IO.html
deleted file mode 100644
index 79e2cd1..0000000
--- a/api/type_SequenceLabels.IO.html
+++ /dev/null
@@ -1,39 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- val lines_of :
- ?mode:int ->
- ?flags:Pervasives.open_flag list -> string -> string SequenceLabels.t
- val chunks_of :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- ?size:int -> string -> string SequenceLabels.t
- val write_to :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> string SequenceLabels.t -> unit
- val write_bytes_to :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> Bytes.t SequenceLabels.t -> unit
- val write_lines :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> string SequenceLabels.t -> unit
- val write_bytes_lines :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> Bytes.t SequenceLabels.t -> unit
-end
\ No newline at end of file
diff --git a/api/type_SequenceLabels.Infix.html b/api/type_SequenceLabels.Infix.html
deleted file mode 100644
index 52db5d5..0000000
--- a/api/type_SequenceLabels.Infix.html
+++ /dev/null
@@ -1,25 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- val ( -- ) : int -> int -> int SequenceLabels.t
- val ( --^ ) : int -> int -> int SequenceLabels.t
- val ( >>= ) :
- 'a SequenceLabels.t -> ('a -> 'b SequenceLabels.t) -> 'b SequenceLabels.t
- val ( >|= ) : 'a SequenceLabels.t -> ('a -> 'b) -> 'b SequenceLabels.t
- val ( <*> ) :
- ('a -> 'b) SequenceLabels.t -> 'a SequenceLabels.t -> 'b SequenceLabels.t
- val ( <+> ) :
- 'a SequenceLabels.t -> 'a SequenceLabels.t -> 'a SequenceLabels.t
-end
\ No newline at end of file
diff --git a/api/type_SequenceLabels.Map.Adapt.html b/api/type_SequenceLabels.Map.Adapt.html
deleted file mode 100644
index b678040..0000000
--- a/api/type_SequenceLabels.Map.Adapt.html
+++ /dev/null
@@ -1,59 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-functor (M : Map.S) ->
- sig
- type key = M.key
- type 'a t = 'a M.t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
\ No newline at end of file
diff --git a/api/type_SequenceLabels.Map.Make.html b/api/type_SequenceLabels.Map.Make.html
deleted file mode 100644
index 1fd146f..0000000
--- a/api/type_SequenceLabels.Map.Make.html
+++ /dev/null
@@ -1,59 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-functor (V : Map.OrderedType) ->
- sig
- type key = V.t
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
\ No newline at end of file
diff --git a/api/type_SequenceLabels.Map.S.html b/api/type_SequenceLabels.Map.S.html
deleted file mode 100644
index ce91ffc..0000000
--- a/api/type_SequenceLabels.Map.S.html
+++ /dev/null
@@ -1,58 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- type key
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a SequenceLabels.t -> (key * 'a) SequenceLabels.sequence
- val of_seq : (key * 'a) SequenceLabels.sequence -> 'a SequenceLabels.t
- val keys : 'a SequenceLabels.t -> key SequenceLabels.sequence
- val values : 'a SequenceLabels.t -> 'a SequenceLabels.sequence
- val to_list : 'a SequenceLabels.t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a SequenceLabels.t
-end
\ No newline at end of file
diff --git a/api/type_SequenceLabels.Map.html b/api/type_SequenceLabels.Map.html
deleted file mode 100644
index 510cea3..0000000
--- a/api/type_SequenceLabels.Map.html
+++ /dev/null
@@ -1,155 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- module type S =
- sig
- type key
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a SequenceLabels.t -> (key * 'a) SequenceLabels.sequence
- val of_seq : (key * 'a) SequenceLabels.sequence -> 'a SequenceLabels.t
- val keys : 'a SequenceLabels.t -> key SequenceLabels.sequence
- val values : 'a SequenceLabels.t -> 'a SequenceLabels.sequence
- val to_list : 'a SequenceLabels.t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a SequenceLabels.t
- end
- module Adapt :
- functor (M : Map.S) ->
- sig
- type key = M.key
- type 'a t = 'a M.t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) ->
- 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
- module Make :
- functor (V : Map.OrderedType) ->
- sig
- type key = V.t
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) ->
- 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
-end
\ No newline at end of file
diff --git a/api/type_SequenceLabels.Set.Adapt.html b/api/type_SequenceLabels.Set.Adapt.html
deleted file mode 100644
index 9e89d3c..0000000
--- a/api/type_SequenceLabels.Set.Adapt.html
+++ /dev/null
@@ -1,57 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-functor (X : Set.S) ->
- sig
- type elt = X.elt
- type t = X.t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
\ No newline at end of file
diff --git a/api/type_SequenceLabels.Set.Make.html b/api/type_SequenceLabels.Set.Make.html
deleted file mode 100644
index c4ae436..0000000
--- a/api/type_SequenceLabels.Set.Make.html
+++ /dev/null
@@ -1,57 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-functor (X : Set.OrderedType) ->
- sig
- type elt = X.t
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
\ No newline at end of file
diff --git a/api/type_SequenceLabels.Set.S.html b/api/type_SequenceLabels.Set.S.html
deleted file mode 100644
index d429e01..0000000
--- a/api/type_SequenceLabels.Set.S.html
+++ /dev/null
@@ -1,56 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- type elt
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt SequenceLabels.sequence -> SequenceLabels.t
- val to_seq : SequenceLabels.t -> elt SequenceLabels.sequence
- val to_list : SequenceLabels.t -> elt list
- val of_list : elt list -> SequenceLabels.t
-end
\ No newline at end of file
diff --git a/api/type_SequenceLabels.Set.html b/api/type_SequenceLabels.Set.html
deleted file mode 100644
index 142d356..0000000
--- a/api/type_SequenceLabels.Set.html
+++ /dev/null
@@ -1,147 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- module type S =
- sig
- type elt
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt SequenceLabels.sequence -> SequenceLabels.t
- val to_seq : SequenceLabels.t -> elt SequenceLabels.sequence
- val to_list : SequenceLabels.t -> elt list
- val of_list : elt list -> SequenceLabels.t
- end
- module Adapt :
- functor (X : Set.S) ->
- sig
- type elt = X.elt
- type t = X.t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
- module Make :
- functor (X : Set.OrderedType) ->
- sig
- type elt = X.t
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
-end
\ No newline at end of file
diff --git a/api/type_SequenceLabels.html b/api/type_SequenceLabels.html
deleted file mode 100644
index 1d4e424..0000000
--- a/api/type_SequenceLabels.html
+++ /dev/null
@@ -1,576 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-sig
- type 'a t = ('a -> unit) -> unit
- type 'a sequence = 'a SequenceLabels.t
- type ('a, 'b) t2 = ('a -> 'b -> unit) -> unit
- type 'a equal = 'a -> 'a -> bool
- type 'a hash = 'a -> int
- val from_iter : (('a -> unit) -> unit) -> 'a SequenceLabels.t
- val from_fun : (unit -> 'a option) -> 'a SequenceLabels.t
- val empty : 'a SequenceLabels.t
- val singleton : 'a -> 'a SequenceLabels.t
- val doubleton : 'a -> 'a -> 'a SequenceLabels.t
- val init : f:(int -> 'a) -> 'a SequenceLabels.t
- val cons : 'a -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val snoc : 'a SequenceLabels.t -> 'a -> 'a SequenceLabels.t
- val return : 'a -> 'a SequenceLabels.t
- val pure : 'a -> 'a SequenceLabels.t
- val repeat : 'a -> 'a SequenceLabels.t
- val iterate : ('a -> 'a) -> 'a -> 'a SequenceLabels.t
- val forever : (unit -> 'b) -> 'b SequenceLabels.t
- val cycle : 'a SequenceLabels.t -> 'a SequenceLabels.t
- val iter : f:('a -> unit) -> 'a SequenceLabels.t -> unit
- val iteri : f:(int -> 'a -> unit) -> 'a SequenceLabels.t -> unit
- val fold : f:('a -> 'b -> 'a) -> init:'a -> 'b SequenceLabels.t -> 'a
- val foldi :
- f:('a -> int -> 'b -> 'a) -> init:'a -> 'b SequenceLabels.t -> 'a
- val fold_map :
- f:('acc -> 'a -> 'acc * 'b) ->
- init:'acc -> 'a SequenceLabels.t -> 'b SequenceLabels.t
- val fold_filter_map :
- f:('acc -> 'a -> 'acc * 'b option) ->
- init:'acc -> 'a SequenceLabels.t -> 'b SequenceLabels.t
- val map : f:('a -> 'b) -> 'a SequenceLabels.t -> 'b SequenceLabels.t
- val mapi :
- f:(int -> 'a -> 'b) -> 'a SequenceLabels.t -> 'b SequenceLabels.t
- val map_by_2 :
- f:('a -> 'a -> 'a) -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val for_all : f:('a -> bool) -> 'a SequenceLabels.t -> bool
- val exists : f:('a -> bool) -> 'a SequenceLabels.t -> bool
- val mem : ?eq:('a -> 'a -> bool) -> x:'a -> 'a SequenceLabels.t -> bool
- val find : ('a -> 'b option) -> 'a SequenceLabels.t -> 'b option
- val find_map : f:('a -> 'b option) -> 'a SequenceLabels.t -> 'b option
- val findi : f:(int -> 'a -> 'b option) -> 'a SequenceLabels.t -> 'b option
- val find_mapi :
- f:(int -> 'a -> 'b option) -> 'a SequenceLabels.t -> 'b option
- val find_pred : f:('a -> bool) -> 'a SequenceLabels.t -> 'a option
- val find_pred_exn : f:('a -> bool) -> 'a SequenceLabels.t -> 'a
- val length : 'a SequenceLabels.t -> int
- val is_empty : 'a SequenceLabels.t -> bool
- val filter : f:('a -> bool) -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val append :
- 'a SequenceLabels.t -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val append_l : 'a SequenceLabels.t list -> 'a SequenceLabels.t
- val concat : 'a SequenceLabels.t SequenceLabels.t -> 'a SequenceLabels.t
- val flatten : 'a SequenceLabels.t SequenceLabels.t -> 'a SequenceLabels.t
- val flat_map :
- f:('a -> 'b SequenceLabels.t) ->
- 'a SequenceLabels.t -> 'b SequenceLabels.t
- val flat_map_l :
- f:('a -> 'b list) -> 'a SequenceLabels.t -> 'b SequenceLabels.t
- val filter_map :
- f:('a -> 'b option) -> 'a SequenceLabels.t -> 'b SequenceLabels.t
- val filter_mapi :
- f:(int -> 'a -> 'b option) -> 'a SequenceLabels.t -> 'b SequenceLabels.t
- val seq_list : 'a SequenceLabels.t list -> 'a list SequenceLabels.t
- val seq_list_map :
- f:('a -> 'b SequenceLabels.t) -> 'a list -> 'b list SequenceLabels.t
- val intersperse : x:'a -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val persistent : 'a SequenceLabels.t -> 'a SequenceLabels.t
- val persistent_lazy : 'a SequenceLabels.t -> 'a SequenceLabels.t
- val sort :
- ?cmp:('a -> 'a -> int) -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val sort_uniq :
- ?cmp:('a -> 'a -> int) -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val sorted : ?cmp:('a -> 'a -> int) -> 'a SequenceLabels.t -> bool
- val group_succ_by :
- ?eq:('a -> 'a -> bool) -> 'a SequenceLabels.t -> 'a list SequenceLabels.t
- val group_by :
- ?hash:('a -> int) ->
- ?eq:('a -> 'a -> bool) -> 'a SequenceLabels.t -> 'a list SequenceLabels.t
- val count :
- ?hash:('a -> int) ->
- ?eq:('a -> 'a -> bool) ->
- 'a SequenceLabels.t -> ('a * int) SequenceLabels.t
- val uniq :
- ?eq:('a -> 'a -> bool) -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val product :
- 'a SequenceLabels.t -> 'b SequenceLabels.t -> ('a * 'b) SequenceLabels.t
- val diagonal_l : 'a list -> ('a * 'a) SequenceLabels.t
- val diagonal : 'a SequenceLabels.t -> ('a * 'a) SequenceLabels.t
- val product2 :
- 'a SequenceLabels.t -> 'b SequenceLabels.t -> ('a, 'b) SequenceLabels.t2
- val join :
- join_row:('a -> 'b -> 'c option) ->
- 'a SequenceLabels.t -> 'b SequenceLabels.t -> 'c SequenceLabels.t
- val join_by :
- ?eq:'key SequenceLabels.equal ->
- ?hash:'key SequenceLabels.hash ->
- ('a -> 'key) ->
- ('b -> 'key) ->
- merge:('key -> 'a -> 'b -> 'c option) ->
- 'a SequenceLabels.t -> 'b SequenceLabels.t -> 'c SequenceLabels.t
- val join_all_by :
- ?eq:'key SequenceLabels.equal ->
- ?hash:'key SequenceLabels.hash ->
- ('a -> 'key) ->
- ('b -> 'key) ->
- merge:('key -> 'a list -> 'b list -> 'c option) ->
- 'a SequenceLabels.t -> 'b SequenceLabels.t -> 'c SequenceLabels.t
- val group_join_by :
- ?eq:'a SequenceLabels.equal ->
- ?hash:'a SequenceLabels.hash ->
- ('b -> 'a) ->
- 'a SequenceLabels.t ->
- 'b SequenceLabels.t -> ('a * 'b list) SequenceLabels.t
- val inter :
- ?eq:'a SequenceLabels.equal ->
- ?hash:'a SequenceLabels.hash ->
- 'a SequenceLabels.t -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val union :
- ?eq:'a SequenceLabels.equal ->
- ?hash:'a SequenceLabels.hash ->
- 'a SequenceLabels.t -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val diff :
- ?eq:'a SequenceLabels.equal ->
- ?hash:'a SequenceLabels.hash ->
- 'a SequenceLabels.t -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val subset :
- ?eq:'a SequenceLabels.equal ->
- ?hash:'a SequenceLabels.hash ->
- 'a SequenceLabels.t -> 'a SequenceLabels.t -> bool
- val unfoldr : ('b -> ('a * 'b) option) -> 'b -> 'a SequenceLabels.t
- val scan :
- ('b -> 'a -> 'b) -> 'b -> 'a SequenceLabels.t -> 'b SequenceLabels.t
- val max : ?lt:('a -> 'a -> bool) -> 'a SequenceLabels.t -> 'a option
- val max_exn : ?lt:('a -> 'a -> bool) -> 'a SequenceLabels.t -> 'a
- val min : ?lt:('a -> 'a -> bool) -> 'a SequenceLabels.t -> 'a option
- val min_exn : ?lt:('a -> 'a -> bool) -> 'a SequenceLabels.t -> 'a
- val sum : int SequenceLabels.t -> int
- val sumf : float SequenceLabels.t -> float
- val head : 'a SequenceLabels.t -> 'a option
- val head_exn : 'a SequenceLabels.t -> 'a
- val take : int -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val take_while :
- f:('a -> bool) -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val fold_while :
- f:('a -> 'b -> 'a * [ `Continue | `Stop ]) ->
- init:'a -> 'b SequenceLabels.t -> 'a
- val drop : int -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val drop_while :
- f:('a -> bool) -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val rev : 'a SequenceLabels.t -> 'a SequenceLabels.t
- val empty2 : ('a, 'b) SequenceLabels.t2
- val is_empty2 : ('a, 'b) SequenceLabels.t2 -> bool
- val length2 : ('a, 'b) SequenceLabels.t2 -> int
- val zip : ('a, 'b) SequenceLabels.t2 -> ('a * 'b) SequenceLabels.t
- val unzip : ('a * 'b) SequenceLabels.t -> ('a, 'b) SequenceLabels.t2
- val zip_i : 'a SequenceLabels.t -> (int, 'a) SequenceLabels.t2
- val fold2 :
- f:('c -> 'a -> 'b -> 'c) -> init:'c -> ('a, 'b) SequenceLabels.t2 -> 'c
- val iter2 : f:('a -> 'b -> unit) -> ('a, 'b) SequenceLabels.t2 -> unit
- val map2 :
- f:('a -> 'b -> 'c) -> ('a, 'b) SequenceLabels.t2 -> 'c SequenceLabels.t
- val map2_2 :
- ('a -> 'b -> 'c) ->
- ('a -> 'b -> 'd) ->
- ('a, 'b) SequenceLabels.t2 -> ('c, 'd) SequenceLabels.t2
- val to_list : 'a SequenceLabels.t -> 'a list
- val to_rev_list : 'a SequenceLabels.t -> 'a list
- val of_list : 'a list -> 'a SequenceLabels.t
- val on_list :
- ('a SequenceLabels.t -> 'b SequenceLabels.t) -> 'a list -> 'b list
- val pair_with_idx : 'a SequenceLabels.t -> (int * 'a) SequenceLabels.t
- val to_opt : 'a SequenceLabels.t -> 'a option
- val to_array : 'a SequenceLabels.t -> 'a array
- val of_array : 'a array -> 'a SequenceLabels.t
- val of_array_i : 'a array -> (int * 'a) SequenceLabels.t
- val of_array2 : 'a array -> (int, 'a) SequenceLabels.t2
- val array_slice : 'a array -> int -> int -> 'a SequenceLabels.t
- val of_opt : 'a option -> 'a SequenceLabels.t
- val of_stream : 'a Stream.t -> 'a SequenceLabels.t
- val to_stream : 'a SequenceLabels.t -> 'a Stream.t
- val to_stack : 'a Stack.t -> 'a SequenceLabels.t -> unit
- val of_stack : 'a Stack.t -> 'a SequenceLabels.t
- val to_queue : 'a Queue.t -> 'a SequenceLabels.t -> unit
- val of_queue : 'a Queue.t -> 'a SequenceLabels.t
- val hashtbl_add : ('a, 'b) Hashtbl.t -> ('a * 'b) SequenceLabels.t -> unit
- val hashtbl_replace :
- ('a, 'b) Hashtbl.t -> ('a * 'b) SequenceLabels.t -> unit
- val to_hashtbl : ('a * 'b) SequenceLabels.t -> ('a, 'b) Hashtbl.t
- val to_hashtbl2 : ('a, 'b) SequenceLabels.t2 -> ('a, 'b) Hashtbl.t
- val of_hashtbl : ('a, 'b) Hashtbl.t -> ('a * 'b) SequenceLabels.t
- val of_hashtbl2 : ('a, 'b) Hashtbl.t -> ('a, 'b) SequenceLabels.t2
- val hashtbl_keys : ('a, 'b) Hashtbl.t -> 'a SequenceLabels.t
- val hashtbl_values : ('a, 'b) Hashtbl.t -> 'b SequenceLabels.t
- val of_str : string -> char SequenceLabels.t
- val to_str : char SequenceLabels.t -> string
- val concat_str : string SequenceLabels.t -> string
- exception OneShotSequence
- val of_in_channel : Pervasives.in_channel -> char SequenceLabels.t
- val to_buffer : char SequenceLabels.t -> Buffer.t -> unit
- val int_range : start:int -> stop:int -> int SequenceLabels.t
- val int_range_dec : start:int -> stop:int -> int SequenceLabels.t
- val int_range_by :
- step:int -> start:int -> stop:int -> int SequenceLabels.t
- val bools : bool SequenceLabels.t
- val of_set :
- (module Set.S with type elt = 'a and type t = 'b) ->
- 'b -> 'a SequenceLabels.t
- val to_set :
- (module Set.S with type elt = 'a and type t = 'b) ->
- 'a SequenceLabels.t -> 'b
- type 'a gen = unit -> 'a option
- type 'a klist = unit -> [ `Cons of 'a * 'a SequenceLabels.klist | `Nil ]
- val of_gen : 'a SequenceLabels.gen -> 'a SequenceLabels.t
- val to_gen : 'a SequenceLabels.t -> 'a SequenceLabels.gen
- val of_klist : 'a SequenceLabels.klist -> 'a SequenceLabels.t
- val to_klist : 'a SequenceLabels.t -> 'a SequenceLabels.klist
- module Set :
- sig
- module type S =
- sig
- type elt
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt SequenceLabels.sequence -> SequenceLabels.t
- val to_seq : SequenceLabels.t -> elt SequenceLabels.sequence
- val to_list : SequenceLabels.t -> elt list
- val of_list : elt list -> SequenceLabels.t
- end
- module Adapt :
- functor (X : Set.S) ->
- sig
- type elt = X.elt
- type t = X.t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
- module Make :
- functor (X : Set.OrderedType) ->
- sig
- type elt = X.t
- type t
- val empty : t
- val is_empty : t -> bool
- val mem : elt -> t -> bool
- val add : elt -> t -> t
- val singleton : elt -> t
- val remove : elt -> t -> t
- val union : t -> t -> t
- val inter : t -> t -> t
- val diff : t -> t -> t
- val compare : t -> t -> int
- val equal : t -> t -> bool
- val subset : t -> t -> bool
- val iter : (elt -> unit) -> t -> unit
- val map : (elt -> elt) -> t -> t
- val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
- val for_all : (elt -> bool) -> t -> bool
- val exists : (elt -> bool) -> t -> bool
- val filter : (elt -> bool) -> t -> t
- val partition : (elt -> bool) -> t -> t * t
- val cardinal : t -> int
- val elements : t -> elt list
- val min_elt : t -> elt
- val min_elt_opt : t -> elt option
- val max_elt : t -> elt
- val max_elt_opt : t -> elt option
- val choose : t -> elt
- val choose_opt : t -> elt option
- val split : elt -> t -> t * bool * t
- val find : elt -> t -> elt
- val find_opt : elt -> t -> elt option
- val find_first : (elt -> bool) -> t -> elt
- val find_first_opt : (elt -> bool) -> t -> elt option
- val find_last : (elt -> bool) -> t -> elt
- val find_last_opt : (elt -> bool) -> t -> elt option
- val of_seq : elt sequence -> t
- val to_seq : t -> elt sequence
- val to_list : t -> elt list
- val of_list : elt list -> t
- end
- end
- module Map :
- sig
- module type S =
- sig
- type key
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) ->
- 'a t -> 'b t -> 'c t
- val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq :
- 'a SequenceLabels.t -> (key * 'a) SequenceLabels.sequence
- val of_seq :
- (key * 'a) SequenceLabels.sequence -> 'a SequenceLabels.t
- val keys : 'a SequenceLabels.t -> key SequenceLabels.sequence
- val values : 'a SequenceLabels.t -> 'a SequenceLabels.sequence
- val to_list : 'a SequenceLabels.t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a SequenceLabels.t
- end
- module Adapt :
- functor (M : Map.S) ->
- sig
- type key = M.key
- type 'a t = 'a M.t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) ->
- 'a t -> 'b t -> 'c t
- val union :
- (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
- module Make :
- functor (V : Map.OrderedType) ->
- sig
- type key = V.t
- type +'a t
- val empty : 'a t
- val is_empty : 'a t -> bool
- val mem : key -> 'a t -> bool
- val add : key -> 'a -> 'a t -> 'a t
- val singleton : key -> 'a -> 'a t
- val remove : key -> 'a t -> 'a t
- val merge :
- (key -> 'a option -> 'b option -> 'c option) ->
- 'a t -> 'b t -> 'c t
- val union :
- (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
- val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
- val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
- val iter : (key -> 'a -> unit) -> 'a t -> unit
- val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
- val for_all : (key -> 'a -> bool) -> 'a t -> bool
- val exists : (key -> 'a -> bool) -> 'a t -> bool
- val filter : (key -> 'a -> bool) -> 'a t -> 'a t
- val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
- val cardinal : 'a t -> int
- val bindings : 'a t -> (key * 'a) list
- val min_binding : 'a t -> key * 'a
- val min_binding_opt : 'a t -> (key * 'a) option
- val max_binding : 'a t -> key * 'a
- val max_binding_opt : 'a t -> (key * 'a) option
- val choose : 'a t -> key * 'a
- val choose_opt : 'a t -> (key * 'a) option
- val split : key -> 'a t -> 'a t * 'a option * 'a t
- val find : key -> 'a t -> 'a
- val find_opt : key -> 'a t -> 'a option
- val find_first : (key -> bool) -> 'a t -> key * 'a
- val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val find_last : (key -> bool) -> 'a t -> key * 'a
- val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
- val map : ('a -> 'b) -> 'a t -> 'b t
- val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
- val to_seq : 'a t -> (key * 'a) sequence
- val of_seq : (key * 'a) sequence -> 'a t
- val keys : 'a t -> key sequence
- val values : 'a t -> 'a sequence
- val to_list : 'a t -> (key * 'a) list
- val of_list : (key * 'a) list -> 'a t
- end
- end
- val random_int : int -> int SequenceLabels.t
- val random_bool : bool SequenceLabels.t
- val random_float : float -> float SequenceLabels.t
- val random_array : 'a array -> 'a SequenceLabels.t
- val random_list : 'a list -> 'a SequenceLabels.t
- val shuffle : 'a SequenceLabels.t -> 'a SequenceLabels.t
- val shuffle_buffer : n:int -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- val sample : n:int -> 'a SequenceLabels.t -> 'a array
- module Infix :
- sig
- val ( -- ) : int -> int -> int SequenceLabels.t
- val ( --^ ) : int -> int -> int SequenceLabels.t
- val ( >>= ) :
- 'a SequenceLabels.t ->
- ('a -> 'b SequenceLabels.t) -> 'b SequenceLabels.t
- val ( >|= ) : 'a SequenceLabels.t -> ('a -> 'b) -> 'b SequenceLabels.t
- val ( <*> ) :
- ('a -> 'b) SequenceLabels.t ->
- 'a SequenceLabels.t -> 'b SequenceLabels.t
- val ( <+> ) :
- 'a SequenceLabels.t -> 'a SequenceLabels.t -> 'a SequenceLabels.t
- end
- val ( -- ) : int -> int -> int t
- val ( --^ ) : int -> int -> int t
- val ( >>= ) : 'a t -> ('a -> 'b t) -> 'b t
- val ( >|= ) : 'a t -> ('a -> 'b) -> 'b t
- val ( <*> ) : ('a -> 'b) t -> 'a t -> 'b t
- val ( <+> ) : 'a t -> 'a t -> 'a t
- val pp_seq :
- ?sep:string ->
- (Format.formatter -> 'a -> unit) ->
- Format.formatter -> 'a SequenceLabels.t -> unit
- val pp_buf :
- ?sep:string ->
- (Buffer.t -> 'a -> unit) -> Buffer.t -> 'a SequenceLabels.t -> unit
- val to_string :
- ?sep:string -> ('a -> string) -> 'a SequenceLabels.t -> string
- module IO :
- sig
- val lines_of :
- ?mode:int ->
- ?flags:Pervasives.open_flag list -> string -> string SequenceLabels.t
- val chunks_of :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- ?size:int -> string -> string SequenceLabels.t
- val write_to :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> string SequenceLabels.t -> unit
- val write_bytes_to :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> Bytes.t SequenceLabels.t -> unit
- val write_lines :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> string SequenceLabels.t -> unit
- val write_bytes_lines :
- ?mode:int ->
- ?flags:Pervasives.open_flag list ->
- string -> Bytes.t SequenceLabels.t -> unit
- end
-end
\ No newline at end of file
diff --git a/images/bg_hr.png b/images/bg_hr.png
deleted file mode 100644
index 7973bd6..0000000
Binary files a/images/bg_hr.png and /dev/null differ
diff --git a/images/blacktocat.png b/images/blacktocat.png
deleted file mode 100644
index 6e264fe..0000000
Binary files a/images/blacktocat.png and /dev/null differ
diff --git a/images/icon_download.png b/images/icon_download.png
deleted file mode 100644
index a2a287f..0000000
Binary files a/images/icon_download.png and /dev/null differ
diff --git a/images/sprite_download.png b/images/sprite_download.png
deleted file mode 100644
index f2babd5..0000000
Binary files a/images/sprite_download.png and /dev/null differ
diff --git a/index.html b/index.html
index bdbdbcb..f7c1c18 100644
--- a/index.html
+++ b/index.html
@@ -1,50 +1,17 @@
-
-
+
-
-
-
-
-
-
-