Network.Remote.RPC.Internal.Runtime

Documentation

data WIO w a

Instances

Monad (WIO w)

Functor (WIO w)

MonadIO (WIO w)

(Host w, Sendable a) => Service (WIO w a) w

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

world :: forall w. Host w => WIO w w

realRemoteCall :: forall a w. (Host w, RPC a w) => a -> String -> Initialize a w

remoteCall :: RPC a w => a -> Initialize a w

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

class Host a where

Methods

getLocation :: a -> String

getPort :: a -> Integer

getValue :: a

class Sendable a

Instances

(Read a, Show a) => Sendable a

(Sendable a, Sendable b) => Sendable (a -> b)

data Ref a

Instances

Read (Ref a)

Show (Ref a)

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

Lift a computation from the IO monad.

runServer :: forall w. Host w => WIO w () -> IO ()

runServer runs a name server and doesn't return

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

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