Network.Remote.RPC.Internal.MultiServer

Documentation

data ServiceID

Constructors

LocNumber Integer

LocName String

Instances

Eq ServiceID

Ord ServiceID

Read ServiceID

Show ServiceID

Monad m => MonadReader (State m) (AIO m)

type Handlers m = Map ServiceID (Handle -> AIO m ())

type State m = MVar (Handlers m, Integer)

newtype AIO m a

Constructors

AIO (ReaderT (State m) m a)

Instances

MonadTrans AIO

Monad m => Monad (AIO m)

Functor m => Functor (AIO m)

MonadIO m => MonadIO (AIO m)

Forkable m => Forkable (AIO m)

Servable m => Servable (AIO m)

Monad m => MonadReader (State m) (AIO m)

send :: (Show a, MonadIO m) => Handle -> a -> m ()

recv :: (Read a, MonadIO m) => Handle -> m a

startServer :: forall m a. (Forkable m, Monad m, MonadIO m) => Integer -> AIO m a -> m a

safeFind :: (Ord k, Show k) => Map k a -> k -> a

getHandlers :: Monad m => AIO m (State m)

addService :: (Monad m, MonadIO m) => (Handle -> AIO m ()) -> AIO m ServiceID

addServiceByName :: (Monad m, MonadIO m) => String -> (Handle -> AIO m ()) -> AIO m ServiceID

connectToService :: MonadIO m => String -> Integer -> ServiceID -> m Handle

class (Functor m, Monad m, MonadIO m, Forkable m) => Servable m

Instances

Servable IO

Servable m => Servable (AIO m)

Servable m => Servable (WIO w m)