Safe Haskell	Safe-Inferred
Language	Haskell2010

Network.MessagePack.Interface

Documentation

data Interface f Source #

Constructors

Interface
Fields name :: Text docs :: Doc f

newtype InterfaceM (m :: Type -> Type) f Source #

Constructors

InterfaceM
Fields nameM :: Text

class IsDocType f where Source #

Associated Types

data Doc f Source #

Methods

flatDoc :: Doc f -> MethodDocs Source #

Instances

Instances details

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 #
(Typeable o, IsDocType r) => IsDocType (o -> r) Source #
Instance details Defined in Network.MessagePack.Interface Associated Types data Doc (o -> r) Source # Methods flatDoc :: Doc (o -> r) -> MethodDocs Source #
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 #

class IsClientType (m :: Type -> Type) f Source #

Associated Types

type ClientType m f Source #

Instances

Instances details

IsClientType m (Returns r) Source #
Instance details Defined in Network.MessagePack.Client.Internal Associated Types type ClientType m (Returns r) Source #
IsClientType m r => IsClientType m (o -> r) Source #
Instance details Defined in Network.MessagePack.Interface Associated Types type ClientType m (o -> 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 #

class IsReturnType (m :: Type -> Type) f where Source #

Associated Types

type HaskellType f Source #

type ServerType m f Source #

Methods

implement :: InterfaceM m f -> HaskellType f -> ServerType m f 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 #
IsReturnType m r => IsReturnType m (o -> r) Source #
Instance details Defined in Network.MessagePack.Interface Associated Types type HaskellType (o -> r) Source # type ServerType m (o -> r) Source # Methods implement :: InterfaceM m (o -> r) -> HaskellType (o -> r) -> ServerType m (o -> r) Source #
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 #

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 :: Type -> Type) 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

call :: RpcType (ClientType m f) => InterfaceM m f -> ClientType m f Source #

concrete :: Interface f -> InterfaceM m f Source #

interface :: Text -> Doc f -> Interface f Source #

method :: (MonadThrow m, MethodType m (ServerType m f), IsDocType f, IsReturnType m f) => Interface f -> HaskellType f -> Method m Source #