network-msgpack-rpc-0.0.3: A MessagePack-RPC Implementation

Safe Haskell	Safe
Language	Haskell2010

Network.MessagePack.Server

Contents

RPC method types
Build a method
Start RPC server

Synopsis

RPC method types

data Method m #

class Monad m => MethodType m f where #

Minimal complete definition

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 #

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

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

Arguments

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

Build a method

methodName :: Method m -> String #

methodDocs :: Method m -> MethodDocs #

Start RPC server

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.

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.