Drama.Server.Internal

Documentation

type Server msg a = Process (Envelope msg) a

Since: 0.3.0.0

data Envelope (msg :: Type -> Type) where

Wrapper around higher-kinded message types, to make them compatible with the lower-level Process machinery.

Higher-kinded message types are defined as GADTs with a type parameter. This allows specifying the response type for messages.

Since: 0.3.0.0

Constructors

Cast :: msg () -> Envelope msg

Call :: HasMsg res => Address res -> msg res -> Envelope msg

cast

Arguments

:: Address (Envelope msg)

Process' address

-> msg ()

Message to send

-> Process _msg ()

Send a message to another process, expecting no response. Returns immediately without blocking.

Since: 0.3.0.0

call

Arguments

:: HasMsg res

=> Address (Envelope msg)

Process' address

-> msg res

Message to send

-> Process _msg res

Response

Send a message to another process, and wait for a response.

Since: 0.3.0.0

handle

Arguments

:: (forall res. msg res -> Process _msg res)

Callback function that responds to messages

-> Envelope msg

Message to handle

-> Process _msg ()

Handle messages which may require a response. This is the only way to consume an Envelope.

Since: 0.3.0.0