Reflex.EventWriter.Base

This module provides EventWriterT, the standard implementation of EventWriter.

Documentation

newtype EventWriterT t w m a

A basic implementation of EventWriter.

Constructors

EventWriterT

Fields

• unEventWriterT :: StateT (EventWriterState t w) m a

Instances

(Reflex t, Monad m, Semigroup w) => EventWriter t w (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

tellEvent :: Event t w -> EventWriterT t w m ()

DynamicWriter t w m => DynamicWriter t w (EventWriterT t v m)

Defined in Reflex.EventWriter.Base

Methods

tellDyn :: Dynamic t w -> EventWriterT t v m ()

(MonadQuery t q m, Monad m) => MonadQuery t q (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

tellQueryIncremental :: Incremental t (AdditivePatch q) -> EventWriterT t w m ()

askQueryResult :: EventWriterT t w m (Dynamic t (QueryResult q))

queryIncremental :: Incremental t (AdditivePatch q) -> EventWriterT t w m (Dynamic t (QueryResult q))

MonadReader r m => MonadReader r (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

ask :: EventWriterT t w m r

local :: (r -> r) -> EventWriterT t w m a -> EventWriterT t w m a

reader :: (r -> a) -> EventWriterT t w m a

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> EventWriterT t w m (Event t a)

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> EventWriterT t w m (EventSelector t k)

(Reflex t, Adjustable t m, MonadHold t m, Semigroup w) => Adjustable t (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

runWithReplace :: EventWriterT t w m a -> Event t (EventWriterT t w m b) -> EventWriterT t w m (a, Event t b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> EventWriterT t w m v') -> IntMap v -> Event t (PatchIntMap v) -> EventWriterT t w m (IntMap v', Event t (PatchIntMap v'))

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> EventWriterT t w m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> EventWriterT t w m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> EventWriterT t w m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> EventWriterT t w m (DMap k v', Event t (PatchDMapWithMove k v'))

PostBuild t m => PostBuild t (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

getPostBuild :: EventWriterT t w m (Event t ())

Requester t m => Requester t (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Associated Types

type Request (EventWriterT t w m) :: * -> *

type Response (EventWriterT t w m) :: * -> *

Methods

requesting :: Event t (Request (EventWriterT t w m) a) -> EventWriterT t w m (Event t (Response (EventWriterT t w m) a))

requesting_ :: Event t (Request (EventWriterT t w m) a) -> EventWriterT t w m ()

TriggerEvent t m => TriggerEvent t (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

newTriggerEvent :: EventWriterT t w m (Event t a, a -> IO ())

newTriggerEventWithOnComplete :: EventWriterT t w m (Event t a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> EventWriterT t w m (Event t a)

PerformEvent t m => PerformEvent t (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Associated Types

type Performable (EventWriterT t w m) :: * -> *

Methods

performEvent :: Event t (Performable (EventWriterT t w m) a) -> EventWriterT t w m (Event t a)

performEvent_ :: Event t (Performable (EventWriterT t w m) ()) -> EventWriterT t w m ()

NotReady t m => NotReady t (EventWriterT t w m)

Defined in Reflex.NotReady.Class

Methods

notReadyUntil :: Event t a -> EventWriterT t w m ()

notReady :: EventWriterT t w m ()

MonadHold t m => MonadHold (t :: *) (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

hold :: a -> Event t a -> EventWriterT t w m (Behavior t a)

holdDyn :: a -> Event t a -> EventWriterT t w m (Dynamic t a)

holdIncremental :: Patch p => PatchTarget p -> Event t p -> EventWriterT t w m (Incremental t p)

buildDynamic :: PushM t a -> Event t a -> EventWriterT t w m (Dynamic t a)

headE :: Event t a -> EventWriterT t w m (Event t a)

MonadSample t m => MonadSample (t :: *) (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

sample :: Behavior t a -> EventWriterT t w m a

MonadTrans (EventWriterT t w)

Defined in Reflex.EventWriter.Base

Methods

lift :: Monad m => m a -> EventWriterT t w m a

Monad m => Monad (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

(>>=) :: EventWriterT t w m a -> (a -> EventWriterT t w m b) -> EventWriterT t w m b

(>>) :: EventWriterT t w m a -> EventWriterT t w m b -> EventWriterT t w m b

return :: a -> EventWriterT t w m a

fail :: String -> EventWriterT t w m a

Functor m => Functor (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

fmap :: (a -> b) -> EventWriterT t w m a -> EventWriterT t w m b

(<$) :: a -> EventWriterT t w m b -> EventWriterT t w m a

MonadFix m => MonadFix (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

mfix :: (a -> EventWriterT t w m a) -> EventWriterT t w m a

Monad m => Applicative (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

pure :: a -> EventWriterT t w m a

(<*>) :: EventWriterT t w m (a -> b) -> EventWriterT t w m a -> EventWriterT t w m b

liftA2 :: (a -> b -> c) -> EventWriterT t w m a -> EventWriterT t w m b -> EventWriterT t w m c

(*>) :: EventWriterT t w m a -> EventWriterT t w m b -> EventWriterT t w m b

(<*) :: EventWriterT t w m a -> EventWriterT t w m b -> EventWriterT t w m a

MonadIO m => MonadIO (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

liftIO :: IO a -> EventWriterT t w m a

MonadException m => MonadException (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

throw :: Exception e => e -> EventWriterT t w m a

catch :: Exception e => EventWriterT t w m a -> (e -> EventWriterT t w m a) -> EventWriterT t w m a

finally :: EventWriterT t w m a -> EventWriterT t w m b -> EventWriterT t w m a

MonadAsyncException m => MonadAsyncException (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

mask :: ((forall a. EventWriterT t w m a -> EventWriterT t w m a) -> EventWriterT t w m b) -> EventWriterT t w m b

PrimMonad m => PrimMonad (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Associated Types

type PrimState (EventWriterT t w m) :: *

Methods

primitive :: (State# (PrimState (EventWriterT t w m)) -> (#State# (PrimState (EventWriterT t w m)), a#)) -> EventWriterT t w m a

MonadRef m => MonadRef (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Associated Types

type Ref (EventWriterT t w m) :: * -> *

Methods

newRef :: a -> EventWriterT t w m (Ref (EventWriterT t w m) a)

readRef :: Ref (EventWriterT t w m) a -> EventWriterT t w m a

writeRef :: Ref (EventWriterT t w m) a -> a -> EventWriterT t w m ()

modifyRef :: Ref (EventWriterT t w m) a -> (a -> a) -> EventWriterT t w m ()

modifyRef' :: Ref (EventWriterT t w m) a -> (a -> a) -> EventWriterT t w m ()

MonadAtomicRef m => MonadAtomicRef (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

atomicModifyRef :: Ref (EventWriterT t w m) a -> (a -> (a, b)) -> EventWriterT t w m b

atomicModifyRef' :: Ref (EventWriterT t w m) a -> (a -> (a, b)) -> EventWriterT t w m b

type PrimState (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

type PrimState (EventWriterT t w m) = PrimState m

type Ref (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

type Ref (EventWriterT t w m) = Ref m

type Request (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

type Request (EventWriterT t w m) = Request m

type Response (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

type Response (EventWriterT t w m) = Response m

type Performable (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

type Performable (EventWriterT t w m) = Performable m

runEventWriterT :: forall t m w a. (Reflex t, Monad m, Semigroup w) => EventWriterT t w m a -> m (a, Event t w)

Run a EventWriterT action.

runWithReplaceEventWriterTWith :: forall m t w a b. (Reflex t, MonadHold t m, Semigroup w) => (forall a' b'. m a' -> Event t (m b') -> EventWriterT t w m (a', Event t b')) -> EventWriterT t w m a -> Event t (EventWriterT t w m b) -> EventWriterT t w m (a, Event t b)

Given a function like runWithReplace for the underlying monad, implement runWithReplace for EventWriterT. This is necessary when the underlying monad doesn't have a Adjustable instance or to override the default Adjustable behavior.

sequenceDMapWithAdjustEventWriterTWith :: forall t m p p' w k v v'. (Reflex t, MonadHold t m, Semigroup w, Patch (p' (Some k) (Event t w)), PatchTarget (p' (Some k) (Event t w)) ~ Map (Some k) (Event t w), GCompare k, Patch (p' (Some k) w), PatchTarget (p' (Some k) w) ~ Map (Some k) w) => ((forall a. k a -> v a -> m (Compose ((,) (Event t w)) v' a)) -> DMap k v -> Event t (p k v) -> EventWriterT t w m (DMap k (Compose ((,) (Event t w)) v'), Event t (p k (Compose ((,) (Event t w)) v')))) -> ((forall a. Compose ((,) (Event t w)) v' a -> v' a) -> p k (Compose ((,) (Event t w)) v') -> p k v') -> ((forall a. Compose ((,) (Event t w)) v' a -> Event t w) -> p k (Compose ((,) (Event t w)) v') -> p' (Some k) (Event t w)) -> (Incremental t (p' (Some k) (Event t w)) -> Event t (PatchTarget (p' (Some k) w))) -> (Event t (p' (Some k) (Event t w)) -> Event t (p' (Some k) w)) -> (forall a. k a -> v a -> EventWriterT t w m (v' a)) -> DMap k v -> Event t (p k v) -> EventWriterT t w m (DMap k v', Event t (p k v'))

Like runWithReplaceEventWriterTWith, but for sequenceDMapWithAdjust.

mapEventWriterT :: (forall x. m x -> n x) -> EventWriterT t w m a -> EventWriterT t w n a

Change the monad underlying an EventWriterT

withEventWriterT :: (Semigroup w, Semigroup w', Reflex t, MonadHold t m) => (w -> w') -> EventWriterT t w m a -> EventWriterT t w' m a

Map a function over the output of a EventWriterT.