Reflex.PerformEvent.Base

This module provides PerformEventT, the standard implementation of PerformEvent.

Documentation

newtype PerformEventT t (m :: k) a

Provides a basic implementation of PerformEvent. Note that, despite the name, PerformEventT is not an instance of MonadTrans.

Constructors

PerformEventT

Fields

• unPerformEventT :: RequesterT t (HostFrame t) Identity (HostFrame t) a

Instances

(ReflexHost t, MonadHold t m) => MonadHold (t :: Type) (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

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

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

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

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

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

now :: PerformEventT t m (Event t ())

ReflexHost t => MonadSample (t :: Type) (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

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

(ReflexHost t, PrimMonad (HostFrame t)) => Adjustable t (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

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

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

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

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

ReflexHost t => MonadReflexCreateTrigger t (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

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

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

(ReflexHost t, NotReady t (HostFrame t)) => NotReady t (PerformEventT t m)

Defined in Reflex.NotReady.Class

Methods

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

notReady :: PerformEventT t m ()

(Monad (HostFrame t), ReflexHost t, Ref m ~ Ref IO) => PerformEvent t (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Associated Types

type Performable (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

type Performable (PerformEventT t m) = HostFrame t

Methods

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

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

HasSpiderTimeline x => NotReady (SpiderTimeline x) (PerformEventT (SpiderTimeline x) (SpiderHost x))

Defined in Reflex.Spider.Internal

Methods

notReadyUntil :: Event (SpiderTimeline x) a -> PerformEventT (SpiderTimeline x) (SpiderHost x) ()

notReady :: PerformEventT (SpiderTimeline x) (SpiderHost x) ()

(ReflexHost t, MonadException (HostFrame t)) => MonadException (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

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

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

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

(ReflexHost t, MonadCatch (HostFrame t)) => MonadCatch (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

catch :: (HasCallStack, Exception e) => PerformEventT t m a -> (e -> PerformEventT t m a) -> PerformEventT t m a

(ReflexHost t, MonadMask (HostFrame t)) => MonadMask (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

mask :: HasCallStack => ((forall a. PerformEventT t m a -> PerformEventT t m a) -> PerformEventT t m b) -> PerformEventT t m b

uninterruptibleMask :: HasCallStack => ((forall a. PerformEventT t m a -> PerformEventT t m a) -> PerformEventT t m b) -> PerformEventT t m b

generalBracket :: HasCallStack => PerformEventT t m a -> (a -> ExitCase b -> PerformEventT t m c) -> (a -> PerformEventT t m b) -> PerformEventT t m (b, c)

(ReflexHost t, MonadThrow (HostFrame t)) => MonadThrow (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

throwM :: (HasCallStack, Exception e) => e -> PerformEventT t m a

ReflexHost t => Applicative (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

pure :: a -> PerformEventT t m a

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

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

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

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

ReflexHost t => Functor (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

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

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

ReflexHost t => Monad (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

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

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

return :: a -> PerformEventT t m a

ReflexHost t => MonadFix (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

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

(ReflexHost t, MonadIO (HostFrame t)) => MonadIO (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

liftIO :: IO a -> PerformEventT t m a

(PrimMonad (HostFrame t), ReflexHost t) => PrimMonad (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Associated Types

type PrimState (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

type PrimState (PerformEventT t m) = PrimState (HostFrame t)

Methods

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

(MonadAtomicRef (HostFrame t), ReflexHost t) => MonadAtomicRef (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Methods

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

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

(MonadRef (HostFrame t), ReflexHost t) => MonadRef (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

Associated Types

type Ref (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

type Ref (PerformEventT t m) = Ref (HostFrame t)

Methods

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

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

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

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

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

(ReflexHost t, Monoid a) => Monoid (PerformEventT t m a)

Defined in Reflex.PerformEvent.Base

Methods

mempty :: PerformEventT t m a

mappend :: PerformEventT t m a -> PerformEventT t m a -> PerformEventT t m a

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

(ReflexHost t, Semigroup a) => Semigroup (PerformEventT t m a)

Defined in Reflex.PerformEvent.Base

Methods

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

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

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

type PrimState (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

type PrimState (PerformEventT t m) = PrimState (HostFrame t)

type Ref (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

type Ref (PerformEventT t m) = Ref (HostFrame t)

type Performable (PerformEventT t m)

Defined in Reflex.PerformEvent.Base

type Performable (PerformEventT t m) = HostFrame t

newtype FireCommand t (m :: Type -> Type)

A function that fires events for the given EventTriggers and then runs any followup actions provided via PerformEvent. The given ReadPhase action will be run once for the initial trigger execution as well as once for each followup.

Constructors

FireCommand

Fields

• runFireCommand :: forall a. [DSum (EventTrigger t) Identity] -> ReadPhase m a -> m [a]

hostPerformEventT :: forall t m a. (Monad m, MonadSubscribeEvent t m, MonadReflexHost t m, MonadRef m, Ref m ~ Ref IO) => PerformEventT t m a -> m (a, FireCommand t m)

Run a PerformEventT action, returning a FireCommand that allows the caller to trigger Events while ensuring that performEvent actions are run at the appropriate time.