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 o) r)

Methods

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

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

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

data Api (CallbackObserver o)

data Api (CallbackObserver o) where

• CbObserved :: Api (CallbackObserver o) Asynchronous

data Synchronicity

Constructors

Synchronous Type

Asynchronous

newtype Server api

Constructors

Server

Fields

• _fromServer :: ProcessId

Instances

Eq (Server api)

Methods

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

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

Ord (Server api)

Methods

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

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

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

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

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

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

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

Read (Server api)

Methods

readsPrec :: Int -> ReadS (Server api)

readList :: ReadS [Server api]

readPrec :: ReadPrec (Server api)

readListPrec :: ReadPrec [Server api]

Typeable * api => Show (Server api)

Methods

showsPrec :: Int -> Server api -> ShowS

show :: Server api -> String

showList :: [Server 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