Foreign.Erlang.LocalNode

Documentation

data LocalNode

data NodeT m a

Instances

MonadBaseControl b m => MonadBaseControl b (NodeT m)

Associated Types

type StM (NodeT m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (NodeT m) b -> b a) -> NodeT m a

restoreM :: StM (NodeT m) a -> NodeT m a

MonadBase b m => MonadBase b (NodeT m)

Methods

liftBase :: b α -> NodeT m α

Monad m => Monad (NodeT m)

Methods

(>>=) :: NodeT m a -> (a -> NodeT m b) -> NodeT m b

(>>) :: NodeT m a -> NodeT m b -> NodeT m b

return :: a -> NodeT m a

fail :: String -> NodeT m a

Functor m => Functor (NodeT m)

Methods

fmap :: (a -> b) -> NodeT m a -> NodeT m b

(<$) :: a -> NodeT m b -> NodeT m a

Applicative m => Applicative (NodeT m)

Methods

pure :: a -> NodeT m a

(<*>) :: NodeT m (a -> b) -> NodeT m a -> NodeT m b

(*>) :: NodeT m a -> NodeT m b -> NodeT m b

(<*) :: NodeT m a -> NodeT m b -> NodeT m a

MonadIO m => MonadIO (NodeT m)

Methods

liftIO :: IO a -> NodeT m a

MonadThrow m => MonadThrow (NodeT m)

Methods

throwM :: Exception e => e -> NodeT m a

MonadCatch m => MonadCatch (NodeT m)

Methods

catch :: Exception e => NodeT m a -> (e -> NodeT m a) -> NodeT m a

MonadMask m => MonadMask (NodeT m)

Methods

mask :: ((forall a. NodeT m a -> NodeT m a) -> NodeT m b) -> NodeT m b

uninterruptibleMask :: ((forall a. NodeT m a -> NodeT m a) -> NodeT m b) -> NodeT m b

MonadLogger m => MonadLogger (NodeT m)

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> NodeT m ()

MonadLoggerIO m => MonadLoggerIO (NodeT m)

Methods

askLoggerIO :: NodeT m (Loc -> LogSource -> LogLevel -> LogStr -> IO ())

(MonadBase IO (NodeT m), MonadResource m) => MonadResource (NodeT m)

Methods

liftResourceT :: ResourceT IO a -> NodeT m a

type StM (NodeT m) a

type StM (NodeT m) a = StM m a

data LocalNodeConfig

Constructors

LocalNodeConfig String String String

Instances

Show LocalNodeConfig

Methods

showsPrec :: Int -> LocalNodeConfig -> ShowS

show :: LocalNodeConfig -> String

showList :: [LocalNodeConfig] -> ShowS

askCreation :: Monad m => NodeT m Word8

askNodeName :: Monad m => NodeT m ByteString

askNodeState :: Monad m => NodeT m (NodeState Pid Term Mailbox Connection)

askNodeRegistration :: Monad m => NodeT m NodeRegistration

askLocalNode :: Monad m => NodeT m LocalNode

runNodeT :: forall m a. (MonadResource m, MonadThrow m, MonadMask m, MonadLogger m, MonadLoggerIO m, MonadBaseControl IO m) => LocalNodeConfig -> NodeT m a -> m a

make_pid :: MonadIO m => NodeT m Pid

make_ref :: MonadIO m => NodeT m Term

make_port :: MonadIO m => NodeT m Term

make_mailbox :: MonadResource m => NodeT m Mailbox

register_pid :: MonadIO m => Term -> Pid -> NodeT m Bool

send :: (MonadMask m, MonadBaseControl IO m, MonadResource m, MonadLoggerIO m) => Pid -> Term -> NodeT m ()

sendReg :: (MonadMask m, MonadBaseControl IO m, MonadResource m, MonadLoggerIO m) => Mailbox -> Term -> Term -> Term -> NodeT m ()