Reflex.TriggerEvent.Base

This module defines TriggerEventT, the standard implementation of TriggerEvent.

Documentation

newtype TriggerEventT t m a

A basic implementation of TriggerEvent.

Constructors

TriggerEventT

Fields

• unTriggerEventT :: ReaderT (Chan [DSum (EventTriggerRef t) TriggerInvocation]) m a

Instances

Adjustable t m => Adjustable t (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

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

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

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

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

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

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

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

PostBuild t m => PostBuild t (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

getPostBuild :: TriggerEventT t m (Event t ())

(Monad m, MonadRef m, Ref m ~ Ref IO, MonadReflexCreateTrigger t m) => TriggerEvent t (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

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

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

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> TriggerEventT t m (Event t a)

PerformEvent t m => PerformEvent t (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Associated Types

type Performable (TriggerEventT t m) :: Type -> Type

Methods

performEvent :: Event t (Performable (TriggerEventT t m) a) -> TriggerEventT t m (Event t a)

performEvent_ :: Event t (Performable (TriggerEventT t m) ()) -> TriggerEventT t m ()

NotReady t m => NotReady t (TriggerEventT t m)

Defined in Reflex.NotReady.Class

Methods

notReadyUntil :: Event t a -> TriggerEventT t m ()

notReady :: TriggerEventT t m ()

MonadTrans (TriggerEventT t)

Defined in Reflex.TriggerEvent.Base

Methods

lift :: Monad m => m a -> TriggerEventT t m a

MonadHold t m => MonadHold (t :: Type) (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

hold :: a -> Event t a -> TriggerEventT t m (Behavior t a)

holdDyn :: a -> Event t a -> TriggerEventT t m (Dynamic t a)

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

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

headE :: Event t a -> TriggerEventT t m (Event t a)

now :: TriggerEventT t m (Event t ())

MonadSample t m => MonadSample (t :: Type) (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

sample :: Behavior t a -> TriggerEventT t m a

Monad m => Monad (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

(>>=) :: TriggerEventT t m a -> (a -> TriggerEventT t m b) -> TriggerEventT t m b

(>>) :: TriggerEventT t m a -> TriggerEventT t m b -> TriggerEventT t m b

return :: a -> TriggerEventT t m a

fail :: String -> TriggerEventT t m a

Functor m => Functor (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

fmap :: (a -> b) -> TriggerEventT t m a -> TriggerEventT t m b

(<$) :: a -> TriggerEventT t m b -> TriggerEventT t m a

MonadFix m => MonadFix (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

mfix :: (a -> TriggerEventT t m a) -> TriggerEventT t m a

Applicative m => Applicative (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

pure :: a -> TriggerEventT t m a

(<*>) :: TriggerEventT t m (a -> b) -> TriggerEventT t m a -> TriggerEventT t m b

liftA2 :: (a -> b -> c) -> TriggerEventT t m a -> TriggerEventT t m b -> TriggerEventT t m c

(*>) :: TriggerEventT t m a -> TriggerEventT t m b -> TriggerEventT t m b

(<*) :: TriggerEventT t m a -> TriggerEventT t m b -> TriggerEventT t m a

MonadIO m => MonadIO (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

liftIO :: IO a -> TriggerEventT t m a

MonadException m => MonadException (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

throw :: Exception e => e -> TriggerEventT t m a

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

finally :: TriggerEventT t m a -> TriggerEventT t m b -> TriggerEventT t m a

MonadAsyncException m => MonadAsyncException (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

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

PrimMonad m => PrimMonad (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Associated Types

type PrimState (TriggerEventT t m) :: Type

Methods

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

MonadRef m => MonadRef (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Associated Types

type Ref (TriggerEventT t m) :: Type -> Type

Methods

newRef :: a -> TriggerEventT t m (Ref (TriggerEventT t m) a)

readRef :: Ref (TriggerEventT t m) a -> TriggerEventT t m a

writeRef :: Ref (TriggerEventT t m) a -> a -> TriggerEventT t m ()

modifyRef :: Ref (TriggerEventT t m) a -> (a -> a) -> TriggerEventT t m ()

modifyRef' :: Ref (TriggerEventT t m) a -> (a -> a) -> TriggerEventT t m ()

MonadAtomicRef m => MonadAtomicRef (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

Methods

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

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

(Semigroup a, Applicative m) => Semigroup (TriggerEventT t m a)

Defined in Reflex.TriggerEvent.Base

Methods

(<>) :: TriggerEventT t m a -> TriggerEventT t m a -> TriggerEventT t m a

sconcat :: NonEmpty (TriggerEventT t m a) -> TriggerEventT t m a

stimes :: Integral b => b -> TriggerEventT t m a -> TriggerEventT t m a

(Monoid a, Applicative m) => Monoid (TriggerEventT t m a)

Defined in Reflex.TriggerEvent.Base

Methods

mempty :: TriggerEventT t m a

mappend :: TriggerEventT t m a -> TriggerEventT t m a -> TriggerEventT t m a

mconcat :: [TriggerEventT t m a] -> TriggerEventT t m a

type PrimState (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

type PrimState (TriggerEventT t m) = PrimState m

type Ref (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

type Ref (TriggerEventT t m) = Ref m

type Performable (TriggerEventT t m)

Defined in Reflex.TriggerEvent.Base

type Performable (TriggerEventT t m) = Performable m

runTriggerEventT :: TriggerEventT t m a -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> m a

Run a TriggerEventT action. The argument should be a Chan into which TriggerInvocations can be passed; it is expected that some other thread will be responsible for popping values out of the Chan and firing their EventTriggers.

askEvents :: Monad m => TriggerEventT t m (Chan [DSum (EventTriggerRef t) TriggerInvocation])

Retrieve the current Chan; event trigger invocations pushed into it will be fired.

data TriggerInvocation a

A value with which to fire an Event, as well as a callback to invoke after its propagation has completed.

Constructors

TriggerInvocation a (IO ())

newtype EventTriggerRef t a

A reference to an EventTrigger suitable for firing with TriggerEventT.

Constructors

EventTriggerRef

Fields

• unEventTriggerRef :: IORef (Maybe (EventTrigger t a))