Safe Haskell | None |
---|---|
Language | Haskell2010 |
Control.Eff.Concurrent.Api
Description
Type safe server API processes
- data family Api (api :: Type) (reply :: Synchronicity)
- data Synchronicity
- newtype Server api = Server {}
- fromServer :: forall api api. Iso (Server api) (Server api) ProcessId ProcessId
- proxyAsServer :: proxy api -> ProcessId -> Server api
- asServer :: forall api. ProcessId -> Server api
Documentation
data family Api (api :: Type) (reply :: Synchronicity) Source #
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) # | |
data Api (CallbackObserver k o) Source # | |
data Synchronicity Source #
Constructors
Synchronous Type | |
Asynchronous |
Constructors
Server | |
Fields |
proxyAsServer :: proxy api -> ProcessId -> Server api Source #