module MonadDefault:functor (
M
:
sig
type
+'a
mval return :'a -> 'a m
val fail :string -> 'a m
val (>>=) :'a m ->
('a -> 'b m) -> 'b mend
) ->
Monad
with type +'a m = 'a M.m
Parameters: |
|
type +'a
m
val return : 'a -> 'a m
val fail : string -> 'a m
val (>>=) : 'a m ->
('a -> 'b m) -> 'b m
val (>>) : 'a m ->
'b m -> 'b m