package rpclib

  1. Overview
  2. Docs

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

val return : 'a -> ('a, 'b) T.resultb
val 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