Safe Haskell	Safe
Language	Haskell2010

Network.MessagePack.Rpc

Documentation

data Returns r Source #

Instances

Eq (Doc (Returns r)) Source #
Instance details Defined in Network.MessagePack.Interface.Internal Methods (==) :: Doc (Returns r) -> Doc (Returns r) -> Bool # (/=) :: Doc (Returns r) -> Doc (Returns r) -> Bool #
Read (Doc (Returns r)) Source #
Instance details Defined in Network.MessagePack.Interface.Internal 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)) Source #
Instance details Defined in Network.MessagePack.Interface.Internal Methods showsPrec :: Int -> Doc (Returns r) -> ShowS # show :: Doc (Returns r) -> String # showList :: [Doc (Returns r)] -> ShowS #
data Doc (Returns r) Source #
Instance details Defined in Network.MessagePack.Interface.Internal data Doc (Returns r) = Ret Text

data family Doc f Source #

Instances

Eq (Doc r) => Eq (Doc (o -> r)) Source #
Instance details Defined in Network.MessagePack.Interface.Internal Methods (==) :: Doc (o -> r) -> Doc (o -> r) -> Bool # (/=) :: Doc (o -> r) -> Doc (o -> r) -> Bool #
Eq (Doc (Returns r)) Source #
Instance details Defined in Network.MessagePack.Interface.Internal Methods (==) :: Doc (Returns r) -> Doc (Returns r) -> Bool # (/=) :: Doc (Returns r) -> Doc (Returns r) -> Bool #
Read (Doc r) => Read (Doc (o -> r)) Source #
Instance details Defined in Network.MessagePack.Interface.Internal Methods readsPrec :: Int -> ReadS (Doc (o -> r)) # readList :: ReadS [Doc (o -> r)] # readPrec :: ReadPrec (Doc (o -> r)) # readListPrec :: ReadPrec [Doc (o -> r)] #
Read (Doc (Returns r)) Source #
Instance details Defined in Network.MessagePack.Interface.Internal Methods readsPrec :: Int -> ReadS (Doc (Returns r)) # readList :: ReadS [Doc (Returns r)] # readPrec :: ReadPrec (Doc (Returns r)) # readListPrec :: ReadPrec [Doc (Returns r)] #
Show (Doc r) => Show (Doc (o -> r)) Source #
Instance details Defined in Network.MessagePack.Interface.Internal Methods showsPrec :: Int -> Doc (o -> r) -> ShowS # show :: Doc (o -> r) -> String # showList :: [Doc (o -> r)] -> ShowS #
Show (Doc (Returns r)) Source #
Instance details Defined in Network.MessagePack.Interface.Internal Methods showsPrec :: Int -> Doc (Returns r) -> ShowS # show :: Doc (Returns r) -> String # showList :: [Doc (Returns r)] -> ShowS #
data Doc (Returns r) Source #
Instance details Defined in Network.MessagePack.Interface.Internal data Doc (Returns r) = Ret Text
data Doc (o -> r) Source #
Instance details Defined in Network.MessagePack.Interface.Internal data Doc (o -> r) = Arg Text (Doc r)

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

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

docs :: RpcService rpc => rpc -> (Text, Doc (F rpc)) Source #

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

type Rpc f = RpcT IO IO f Source #

data RpcT mc ms f Source #

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

type RpcIO f = RpcIOT IO IO f Source #

data RpcIOT mc ms f Source #