Control.Eff.Concurrent.Api.Server

Type safe server API processes

Documentation

data ApiHandler p r e where

Constructors

ApiHandler :: {..} -> ApiHandler p r e

Fields

• _handleCast :: (Typeable p, Typeable (Api p Asynchronous), HasCallStack) => Api p Asynchronous -> Eff r e
• _handleCall :: forall x. (Typeable p, Typeable (Api p (Synchronous x)), Typeable x, HasCallStack) => Api p (Synchronous x) -> (x -> Eff r Bool) -> Eff r e
• _handleTerminate :: (Typeable p, HasCallStack) => String -> Eff r ()

serve :: forall r p e. (Typeable p, Member MessagePassing r, Member Process r, HasCallStack) => ApiHandler p r e -> Eff r (Message e)

serve_ :: forall r p. (Typeable p, Member MessagePassing r, Member Process r, HasCallStack) => ApiHandler p r () -> Eff r ()

unhandledCallError :: (Show (Api p (Synchronous x)), Typeable p, Typeable (Api p (Synchronous x)), Typeable x, HasCallStack, Member Process r) => Api p (Synchronous x) -> (x -> Eff r Bool) -> Eff r e

unhandledCastError :: (Show (Api p Asynchronous), Typeable p, Typeable (Api p Asynchronous), HasCallStack, Member Process r) => Api p Asynchronous -> Eff r e