Up – Package index » rpclib » Library rpclib.core » Idl » Make » ErrM

Module `Make.ErrM`Source

!ErrM defines monad to use for the implementation and combination of RPC functions

Sourceval return : 'a -> ('a, 'b) T.resultb

Sourceval return_err : 'b -> ('a, 'b) T.resultb

val checked_bind : 
  ('a, 'b) T.resultb ->
  ('a -> ('c, 'd) T.resultb) ->
  ('b -> ('c, 'd) T.resultb) ->
  ('c, 'd) T.resultb

val bind : 
  ('a, 'b) T.resultb ->
  ('a -> ('c, 'b) T.resultb) ->
  ('c, 'b) T.resultb

val (>>=) : 
  ('a, 'b) T.resultb ->
  ('a -> ('c, 'b) T.resultb) ->
  ('c, 'b) T.resultb