Network.MessagePack.Server

RPC method types

data Method m

class Monad m => MethodType m f where

Minimal complete definition

toBody

Methods

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

Create a RPC method from a Haskell function

Instances

(Functor m, MonadThrow m, MessagePack o) => MethodType m (ServerT m o)

Methods

toBody :: Text -> ServerT m o -> [Object] -> m Object

data MethodDocs

MessagePack RPC method

Constructors

MethodDocs

Fields

• methodArgs :: ![MethodVal]
• methodRetv :: !MethodVal

Instances

Show MethodDocs

Methods

showsPrec :: Int -> MethodDocs -> ShowS

show :: MethodDocs -> String

showList :: [MethodDocs] -> ShowS

data MethodVal

Constructors

MethodVal

Fields

• valName :: !Text
• valType :: !Text

Instances

Show MethodVal

Methods

showsPrec :: Int -> MethodVal -> ShowS

show :: MethodVal -> String

showList :: [MethodVal] -> ShowS

newtype ServerT m a

Constructors

ServerT

Fields

• runServerT :: m a

Instances

MonadTrans ServerT

Methods

lift :: Monad m => m a -> ServerT m a

(Functor m, MonadThrow m, MessagePack o) => MethodType m (ServerT m o)

Methods

toBody :: Text -> ServerT m o -> [Object] -> m Object

Monad m => Monad (ServerT m)

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

fail :: String -> ServerT m a

Functor m => Functor (ServerT m)

Methods

fmap :: (a -> b) -> ServerT m a -> ServerT m b

(<$) :: a -> ServerT m b -> ServerT m a

Applicative m => Applicative (ServerT m)

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)

Methods

liftIO :: IO a -> ServerT m a

type Server = ServerT IO

Build a method

method

Arguments

:: MethodType m f

=> Text

Method name

-> MethodDocs

-> f

Method body

-> Method m

Build a method

methodName :: Method m -> Text

methodDocs :: Method m -> MethodDocs

Start RPC server

serve

Arguments

:: (MonadBaseControl IO m, MonadIO m, MonadCatch m)

=> Int

Port number

-> [Method m]

list of methods

-> m ()

Start RPC server with a set of RPC methods.

runServer

Arguments

:: (MonadBaseControl IO m, MonadIO m, MonadCatch m)

=> Int

Port number

-> [Method m]

list of methods

-> m ()

Start RPC server with a set of RPC methods.