Control.Eff.Concurrent.Api

Type safe server API processes

Documentation

data family Api (api :: Type) (reply :: Synchronicity)

This data family defines an API implemented by a server. The first parameter is the API index and the second parameter (the * -> *)

Instances

Show (Observation o) => Show (Api (CallbackObserver Type o) r)

Methods

showsPrec :: Int -> Api (CallbackObserver Type o) r -> ShowS

show :: Api (CallbackObserver Type o) r -> String

showList :: [Api (CallbackObserver Type o) r] -> ShowS

data Api (CallbackObserver k o)

data Api (CallbackObserver k o) where

• CbObserved :: Api (CallbackObserver Type o) Asynchronous

data Synchronicity

Constructors

Synchronous Type

Asynchronous

newtype Server api

Constructors

Server

Fields

• _fromServer :: ProcessId

Instances

Eq (Server k api)

Methods

(==) :: Server k api -> Server k api -> Bool

(/=) :: Server k api -> Server k api -> Bool

Ord (Server k api)

Methods

compare :: Server k api -> Server k api -> Ordering

(<) :: Server k api -> Server k api -> Bool

(<=) :: Server k api -> Server k api -> Bool

(>) :: Server k api -> Server k api -> Bool

(>=) :: Server k api -> Server k api -> Bool

max :: Server k api -> Server k api -> Server k api

min :: Server k api -> Server k api -> Server k api

Read (Server k api)

Methods

readsPrec :: Int -> ReadS (Server k api)

readList :: ReadS [Server k api]

readPrec :: ReadPrec (Server k api)

readListPrec :: ReadPrec [Server k api]

Typeable k api => Show (Server k api)

Methods

showsPrec :: Int -> Server k api -> ShowS

show :: Server k api -> String

showList :: [Server k api] -> ShowS

fromServer :: forall api api. Iso (Server api) (Server api) ProcessId ProcessId

proxyAsServer :: proxy api -> ProcessId -> Server api

asServer :: forall api. ProcessId -> Server api