package stdcompat

  1. Overview
  2. Docs
package stdcompat
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t = unit -> 'a node
and 'a node = 'a Seq.node =
  1. | Nil
  2. | Cons of 'a * 'a t
  • since 4.07.0:

type 'a t = unit -> 'a node and 'a node = | Nil | Cons of 'a * 'a t

exception Forced_twice

Alias for Seq.Forced_twice

val is_empty : 'a t -> bool
  • since 4.14.0: val is_empty : 'a t -> bool
val uncons : 'a t -> ('a * 'a t) option
  • since 4.14.0: val uncons : 'a t -> ('a * 'a t) option
val length : 'a t -> int
  • since 4.14.0: val length : 'a t -> int
val iteri : (int -> 'a -> unit) -> 'a t -> unit
  • since 4.14.0: val iteri : (int -> 'a -> unit) -> 'a t -> unit
val fold_lefti : ('b -> int -> 'a -> 'b) -> 'b -> 'a t -> 'b
  • since 4.14.0:

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

val for_all : ('a -> bool) -> 'a t -> bool
  • since 4.14.0: val for_all : ('a -> bool) -> 'a t -> bool
val exists : ('a -> bool) -> 'a t -> bool
  • since 4.14.0: val exists : ('a -> bool) -> 'a t -> bool
val find : ('a -> bool) -> 'a t -> 'a option
  • since 4.14.0: val find : ('a -> bool) -> 'a t -> 'a option
val find_map : ('a -> 'b option) -> 'a t -> 'b option
  • since 4.14.0: val find_map : ('a -> 'b option) -> 'a t -> 'b option
val iter2 : ('a -> 'b -> unit) -> 'a t -> 'b t -> unit
  • since 4.14.0: val iter2 : ('a -> 'b -> unit) -> 'a t -> 'b t -> unit
val fold_left2 : ('a -> 'b -> 'c -> 'a) -> 'a -> 'b t -> 'c t -> 'a
  • since 4.14.0:

val fold_left2 : ('a -> 'b -> 'c -> 'a) -> 'a -> 'b t -> 'c t -> 'a

val for_all2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
  • since 4.14.0: val for_all2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
val exists2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
  • since 4.14.0: val exists2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
val equal : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
  • since 4.14.0: val equal : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
val compare : ('a -> 'b -> int) -> 'a t -> 'b t -> int
  • since 4.14.0: val compare : ('a -> 'b -> int) -> 'a t -> 'b t -> int
val init : int -> (int -> 'a) -> 'a t
  • since 4.14.0: val init : int -> (int -> 'a) -> 'a t
val repeat : 'a -> 'a t
  • since 4.14.0: val repeat : 'a -> 'a t
val forever : (unit -> 'a) -> 'a t
  • since 4.14.0: val forever : (unit -> 'a) -> 'a t
val cycle : 'a t -> 'a t
  • since 4.14.0: val cycle : 'a t -> 'a t
val iterate : ('a -> 'a) -> 'a -> 'a t
  • since 4.14.0: val iterate : ('a -> 'a) -> 'a -> 'a t
val mapi : (int -> 'a -> 'b) -> 'a t -> 'b t
  • since 4.14.0: val mapi : (int -> 'a -> 'b) -> 'a t -> 'b t
val scan : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b t
  • since 4.14.0: val scan : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b t
val take : int -> 'a t -> 'a t
  • since 4.14.0: val take : int -> 'a t -> 'a t
val drop : int -> 'a t -> 'a t
  • since 4.14.0: val drop : int -> 'a t -> 'a t
val take_while : ('a -> bool) -> 'a t -> 'a t
  • since 4.14.0: val take_while : ('a -> bool) -> 'a t -> 'a t
val drop_while : ('a -> bool) -> 'a t -> 'a t
  • since 4.14.0: val drop_while : ('a -> bool) -> 'a t -> 'a t
val group : ('a -> 'a -> bool) -> 'a t -> 'a t t
  • since 4.14.0: val group : ('a -> 'a -> bool) -> 'a t -> 'a t t
val memoize : 'a t -> 'a t
  • since 4.14.0: val memoize : 'a t -> 'a t
val once : 'a t -> 'a t
  • since 4.14.0: val once : 'a t -> 'a t
val transpose : 'a t t -> 'a t t
  • since 4.14.0: val transpose : 'a t t -> 'a t t
val zip : 'a t -> 'b t -> ('a * 'b) t
  • since 4.14.0: val zip : 'a t -> 'b t -> ('a * 'b) t
val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
  • since 4.14.0: val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val interleave : 'a t -> 'a t -> 'a t
  • since 4.14.0: val interleave : 'a t -> 'a t -> 'a t
val sorted_merge : ('a -> 'a -> int) -> 'a t -> 'a t -> 'a t
  • since 4.14.0:

val sorted_merge : ('a -> 'a -> int) -> 'a t -> 'a t -> 'a t

val product : 'a t -> 'b t -> ('a * 'b) t
  • since 4.14.0: val product : 'a t -> 'b t -> ('a * 'b) t
val map_product : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
  • since 4.14.0: val map_product : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val unzip : ('a * 'b) t -> 'a t * 'b t
  • since 4.14.0: val unzip : ('a * 'b) t -> ('a t * 'b t)
val split : ('a * 'b) t -> 'a t * 'b t
  • since 4.14.0: val split : ('a * 'b) t -> ('a t * 'b t)
val partition_map : ('a -> ('b, 'c) Stdcompat__init.either) -> 'a t -> 'b t * 'c t
  • since 4.14.0:

val partition_map : ('a -> ('b, 'c) Either.t) -> 'a t -> ('b t * 'c t)

val partition : ('a -> bool) -> 'a t -> 'a t * 'a t
  • since 4.14.0: val partition : ('a -> bool) -> 'a t -> ('a t * 'a t)
val of_dispenser : (unit -> 'a option) -> 'a t
  • since 4.14.0: val of_dispenser : (unit -> 'a option) -> 'a t
val to_dispenser : 'a t -> unit -> 'a option
  • since 4.14.0: val to_dispenser : 'a t -> unit -> 'a option
val ints : int -> int t
  • since 4.14.0: val ints : int -> int t
val concat : 'a t t -> 'a t
  • since 4.13.0: val concat : 'a t t -> 'a t
val concat_map : ('a -> 'b t) -> 'a t -> 'b t
  • since 4.13.0: val concat_map : ('a -> 'b t) -> 'a t -> 'b t
val cons : 'a -> 'a t -> 'a t
  • since 4.11.0: val cons : 'a -> 'a t -> 'a t
val unfold : ('b -> ('a * 'b) option) -> 'b -> 'a t
  • since 4.11.0: val unfold : ('b -> ('a * 'b) option) -> 'b -> 'a t
val append : 'a t -> 'a t -> 'a t
  • since 4.11.0: val append : 'a t -> 'a t -> 'a t
val iter : ('a -> unit) -> 'a t -> unit
  • since 4.07.0: val iter : ('a -> unit) -> 'a t -> unit
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
  • since 4.07.0: val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
val empty : 'a t
  • since 4.07.0: val empty : 'a t
val return : 'a -> 'a t
  • since 4.07.0: val return : 'a -> 'a t
val map : ('a -> 'b) -> 'a t -> 'b t
  • since 4.07.0: val map : ('a -> 'b) -> 'a t -> 'b t
val filter : ('a -> bool) -> 'a t -> 'a t
  • since 4.07.0: val filter : ('a -> bool) -> 'a t -> 'a t
val filter_map : ('a -> 'b option) -> 'a t -> 'b t
  • since 4.07.0: val filter_map : ('a -> 'b option) -> 'a t -> 'b t
val flat_map : ('a -> 'b t) -> 'a t -> 'b t
  • since 4.07.0: val flat_map : ('a -> 'b t) -> 'a t -> 'b t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct