Control.Eff.Concurrent.Api.Client

Type safe server API processes

Documentation

cast :: forall r o. (HasCallStack, Member MessagePassing r, Typeable o, Typeable (Api o Asynchronous)) => Server o -> Api o Asynchronous -> Eff r ()

castChecked :: forall r o. (HasCallStack, Member MessagePassing r, Typeable o, Typeable (Api o Asynchronous)) => Server o -> Api o Asynchronous -> Eff r Bool

call :: forall result api r. (Member MessagePassing r, Member Process r, Typeable api, Typeable (Api api (Synchronous result)), Typeable result, HasCallStack) => Server api -> Api api (Synchronous result) -> Eff r (Message result)

castRegistered :: (Typeable o, ServesApi o r) => Api o Asynchronous -> Eff r ()

callRegistered :: (Typeable reply, ServesApi o r) => Api o (Synchronous reply) -> Eff r (Message reply)

callRegisteredA :: (Alternative f, Typeable f, Typeable reply, ServesApi o r) => Api o (Synchronous (f reply)) -> Eff r (f reply)

type ServesApi o r = (Typeable o, Member MessagePassing r, Member Process r, Member (Reader (Server o)) r)

registerServer :: Server o -> Eff (Reader (Server o) ': r) a -> Eff r a