network-msgpack-rpc-0.0.3: A MessagePack-RPC Implementation

Safe HaskellSafe
LanguageHaskell2010

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 #