sig
type 'a t = 'a Stream.t
type 'a enumerable = 'a t
type 'a mappable = 'a t
exception Failure
exception Error of string
val from : (int -> 'a option) -> 'a BatStream.t
val of_list : 'a list -> 'a BatStream.t
val of_string : string -> char BatStream.t
val of_bytes : Bytes.t -> char BatStream.t
val of_channel : Pervasives.in_channel -> char BatStream.t
val of_fun : (unit -> 'a) -> 'a BatStream.t
val iter : ('a -> unit) -> 'a BatStream.t -> unit
val foldl : ('a -> 'b -> 'a * bool option) -> 'a -> 'b BatStream.t -> 'a
val foldr : ('a -> 'b lazy_t -> 'b) -> 'b -> 'a BatStream.t -> 'b
val fold : ('a -> 'a -> 'a * bool option) -> 'a BatStream.t -> 'a
val filter : ('a -> bool) -> 'a BatStream.t -> 'a BatStream.t
val empty : 'a BatStream.t -> unit
val peek : 'a BatStream.t -> 'a option
val junk : 'a BatStream.t -> unit
val count : 'a BatStream.t -> int
val npeek : int -> 'a BatStream.t -> 'a list
val enum : 'a BatStream.t -> 'a BatEnum.t
val of_enum : 'a BatEnum.t -> 'a BatStream.t
val of_input : BatIO.input -> char BatStream.t
val to_list : 'a BatStream.t -> 'a list
val to_string : char BatStream.t -> string
val to_string_fmt :
('a -> string, unit, string) Pervasives.format ->
'a BatStream.t -> string
val to_string_fun : ('a -> string) -> 'a BatStream.t -> string
val on_output : 'a BatIO.output -> char BatStream.t -> unit
val map : ('a -> 'b) -> 'a BatStream.t -> 'b BatStream.t
val map2 :
('a -> 'b -> 'c) -> 'a BatStream.t -> 'b BatStream.t -> 'c BatStream.t
val scanl : ('a -> 'b -> 'a) -> 'a -> 'b BatStream.t -> 'a BatStream.t
val scan : ('a -> 'a -> 'a) -> 'a BatStream.t -> 'a BatStream.t
val concat : 'a BatStream.t BatStream.t -> 'a BatStream.t
val concat_map : ('a -> 'b BatStream.t) -> 'a BatStream.t -> 'b BatStream.t
val take : int -> 'a BatStream.t -> 'a BatStream.t
val drop : int -> 'a BatStream.t -> 'a BatStream.t
val take_while : ('a -> bool) -> 'a BatStream.t -> 'a BatStream.t
val drop_while : ('a -> bool) -> 'a BatStream.t -> 'a BatStream.t
val dup : 'a BatStream.t -> 'a BatStream.t * 'a BatStream.t
val comb : 'a BatStream.t * 'b BatStream.t -> ('a * 'b) BatStream.t
val split : ('a * 'b) BatStream.t -> 'a BatStream.t * 'b BatStream.t
val merge :
(bool -> 'a -> bool) -> 'a BatStream.t * 'a BatStream.t -> 'a BatStream.t
val switch :
('a -> bool) -> 'a BatStream.t -> 'a BatStream.t * 'a BatStream.t
val cons : 'a -> 'a BatStream.t -> 'a BatStream.t
val apnd : 'a BatStream.t -> 'a BatStream.t -> 'a BatStream.t
val is_empty : 'a BatStream.t -> bool
val next : 'a BatStream.t -> 'a
module StreamLabels :
sig
val iter : f:('a -> unit) -> 'a BatStream.t -> unit
val to_string_fmt :
fmt:('a -> string, unit, string) Pervasives.format ->
'a BatStream.t -> string
val to_string_fun : fn:('a -> string) -> 'a BatStream.t -> string
val foldl :
f:('a -> 'b -> 'a * bool option) -> init:'a -> 'b BatStream.t -> 'a
val foldr :
f:('a -> 'b lazy_t -> 'b) -> init:'b -> 'a BatStream.t -> 'b
val fold :
f:('a -> 'a -> 'a * bool option) -> init:'a BatStream.t -> 'a
val filter : f:('a -> bool) -> 'a BatStream.t -> 'a BatStream.t
val map : f:('a -> 'b) -> 'a BatStream.t -> 'b BatStream.t
val map2 :
f:('a -> 'b -> 'c) ->
'a BatStream.t -> 'b BatStream.t -> 'c BatStream.t
val scanl :
f:('a -> 'b -> 'a) -> 'a -> 'b BatStream.t -> 'a BatStream.t
val scan : f:('a -> 'a -> 'a) -> 'a BatStream.t -> 'a BatStream.t
val take_while : f:('a -> bool) -> 'a BatStream.t -> 'a BatStream.t
val drop_while : f:('a -> bool) -> 'a BatStream.t -> 'a BatStream.t
val merge :
f:(bool -> 'a -> bool) ->
'a BatStream.t * 'a BatStream.t -> 'a BatStream.t
val switch :
f:('a -> bool) -> 'a BatStream.t -> 'a BatStream.t * 'a BatStream.t
end
val iapp : 'a BatStream.t -> 'a BatStream.t -> 'a BatStream.t
val icons : 'a -> 'a BatStream.t -> 'a BatStream.t
val ising : 'a -> 'a BatStream.t
val lapp : (unit -> 'a BatStream.t) -> 'a BatStream.t -> 'a BatStream.t
val lcons : (unit -> 'a) -> 'a BatStream.t -> 'a BatStream.t
val lsing : (unit -> 'a) -> 'a BatStream.t
val sempty : 'a BatStream.t
val slazy : (unit -> 'a BatStream.t) -> 'a BatStream.t
val dump : ('a -> unit) -> 'a BatStream.t -> unit
end