msgpack-rpc-conduit-0.0.8: A MessagePack-RPC Implementation
Safe HaskellSafe-Inferred
LanguageHaskell2010

Network.MessagePack.Interface

Documentation

data Interface f Source #

Constructors

Interface 

Fields

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

Constructors

InterfaceM 

Fields

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 #

(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 #

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 #

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 #

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 #

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

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 #

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 #

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

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