Safe Haskell	Safe
Language	Haskell2010

Network.MessagePack.Interface

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 Interface f Source #

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

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

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

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

methodIO :: (MethodType m (ServerTypeIO m f), IsDocType f, IsReturnTypeIO m f) => Interface f -> HaskellTypeIO f -> Method m Source #

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)