- setUpdateType :: Proxy t -> Update t ()
- proxyUpdate :: Update t b -> Proxy t -> Update t b
- setQueryType :: Proxy t -> Query t ()
- proxyQuery :: Query t b -> Proxy t -> Query t b
- asUpdate :: Update t a -> Proxy t -> Update t a
- asQuery :: Query t a -> Proxy t -> Query t a
- askState :: Query st st
- getState :: Update st st
- putState :: st -> Update st ()
- liftSTM :: STM a -> AnyEv a
- class CatchEv m where
- catchEv :: Ev m a -> (SomeException -> a) -> Ev m a
- sel :: (Env -> b) -> AnyEv b
- localState :: (outer -> inner) -> (inner -> outer -> outer) -> Ev (StateT inner STM) a -> Ev (StateT outer STM) a
- localStateReader :: (outer -> inner) -> Ev (ReaderT inner STM) a -> Ev (ReaderT outer STM) a
- runQuery :: Query st a -> Update st a
Documentation
setUpdateType :: Proxy t -> Update t ()Source
Use a proxy to force the type of an update action.
proxyUpdate :: Update t b -> Proxy t -> Update t bSource
Forces the type of the proxy and update to match
setQueryType :: Proxy t -> Query t ()Source
Use a proxy to force the type of a query action.
proxyQuery :: Query t b -> Proxy t -> Query t bSource
Forces the type of proxy and query to match
localState :: (outer -> inner) -> (inner -> outer -> outer) -> Ev (StateT inner STM) a -> Ev (StateT outer STM) aSource
Run a computation with local state. Changes to state will be visible to outside.