Network.Remote.RPC.Internal.Runtime

Documentation

data WIO w m a

Instances

(Sendable m a' a, Sendable m b b') => Sendable m (a -> b) (a' -> WIO w m b')

MonadTrans (WIO w)

Monad m => Monad (WIO w m)

Functor m => Functor (WIO w m)

MonadIO m => MonadIO (WIO w m)

Forkable m => Forkable (WIO w m)

Servable m => Servable (WIO w m)

(Host w, Servable m, Sendable m a a') => Service (WIO w m a) m w

(Sendable m' a a', Host w, Host w', Servable m, Servable m') => RPC (WIO w m a) (WIO w' m' a') m' w'

world :: forall w m. (Servable m, Host w) => WIO w m w

realRemoteCall :: forall a a' w m. RPC a a' m w => a -> String -> a'

makeService :: Service a m w => a -> String -> WIO w m ()

class Host a where

Methods

getLocation :: a -> String

getPort :: a -> Integer

getValue :: a

class Servable m => Sendable m a a' | a' -> a, a m -> a', a a' -> m

Instances

(Read a, Show a', ~ * a a', Servable m) => Sendable m a a'

(Sendable m a' a, Sendable m b b') => Sendable m (a -> b) (a' -> WIO w m b')

data Ref a a'

Instances

Read (Ref a a')

Show (Ref a a')

liftIO :: MonadIO m => forall a. IO a -> m a

Lift a computation from the IO monad.

runServer :: forall w m. (Servable m, Host w) => WIO w m () -> m ()

runServer runs a name server and doesn't return

runServerBG :: Host w => WIO w IO () -> IO ThreadId

runServerBG runs a name server on a background thread and does return