Control.Eff.Concurrent.Api.GenServer

A better, more safe implementation of the Erlang/OTP gen_server behaviour. **PLANNED TODO** @since 0.24.0

Documentation

class (Typeable (GenServerState a), NFData (GenServerState a)) => GenServer a eff where

A type class for Api values that have an implementation which handles the Api.

Associated Types

type GenServerState a :: Type

Methods

genServerInit :: ('[Interrupts, Logs] <:: eff, SetMember Process (Process q) eff) => a -> Eff eff (GenServerState a)

genServerHandle :: ('[Interrupts, Logs] <:: eff, SetMember Process (Process q) eff) => Api a v -> Eff (State (GenServerState a) ': eff) (ApiReply v)

genServerInterrupt :: ('[Interrupts, Logs] <:: eff, SetMember Process (Process q) eff) => Interrupt Recoverable -> Eff (State (GenServerState a) ': eff) ()

genServerInfoCommand :: Api a (Synchronous Text)

type family ApiReply (s :: Synchronicity) where ...

Equations

ApiReply (Synchronous t) = Maybe t

ApiReply Asynchronous = ()

data SomeMessage a

Constructors

MkSomeMessage

Instances

data Api (SomeMessage a) s

Defined in Control.Eff.Concurrent.Api.GenServer

data Api (SomeMessage a) s where

• SomeMessage :: forall k (a :: k) (s :: Synchronicity) a. a -> Api (SomeMessage a) Asynchronous

runGenServer :: forall q e h a. (GenServer a e, SetMember Process (Process q) e, Member Interrupts e, LogsTo h e) => a -> Eff e (Server a)