Erl.Process

newtype Process (a :: Type)

Instances

• Eq (Process a)
• Show (Process pid)
• HasProcess b (Process b)
• HasPid (Process b)

newtype ProcessM (a :: Type) b

Instances

• Functor (ProcessM a)
• Apply (ProcessM a)
• Applicative (ProcessM a)
• Bind (ProcessM a)
• Monad (ProcessM a)
• MonadEffect (ProcessM a)
• HasSelf (ProcessM a) a
• HasReceive (ProcessM msg) msg msg

newtype ProcessTrapM (a :: Type) b

Instances

• Functor (ProcessTrapM a)
• Apply (ProcessTrapM a)
• Applicative (ProcessTrapM a)
• Bind (ProcessTrapM a)
• Monad (ProcessTrapM a)
• MonadEffect (ProcessTrapM a)
• HasReceive (ProcessTrapM msg) msg (Either ExitReason msg)

toPid :: forall a. Process a -> Pid

send :: forall a. Process a -> a -> Effect Unit

Operator alias for Erl.Process.send (right-associative / precedence 6)

spawn :: forall a. ProcessM a Unit -> Effect (Process a)

spawnLink :: forall a. ProcessM a Unit -> Effect (Process a)

sendExitSignal :: forall a. Foreign -> Process a -> Effect Unit

class HasProcess b a  where

Members

• getProcess :: a -> Process b

Instances

• HasProcess b (Process b)

class HasSelf :: (Type -> Type) -> Type -> Constraintclass HasSelf (x :: Type -> Type) a | x -> a where

Members

• self :: x (Process a)

Instances

• HasSelf (ProcessM a) a

class HasReceive :: (Type -> Type) -> Type -> Type -> Constraintclass HasReceive a msg r | a -> msg r where

Members

• receive :: a r
• receiveWithTimeout :: Milliseconds -> msg -> a r

Instances

• HasReceive (ProcessM msg) msg msg
• HasReceive (ProcessTrapM msg) msg (Either ExitReason msg)

trapExit :: forall a b. ProcessTrapM a b -> ProcessM a b

receiveWithTrap :: forall a. ProcessTrapM a (Either ExitReason a)

receiveWithTrapAndTimeout :: forall a. Milliseconds -> a -> ProcessTrapM a (Either ExitReason a)

unsafeRunProcessM :: forall a b. ProcessM a b -> Effect b

data ExitReason

Constructors

• ExitReason Pid ExitMsg

data ExitMsg

Constructors

• Normal
• Killed
• Other Foreign