Safe Haskell	Safe
Language	Haskell2010

Network.MessagePack.Rpc

Documentation

data family Doc f Source #

Instances

Instances details

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

data Returns r Source #

Instances

Instances details

Monad m => IsReturnType m (Returns r) Source #
Instance details Defined in Network.MessagePack.Server.Basic Associated Types type HaskellType (Returns r) Source # type ServerType m (Returns r) Source # Methods implement :: InterfaceM m (Returns r) -> HaskellType (Returns r) -> ServerType m (Returns r) Source #
IsClientType m (Returns r) Source #
Instance details Defined in Network.MessagePack.Client.Internal Associated Types type ClientType m (Returns r) Source #
Eq (Doc (Returns r)) Source #
Instance details Defined in Network.MessagePack.Interface 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 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 Methods showsPrec :: Int -> Doc (Returns r) -> ShowS # show :: Doc (Returns r) -> String # showList :: [Doc (Returns r)] -> ShowS #
Typeable r => IsDocType (Returns r) Source #
Instance details Defined in Network.MessagePack.Interface Associated Types data Doc (Returns r) Source # Methods flatDoc :: Doc (Returns r) -> MethodDocs Source #
type ServerType m (Returns r) Source #
Instance details Defined in Network.MessagePack.Server.Basic type ServerType m (Returns r) = ServerT m r
type ClientType m (Returns r) Source #
Instance details Defined in Network.MessagePack.Client.Internal type ClientType m (Returns r) = ClientT m r
type HaskellType (Returns r) Source #
Instance details Defined in Network.MessagePack.Server.Basic type HaskellType (Returns r) = r
data Doc (Returns r) Source #
Instance details Defined in Network.MessagePack.Interface data Doc (Returns r) = Ret Text

data ReturnsM (m :: * -> *) r Source #

Instances

Instances details

MonadIO m => IsReturnType m (ReturnsM IO r) Source #
Instance details Defined in Network.MessagePack.Server.Basic Associated Types type HaskellType (ReturnsM IO r) Source # type ServerType m (ReturnsM IO r) Source # Methods implement :: InterfaceM m (ReturnsM IO r) -> HaskellType (ReturnsM IO r) -> ServerType m (ReturnsM IO r) Source #
IsClientType m (ReturnsM io r) Source #
Instance details Defined in Network.MessagePack.Client.Internal Associated Types type ClientType m (ReturnsM io r) Source #
Eq (Doc (ReturnsM m r)) Source #
Instance details Defined in Network.MessagePack.Interface Methods (==) :: Doc (ReturnsM m r) -> Doc (ReturnsM m r) -> Bool # (/=) :: Doc (ReturnsM m r) -> Doc (ReturnsM m r) -> Bool #
Read (Doc (ReturnsM m r)) Source #
Instance details Defined in Network.MessagePack.Interface Methods readsPrec :: Int -> ReadS (Doc (ReturnsM m r)) # readList :: ReadS [Doc (ReturnsM m r)] # readPrec :: ReadPrec (Doc (ReturnsM m r)) # readListPrec :: ReadPrec [Doc (ReturnsM m r)] #
Show (Doc (ReturnsM m r)) Source #
Instance details Defined in Network.MessagePack.Interface Methods showsPrec :: Int -> Doc (ReturnsM m r) -> ShowS # show :: Doc (ReturnsM m r) -> String # showList :: [Doc (ReturnsM m r)] -> ShowS #
Typeable r => IsDocType (ReturnsM m r) Source #
Instance details Defined in Network.MessagePack.Interface Associated Types data Doc (ReturnsM m r) Source # Methods flatDoc :: Doc (ReturnsM m r) -> MethodDocs Source #
type ServerType m (ReturnsM IO r) Source #
Instance details Defined in Network.MessagePack.Server.Basic type ServerType m (ReturnsM IO r) = ServerT m r
type ClientType m (ReturnsM io r) Source #
Instance details Defined in Network.MessagePack.Client.Internal type ClientType m (ReturnsM io r) = ClientT m r
type HaskellType (ReturnsM IO r) Source #
Instance details Defined in Network.MessagePack.Server.Basic type HaskellType (ReturnsM IO r) = IO r
data Doc (ReturnsM m r) Source #
Instance details Defined in Network.MessagePack.Interface data Doc (ReturnsM m r) = RetM Text

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 #