package ocaml-basics

  1. Overview
  2. Docs

Parameters

Signature

module Backend = Backend
type ('ok, 'err) t = ('ok, 'err) OBResult.t Backend.t
module Monad : OBMonad.S2 with type ('ok, 'err) t := ('ok, 'err) t
module Applicative : OBApplicative.S2 with type ('ok, 'err) t := ('ok, 'err) t
include module type of Monad.Core
include OBMonad.Kernel2 with type ('a, 'b) t := ('a, 'b) t
val bind : ('a, 'b) t -> ('a -> ('c, 'b) t) -> ('c, 'b) t
val return : 'a -> ('a, _) t
include module type of Applicative.Core
val apply : ('a -> 'b, 'c) t -> ('a, 'c) t -> ('b, 'c) t
val map : ('a -> 'b) -> ('a, 'c) t -> ('b, 'c) t
val pure : 'a -> ('a, _) t
include OBTraversable.S2 with type ('a, 'b) t := ('a, 'b) t
val traverse : ('a -> ('b, 'c) t) -> 'a list -> ('b list, 'c) t
val sequence : ('a, 'b) t list -> ('a list, 'b) t
module Infix : sig ... end
val choose : ('ok, 'err list) t list -> 'err -> ('ok, 'err list) t
val choose' : ('ok, string list) t list -> ('ok, string list) t
val error : 'err -> (_, 'err) t
OCaml

Innovation. Community. Security.