Network.MessagePack.Server

RPC method types

data Method m

MessagePack RPC method

class Monad m => MethodType m f where

Minimal complete definition

toBody

Methods

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

Create a RPC method from a Haskell function

Instances

(MonadThrow m, MessagePack o, MethodType m r) => MethodType m (o -> r)

Methods

toBody :: String -> (o -> r) -> [Object] -> m Object

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

Methods

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

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 :: String -> 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

(*>) :: 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

=> String

Method name

-> f

Method body

-> Method m

Build a method

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.