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 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 = [
  1. | `Error of string
  2. | `Ok of 'a
]
val return : 'a -> 'a t
val fail : string -> 'a t
val of_exn : exn -> 'a t
val fail_printf : ('a, Buffer.t, unit, 'a t) Pervasives.format4 -> 'a
val map : ('a -> 'b) -> 'a t -> 'b t
val map2 : ('a -> 'b) -> (string -> string) -> 'a t -> 'b t
val iter : ('a -> unit) -> 'a t -> unit
val get_exn : 'a t -> 'a
val flat_map : ('a -> 'b t) -> 'a t -> 'b t
val (>|=) : 'a t -> ('a -> 'b) -> 'b t
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t
val equal : 'a equal -> 'a t equal
val compare : 'a ord -> 'a t ord
val fold : success:('a -> 'b) -> failure:(string -> 'b) -> 'a t -> 'b
val guard : (unit -> 'a) -> 'a t
val wrap1 : ('a -> 'b) -> 'a -> 'b t
val wrap2 : ('a -> 'b -> 'c) -> 'a -> 'b -> 'c t
val wrap3 : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c -> 'd t
val pure : 'a -> 'a t
val (<*>) : ('a -> 'b) t -> 'a t -> 'b t
val map_l : ('a -> 'b t) -> 'a list -> 'b list t
val fold_l : ('b -> 'a -> 'b t) -> 'b -> 'a list -> 'b t
val fold_seq : ('b -> 'a -> 'b t) -> 'b -> 'a sequence -> 'b t
val choose : 'a t list -> 'a t
val retry : int -> (unit -> 'a t) -> 'a t
module type MONAD = sig ... end
module Traverse (M : MONAD) : sig ... end
val to_opt : 'a t -> 'a option
val of_opt : 'a option -> 'a t
val to_seq : 'a t -> 'a sequence
val pp : 'a printer -> 'a t printer
val print : 'a formatter -> 'a t formatter
val register_printer : exn printer -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog 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