Module Make.TSource

The module !T, the RPC MONAD transformer, defines the minimal set of types and functions needed for the !GenClient and !GenServer modules to generate clients and servers. These allow to provide different syncronous and asynctronous engines for the client and server implementations.

Sourcetype 'a box
Sourcetype ('a, 'b) resultb = ('a, 'b) Result.t box
Sourceval lift : ('a -> 'b M.t) -> 'a -> 'b box
Sourceval bind : 'a box -> ('a -> 'b M.t) -> 'b box
Sourceval return : 'a -> 'a box
Sourceval get : 'a box -> 'a M.t
Sourceval (!@) : 'a box -> 'a M.t
Sourceval put : 'a M.t -> 'a box
Sourceval (~@) : 'a M.t -> 'a box