Safe Haskell	Safe-Inferred
Language	Haskell2010

Network.MessagePack.Server

Contents

RPC method types
Build a method
Start RPC server

Synopsis

data Method m
class Monad m => MethodType m f where
- toBody :: Text -> f -> [Object] -> m Object
data MethodDocs = MethodDocs {
- methodArgs :: [MethodVal]
- methodRetv :: MethodVal
}
data MethodVal = MethodVal {
- valName :: Text
- valType :: Text
}
newtype ServerT m a = ServerT {
- runServerT :: m a
}
type Server = ServerT IO
method :: MethodType m f => Text -> MethodDocs -> f -> Method m
methodName :: Method m -> Text
methodDocs :: Method m -> MethodDocs
serve :: (MonadBaseControl IO m, MonadIO m, MonadCatch m, MonadUnliftIO m) => Int -> [Method m] -> m ()
runServer :: (MonadBaseControl IO m, MonadIO m, MonadCatch m, MonadUnliftIO m) => Int -> [Method m] -> m ()

RPC method types

data Method m Source #

class Monad m => MethodType m f where Source #

Methods

toBody :: Text -> f -> [Object] -> m Object Source #

Create a RPC method from a Haskell function

Instances

Instances details

(Functor m, MonadThrow m, MessagePack o) => MethodType m (ServerT m o) Source #
Instance details Defined in Network.MessagePack.Server.Basic Methods toBody :: Text -> ServerT m o -> [Object] -> m Object Source #
(MonadThrow m, MessagePack o, MethodType m r) => MethodType m (o -> r) Source #
Instance details Defined in Network.MessagePack.Server.Basic Methods toBody :: Text -> (o -> r) -> [Object] -> m Object Source #

data MethodDocs Source #

MessagePack RPC method

Constructors

MethodDocs
Fields methodArgs :: [MethodVal] methodRetv :: MethodVal

Instances

Instances details

Eq MethodDocs Source #
Instance details Defined in Network.MessagePack.Types.Server Methods (==) :: MethodDocs -> MethodDocs -> Bool # (/=) :: MethodDocs -> MethodDocs -> Bool #
Read MethodDocs Source #
Instance details Defined in Network.MessagePack.Types.Server Methods readsPrec :: Int -> ReadS MethodDocs # readList :: ReadS [MethodDocs] # readPrec :: ReadPrec MethodDocs # readListPrec :: ReadPrec [MethodDocs] #
Show MethodDocs Source #
Instance details Defined in Network.MessagePack.Types.Server Methods showsPrec :: Int -> MethodDocs -> ShowS # show :: MethodDocs -> String # showList :: [MethodDocs] -> ShowS #

data MethodVal Source #

Constructors

MethodVal
Fields valName :: Text valType :: Text

Instances

Instances details

Eq MethodVal Source #
Instance details Defined in Network.MessagePack.Types.Server Methods (==) :: MethodVal -> MethodVal -> Bool # (/=) :: MethodVal -> MethodVal -> Bool #
Read MethodVal Source #
Instance details Defined in Network.MessagePack.Types.Server Methods readsPrec :: Int -> ReadS MethodVal # readList :: ReadS [MethodVal] # readPrec :: ReadPrec MethodVal # readListPrec :: ReadPrec [MethodVal] #
Show MethodVal Source #
Instance details Defined in Network.MessagePack.Types.Server Methods showsPrec :: Int -> MethodVal -> ShowS # show :: MethodVal -> String # showList :: [MethodVal] -> ShowS #

newtype ServerT m a Source #

Constructors

ServerT
Fields runServerT :: m a

Instances

Instances details

MonadTrans ServerT Source #
Instance details Defined in Network.MessagePack.Server.Basic Methods lift :: Monad m => m a -> ServerT m a #
(Functor m, MonadThrow m, MessagePack o) => MethodType m (ServerT m o) Source #
Instance details Defined in Network.MessagePack.Server.Basic Methods toBody :: Text -> ServerT m o -> [Object] -> m Object Source #
Monad m => Monad (ServerT m) Source #
Instance details Defined in Network.MessagePack.Server.Basic Methods (>>=) :: ServerT m a -> (a -> ServerT m b) -> ServerT m b # (>>) :: ServerT m a -> ServerT m b -> ServerT m b # return :: a -> ServerT m a #
Functor m => Functor (ServerT m) Source #
Instance details Defined in Network.MessagePack.Server.Basic Methods fmap :: (a -> b) -> ServerT m a -> ServerT m b # (<$) :: a -> ServerT m b -> ServerT m a #
MonadFail m => MonadFail (ServerT m) Source #
Instance details Defined in Network.MessagePack.Server.Basic Methods fail :: String -> ServerT m a #
Applicative m => Applicative (ServerT m) Source #
Instance details Defined in Network.MessagePack.Server.Basic Methods pure :: a -> ServerT m a # (<>) :: ServerT m (a -> b) -> ServerT m a -> ServerT m b # liftA2 :: (a -> b -> c) -> ServerT m a -> ServerT m b -> ServerT m c # (>) :: ServerT m a -> ServerT m b -> ServerT m b # (<*) :: ServerT m a -> ServerT m b -> ServerT m a #
MonadIO m => MonadIO (ServerT m) Source #
Instance details Defined in Network.MessagePack.Server.Basic Methods liftIO :: IO a -> ServerT m a #

type Server = ServerT IO Source #

Build a method

method Source #

Arguments

:: MethodType m f
=> Text	Method name
-> MethodDocs
-> f	Method body
-> Method m

Build a method

methodName :: Method m -> Text Source #

methodDocs :: Method m -> MethodDocs Source #

Start RPC server

serve Source #

Arguments

:: (MonadBaseControl IO m, MonadIO m, MonadCatch m, MonadUnliftIO m)
=> Int	Port number
-> [Method m]	list of methods
-> m ()

Start RPC server with a set of RPC methods.

runServer Source #

Arguments

:: (MonadBaseControl IO m, MonadIO m, MonadCatch m, MonadUnliftIO m)
=> Int	Port number
-> [Method m]	list of methods
-> m ()

Start RPC server with a set of RPC methods.