Network.MessagePack.Rpc

Documentation

data Returns r

Instances

Eq (Doc (Returns r))

Methods

(==) :: Doc (Returns r) -> Doc (Returns r) -> Bool

(/=) :: Doc (Returns r) -> Doc (Returns r) -> Bool

Read (Doc (Returns r))

Methods

readsPrec :: Int -> ReadS (Doc (Returns r))

readList :: ReadS [Doc (Returns r)]

readPrec :: ReadPrec (Doc (Returns r))

readListPrec :: ReadPrec [Doc (Returns r)]

Show (Doc (Returns r))

Methods

showsPrec :: Int -> Doc (Returns r) -> ShowS

show :: Doc (Returns r) -> String

showList :: [Doc (Returns r)] -> ShowS

data Doc (Returns r)

data Doc (Returns r) = Ret String

method :: RpcService rpc => rpc -> Method (ServerMonad rpc)

rpc :: RpcService rpc => rpc -> ClientType (ClientMonad rpc) (F rpc)

docs :: RpcService rpc => rpc -> (String, Doc (F rpc))

stubs :: (RpcType (ClientType mc f), MethodType ms (ServerType ms f), IsReturnType ms f, IsDocType f, MonadThrow ms) => String -> Doc f -> HaskellType f -> RpcT mc ms f

type Rpc f = RpcT IO IO f

data RpcT mc ms f

stubsIO :: (RpcType (ClientType mc f), MethodType ms (ServerTypeIO ms f), IsReturnTypeIO ms f, IsDocType f, MonadThrow ms) => String -> Doc f -> HaskellTypeIO f -> RpcIOT mc ms f

type RpcIO f = RpcIOT IO IO f

data RpcIOT mc ms f