alba

Alba compiler
IN THIS PACKAGE
Module Fmlib . Result
type ('a, 'e) t = ( 'a, 'e ) result
val (>>=) : ( 'a, 'e ) t -> ( 'a -> ( 'b, 'e ) t ) -> ( 'b, 'e ) t
val map : ( 'a -> 'b ) -> ( 'a, 'e ) t -> ( 'b, 'e ) t
val map_error : ( 'e1 -> 'e2 ) -> ( 'a, 'e1 ) t -> ( 'a, 'e2 ) t
val throw : 'e -> ( 'a, 'e ) t
val catch : ( 'a, 'e ) t -> ( 'e -> ( 'a, 'e ) t ) -> ( 'a, 'e ) t
module Make (Error : Module_types.ANY) : sig ... end

Result Monad, satisfying the complete monadic interface as described in Module_types.MONAD.