package containers

  1. Overview
  2. Docs
package containers
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a sequence = ('a -> unit) -> unit
type !'a gen = unit -> 'a option
type !'a equal = 'a -> 'a -> bool
type !'a ord = 'a -> 'a -> int
type !'a printer = Buffer.t -> 'a -> unit
type !'a formatter = Format.formatter -> 'a -> unit
type !'a t = unit -> [ `Cons of 'a * 'a t | `Nil ]
val nil : 'a t
val empty : 'a t
val cons : 'a -> 'a t -> 'a t
val singleton : 'a -> 'a t
val repeat : ?n:int -> 'a -> 'a t
val cycle : 'a t -> 'a t
val is_empty : 'a t -> bool
val equal : 'a equal -> 'a t equal
val compare : 'a ord -> 'a t ord
val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
val iter : ('a -> unit) -> 'a t -> unit
val length : 'a t -> int
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 map : ('a -> 'b) -> 'a t -> 'b t
val fmap : ('a -> 'b option) -> 'a t -> 'b t
val filter : ('a -> bool) -> 'a t -> 'a t
val append : 'a t -> 'a t -> 'a t
val product_with : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val product : 'a t -> 'b t -> ('a * 'b) t
val group : 'a equal -> 'a t -> 'a t t
val uniq : 'a equal -> 'a t -> 'a t
val flat_map : ('a -> 'b t) -> 'a t -> 'b t
val filter_map : ('a -> 'b option) -> 'a t -> 'b t
val flatten : 'a t t -> 'a t
val range : int -> int -> int t
val (--) : int -> int -> int t
val fold2 : ('acc -> 'a -> 'b -> 'acc) -> 'acc -> 'a t -> 'b t -> 'acc
val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val iter2 : ('a -> 'b -> unit) -> 'a t -> 'b t -> unit
val for_all2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
val exists2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
val merge : 'a ord -> 'a t -> 'a t -> 'a t
val sort : ?cmp:'a ord -> 'a t -> 'a t
val sort_uniq : ?cmp:'a ord -> 'a t -> 'a t
val return : 'a -> 'a t
val pure : 'a -> 'a t
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t
val (>|=) : 'a t -> ('a -> 'b) -> 'b t
val (<*>) : ('a -> 'b) t -> 'a t -> 'b t
module type MONAD = sig ... end
module Traverse (M : MONAD) : sig ... end
val of_list : 'a list -> 'a t
val to_list : 'a t -> 'a list
val to_rev_list : 'a t -> 'a list
val to_seq : 'a t -> 'a sequence
val to_gen : 'a t -> 'a gen
val pp : ?sep:string -> 'a printer -> 'a t printer
val print : ?sep:string -> 'a formatter -> 'a t formatter
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