package ocaml-basics

You can search for identifiers within the package.

in-package search v0.2.0

Implements common functionnal patterns / abstractions

Install

sha256=a80e314ab18fab17bf787aefca31a55f86b744b08fac3c0eb65e487a4a75b7e1

md5=bc845f5c6de26325bf3fa3f34d161686

Sourcemodule Backend : OBMonad.S1

Sourcetype ('ok, 'err) t = ('ok, 'err) OBResult.t Backend.t

Sourcemodule Monad : OBMonad.S2 with type ('ok, 'err) t := ('ok, 'err) t

Sourcemodule 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

Sourceval bind : ('a, 'b) t -> ('a -> ('c, 'b) t) -> ('c, 'b) t

Sourceval return : 'a -> ('a, _) t

include module type of Applicative.Core

Sourceval apply : ('a -> 'b, 'c) t -> ('a, 'c) t -> ('b, 'c) t

Sourceval map : ('a -> 'b) -> ('a, 'c) t -> ('b, 'c) t

Sourceval pure : 'a -> ('a, _) t

include OBTraversable.S2 with type ('a, 'b) t := ('a, 'b) t

Sourceval traverse : ('a -> ('b, 'c) t) -> 'a list -> ('b list, 'c) t

Sourceval sequence : ('a, 'b) t list -> ('a list, 'b) t

Sourcemodule Infix : sig ... end

Sourceval choose : ('ok, 'err list) t list -> 'err -> ('ok, 'err list) t

Sourceval choose' : ('ok, string list) t list -> ('ok, string list) t

Sourceval error : 'err -> (_, 'err) t