package bastet

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Result.MonadSource

Parameters

module T : Interface.TYPE

Signature

include Interface.APPLICATIVE with type 'a t = ('a, T.t) result
include Interface.APPLY with type 'a t = ('a, T.t) result
include Interface.FUNCTOR with type 'a t = ('a, T.t) result
Sourcetype 'a t = ('a, T.t) result
Sourceval map : ('a -> 'b) -> 'a t -> 'b t
Sourceval apply : ('a -> 'b) t -> 'a t -> 'b t
Sourceval pure : 'a -> 'a t
Sourceval flat_map : 'a t -> ('a -> 'b t) -> 'b t