package fmlib

You can search for identifiers within the package.

in-package search v0.2.0

Functional monadic library

Install

sha256=d47f6539af49a4c3e947dbfbe416c1e78d534897cd6d9d8e3660aae0cf8d9494

md5=d649b8a62403362bd3a24cbf1a9af590

The result type encapsulated in a module which satisfies the monadic interface.

module E : Interfaces.ANY

type 'a t = ('a, E.t) result

val return : 'a -> 'a t

val fail : E.t -> 'a t

val to_option : 'a t -> 'a option

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

val (let*) : 'a t -> ('a -> 'b t) -> 'b t

On This Page