package rpclib

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

!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