package interface-prime

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Monad_result.Make`Source

module M : Monad.S

module E : ErrorType

include Monad.S with type +'a t = ('a, E.t) result M.t

include Monad.S_base with type +'a t = ('a, E.t) result M.t

Sourcetype +'a t = ('a, E.t) result M.t

Sourceval return : 'a -> 'a t

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

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

Sourceval (=<<) : ('a -> 'b t) -> 'a t -> 'b t

Sourceval (>>) : 'a t -> 'b t Lazy.t -> 'b t

Sourceval fmap : ('a -> 'b) -> 'a t -> 'b t

Sourceval (>|=) : 'a t -> ('a -> 'b) -> 'b t

Sourceval seq : 'a t list -> 'a list t

Sourcetype +'a u = 'a M.t

Sourcemodule E = E

Sourceval fail : E.t -> 'a t

Sourceval lift : 'a u -> 'a t

Sourceval lift_opt : 'a option -> 'a t -> 'a t