sequence 0.5.2 · OCaml Package

type !'a t = ('a -> unit) -> unit

type !'a sequence = 'a t

type (!'a, !'b) t2 = ('a -> 'b -> unit) -> unit

val from_iter : (('a -> unit) -> unit) -> 'a t

val from_fun : (unit -> 'a option) -> 'a t

val empty : 'a t

val singleton : 'a -> 'a t

val doubleton : 'a -> 'a -> 'a t

val cons : 'a -> 'a t -> 'a t

val snoc : 'a t -> 'a -> 'a t

val return : 'a -> 'a t

val pure : 'a -> 'a t

val repeat : 'a -> 'a t

val iterate : ('a -> 'a) -> 'a -> 'a t

val forever : (unit -> 'b) -> 'b t

val cycle : 'a t -> 'a t

val iter : ('a -> unit) -> 'a t -> unit

val iteri : (int -> 'a -> unit) -> 'a t -> unit

val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b

val foldi : ('b -> int -> 'a -> 'b) -> 'b -> 'a t -> 'b

val map : ('a -> 'b) -> 'a t -> 'b t

val mapi : (int -> 'a -> 'b) -> 'a t -> 'b t

val for_all : ('a -> bool) -> 'a t -> bool

val exists : ('a -> bool) -> 'a t -> bool

val mem : ?eq:('a -> 'a -> bool) -> 'a -> 'a t -> bool

val find : ('a -> 'b option) -> 'a t -> 'b option

val length : 'a t -> int

val is_empty : 'a t -> bool

val filter : ('a -> bool) -> 'a t -> 'a t

val append : 'a t -> 'a t -> 'a t

val concat : 'a t t -> 'a t

val flatten : 'a t t -> 'a t

val flatMap : ('a -> 'b t) -> 'a t -> 'b t

val flat_map : ('a -> 'b t) -> 'a t -> 'b t

val fmap : ('a -> 'b option) -> 'a t -> 'b t

val filter_map : ('a -> 'b option) -> 'a t -> 'b t

val intersperse : 'a -> 'a t -> 'a t

val persistent : 'a t -> 'a t

val persistent_lazy : 'a t -> 'a t

val sort : ?cmp:('a -> 'a -> int) -> 'a t -> 'a t

val sort_uniq : ?cmp:('a -> 'a -> int) -> 'a t -> 'a t

val group : ?eq:('a -> 'a -> bool) -> 'a t -> 'a list t

val uniq : ?eq:('a -> 'a -> bool) -> 'a t -> 'a t

val product : 'a t -> 'b t -> ('a * 'b) t

val product2 : 'a t -> 'b t -> ('a, 'b) t2

val join : join_row:('a -> 'b -> 'c option) -> 'a t -> 'b t -> 'c t

val unfoldr : ('b -> ('a * 'b) option) -> 'b -> 'a t

val scan : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b t

val max : ?lt:('a -> 'a -> bool) -> 'a t -> 'a option

val min : ?lt:('a -> 'a -> bool) -> 'a t -> 'a option

val head : 'a t -> 'a option

val head_exn : 'a t -> 'a

val take : int -> 'a t -> 'a t

val take_while : ('a -> bool) -> 'a t -> 'a t

val drop : int -> 'a t -> 'a t

val drop_while : ('a -> bool) -> 'a t -> 'a t

val rev : 'a t -> 'a t

val 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) t2

val 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) t2

val to_list : 'a t -> 'a list

val to_rev_list : 'a t -> 'a list

val of_list : 'a list -> 'a t

val on_list : ('a t -> 'b t) -> 'a list -> 'b list

val to_opt : 'a t -> 'a option

val to_array : 'a t -> 'a array

val of_array : 'a array -> 'a t

val of_array_i : 'a array -> (int * 'a) t

val of_array2 : 'a array -> (int, 'a) t2

val array_slice : 'a array -> int -> int -> 'a t

val of_opt : 'a option -> 'a t

val of_stream : 'a Stream.t -> 'a t

val to_stream : 'a t -> 'a Stream.t

val to_stack : 'a Stack.t -> 'a t -> unit

val of_stack : 'a Stack.t -> 'a t

val to_queue : 'a Queue.t -> 'a t -> unit

val of_queue : 'a Queue.t -> 'a t

val hashtbl_add : ('a, 'b) Hashtbl.t -> ('a * 'b) t -> unit

val hashtbl_replace : ('a, 'b) Hashtbl.t -> ('a * 'b) t -> unit

val to_hashtbl : ('a * 'b) t -> ('a, 'b) Hashtbl.t

val to_hashtbl2 : ('a, 'b) t2 -> ('a, 'b) Hashtbl.t

val of_hashtbl : ('a, 'b) Hashtbl.t -> ('a * 'b) t

val of_hashtbl2 : ('a, 'b) Hashtbl.t -> ('a, 'b) t2

val 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 -> string

exception OneShotSequence

val of_in_channel : Pervasives.in_channel -> char t

val to_buffer : char t -> Buffer.t -> unit

val int_range : start:int -> stop:int -> int t

val int_range_dec : start:int -> stop:int -> int t

val of_set : (module Set.S with type elt = 'a and type t = 'b) -> 'b -> 'a t

val to_set : (module Set.S with type elt = 'a and type t = 'b) -> 'a t -> 'b

type !'a gen = unit -> 'a option

type !'a klist = unit -> [ `Cons of 'a * 'a klist | `Nil ]

val of_gen : 'a gen -> 'a t

val to_gen : 'a t -> 'a gen

val of_klist : 'a klist -> 'a t

val to_klist : 'a t -> 'a klist

module Set : sig ... end

module Map : sig ... end

val random_int : int -> int t

val random_bool : bool t

val random_float : float -> float t

val random_array : 'a array -> 'a t

val random_list : 'a list -> 'a t

module Infix : sig ... 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 t ->
  unit

val pp_buf : 
  ?sep:string ->
  (Buffer.t -> 'a -> unit) ->
  Buffer.t ->
  'a t ->
  unit

val to_string : ?sep:string -> ('a -> string) -> 'a t -> string

module IO : sig ... end

package sequence