Network.MessagePack.Interface

Documentation

data Returns r

Instances

Eq (Doc (Returns r))

Methods

(==) :: Doc (Returns r) -> Doc (Returns r) -> Bool

(/=) :: Doc (Returns r) -> Doc (Returns r) -> Bool

Read (Doc (Returns r))

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

Methods

showsPrec :: Int -> Doc (Returns r) -> ShowS

show :: Doc (Returns r) -> String

showList :: [Doc (Returns r)] -> ShowS

data Doc (Returns r)

data Doc (Returns r) = Ret String

data Interface f

interface :: String -> Doc f -> Interface f

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

concrete :: Interface f -> InterfaceM m f

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

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