reflex-0.9.3.4: Higher-order Functional Reactive Programming
Safe HaskellNone
LanguageHaskell2010

Reflex.Spider

Contents

Description

 
Synopsis

Documentation

type Spider = SpiderTimeline Global Source #

The default, global Spider environment

data SpiderTimeline (x :: k) Source #

Designates the default, global Spider timeline

Instances

Instances details
HasSpiderTimeline x => Reflex (SpiderTimeline x :: Type) Source # 
Instance details

Defined in Reflex.Spider.Internal

Associated Types

newtype Behavior (SpiderTimeline x :: Type) a 
Instance details

Defined in Reflex.Spider.Internal

newtype Behavior (SpiderTimeline x :: Type) a = SpiderBehavior {}
newtype Event (SpiderTimeline x :: Type) a 
Instance details

Defined in Reflex.Spider.Internal

newtype Event (SpiderTimeline x :: Type) a = SpiderEvent {}
newtype Dynamic (SpiderTimeline x :: Type) a 
Instance details

Defined in Reflex.Spider.Internal

newtype Dynamic (SpiderTimeline x :: Type) a = SpiderDynamic {}
newtype Incremental (SpiderTimeline x :: Type) p 
Instance details

Defined in Reflex.Spider.Internal

newtype Incremental (SpiderTimeline x :: Type) p = SpiderIncremental {}
type PushM (SpiderTimeline x :: Type) 
Instance details

Defined in Reflex.Spider.Internal

type PushM (SpiderTimeline x :: Type) = SpiderPushM x
type PullM (SpiderTimeline x :: Type) 
Instance details

Defined in Reflex.Spider.Internal

type PullM (SpiderTimeline x :: Type) = SpiderPullM x

Methods

never :: Event (SpiderTimeline x) a Source #

constant :: a -> Behavior (SpiderTimeline x) a Source #

push :: (a -> PushM (SpiderTimeline x) (Maybe b)) -> Event (SpiderTimeline x) a -> Event (SpiderTimeline x) b Source #

pushCheap :: (a -> PushM (SpiderTimeline x) (Maybe b)) -> Event (SpiderTimeline x) a -> Event (SpiderTimeline x) b Source #

pull :: PullM (SpiderTimeline x) a -> Behavior (SpiderTimeline x) a Source #

mergeG :: forall {k1} (k2 :: k1 -> Type) q v. GCompare k2 => (forall (a :: k1). q a -> Event (SpiderTimeline x) (v a)) -> DMap k2 q -> Event (SpiderTimeline x) (DMap k2 v) Source #

fanG :: forall {k1} (k2 :: k1 -> Type) (v :: k1 -> Type). GCompare k2 => Event (SpiderTimeline x) (DMap k2 v) -> EventSelectorG (SpiderTimeline x) k2 v Source #

switch :: Behavior (SpiderTimeline x) (Event (SpiderTimeline x) a) -> Event (SpiderTimeline x) a Source #

coincidence :: Event (SpiderTimeline x) (Event (SpiderTimeline x) a) -> Event (SpiderTimeline x) a Source #

current :: Dynamic (SpiderTimeline x) a -> Behavior (SpiderTimeline x) a Source #

updated :: Dynamic (SpiderTimeline x) a -> Event (SpiderTimeline x) a Source #

unsafeBuildDynamic :: PullM (SpiderTimeline x) a -> Event (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) a Source #

unsafeBuildIncremental :: Patch p => PullM (SpiderTimeline x) (PatchTarget p) -> Event (SpiderTimeline x) p -> Incremental (SpiderTimeline x) p Source #

mergeIncrementalG :: forall {k1} (k2 :: k1 -> Type) q v. GCompare k2 => (forall (a :: k1). q a -> Event (SpiderTimeline x) (v a)) -> Incremental (SpiderTimeline x) (PatchDMap k2 q) -> Event (SpiderTimeline x) (DMap k2 v) Source #

mergeIncrementalWithMoveG :: forall {k1} (k2 :: k1 -> Type) q v. GCompare k2 => (forall (a :: k1). q a -> Event (SpiderTimeline x) (v a)) -> Incremental (SpiderTimeline x) (PatchDMapWithMove k2 q) -> Event (SpiderTimeline x) (DMap k2 v) Source #

currentIncremental :: Patch p => Incremental (SpiderTimeline x) p -> Behavior (SpiderTimeline x) (PatchTarget p) Source #

updatedIncremental :: Patch p => Incremental (SpiderTimeline x) p -> Event (SpiderTimeline x) p Source #

incrementalToDynamic :: Patch p => Incremental (SpiderTimeline x) p -> Dynamic (SpiderTimeline x) (PatchTarget p) Source #

behaviorCoercion :: Coercion a b -> Coercion (Behavior (SpiderTimeline x) a) (Behavior (SpiderTimeline x) b) Source #

eventCoercion :: Coercion a b -> Coercion (Event (SpiderTimeline x) a) (Event (SpiderTimeline x) b) Source #

dynamicCoercion :: Coercion a b -> Coercion (Dynamic (SpiderTimeline x) a) (Dynamic (SpiderTimeline x) b) Source #

incrementalCoercion :: Coercion (PatchTarget a) (PatchTarget b) -> Coercion a b -> Coercion (Incremental (SpiderTimeline x) a) (Incremental (SpiderTimeline x) b) Source #

mergeIntIncremental :: Incremental (SpiderTimeline x) (PatchIntMap (Event (SpiderTimeline x) a)) -> Event (SpiderTimeline x) (IntMap a) Source #

fanInt :: Event (SpiderTimeline x) (IntMap a) -> EventSelectorInt (SpiderTimeline x) a Source #

HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

hold :: a -> Event (SpiderTimeline x) a -> SpiderHost x (Behavior (SpiderTimeline x) a) Source #

holdDyn :: a -> Event (SpiderTimeline x) a -> SpiderHost x (Dynamic (SpiderTimeline x) a) Source #

holdIncremental :: Patch p => PatchTarget p -> Event (SpiderTimeline x) p -> SpiderHost x (Incremental (SpiderTimeline x) p) Source #

buildDynamic :: PushM (SpiderTimeline x) a -> Event (SpiderTimeline x) a -> SpiderHost x (Dynamic (SpiderTimeline x) a) Source #

headE :: Event (SpiderTimeline x) a -> SpiderHost x (Event (SpiderTimeline x) a) Source #

now :: SpiderHost x (Event (SpiderTimeline x) ()) Source #

HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (SpiderHostFrame x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

hold :: a -> Event (SpiderTimeline x) a -> SpiderHostFrame x (Behavior (SpiderTimeline x) a) Source #

holdDyn :: a -> Event (SpiderTimeline x) a -> SpiderHostFrame x (Dynamic (SpiderTimeline x) a) Source #

holdIncremental :: Patch p => PatchTarget p -> Event (SpiderTimeline x) p -> SpiderHostFrame x (Incremental (SpiderTimeline x) p) Source #

buildDynamic :: PushM (SpiderTimeline x) a -> Event (SpiderTimeline x) a -> SpiderHostFrame x (Dynamic (SpiderTimeline x) a) Source #

headE :: Event (SpiderTimeline x) a -> SpiderHostFrame x (Event (SpiderTimeline x) a) Source #

now :: SpiderHostFrame x (Event (SpiderTimeline x) ()) Source #

HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (SpiderPushM x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

hold :: a -> Event (SpiderTimeline x) a -> SpiderPushM x (Behavior (SpiderTimeline x) a) Source #

holdDyn :: a -> Event (SpiderTimeline x) a -> SpiderPushM x (Dynamic (SpiderTimeline x) a) Source #

holdIncremental :: Patch p => PatchTarget p -> Event (SpiderTimeline x) p -> SpiderPushM x (Incremental (SpiderTimeline x) p) Source #

buildDynamic :: PushM (SpiderTimeline x) a -> Event (SpiderTimeline x) a -> SpiderPushM x (Dynamic (SpiderTimeline x) a) Source #

headE :: Event (SpiderTimeline x) a -> SpiderPushM x (Event (SpiderTimeline x) a) Source #

now :: SpiderPushM x (Event (SpiderTimeline x) ()) Source #

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

sample :: Behavior (SpiderTimeline x) a -> SpiderHost x a Source #

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (SpiderHostFrame x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

sample :: Behavior (SpiderTimeline x) a -> SpiderHostFrame x a Source #

MonadSample (SpiderTimeline x :: Type) (SpiderPullM x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

sample :: Behavior (SpiderTimeline x) a -> SpiderPullM x a Source #

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (SpiderPushM x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

sample :: Behavior (SpiderTimeline x) a -> SpiderPushM x a Source #

HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (EventM x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

hold :: a -> Event (SpiderTimeline x) a -> EventM x (Behavior (SpiderTimeline x) a) Source #

holdDyn :: a -> Event (SpiderTimeline x) a -> EventM x (Dynamic (SpiderTimeline x) a) Source #

holdIncremental :: Patch p => PatchTarget p -> Event (SpiderTimeline x) p -> EventM x (Incremental (SpiderTimeline x) p) Source #

buildDynamic :: PushM (SpiderTimeline x) a -> Event (SpiderTimeline x) a -> EventM x (Dynamic (SpiderTimeline x) a) Source #

headE :: Event (SpiderTimeline x) a -> EventM x (Event (SpiderTimeline x) a) Source #

now :: EventM x (Event (SpiderTimeline x) ()) Source #

HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (ReadPhase x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

hold :: a -> Event (SpiderTimeline x) a -> ReadPhase x (Behavior (SpiderTimeline x) a) Source #

holdDyn :: a -> Event (SpiderTimeline x) a -> ReadPhase x (Dynamic (SpiderTimeline x) a) Source #

holdIncremental :: Patch p => PatchTarget p -> Event (SpiderTimeline x) p -> ReadPhase x (Incremental (SpiderTimeline x) p) Source #

buildDynamic :: PushM (SpiderTimeline x) a -> Event (SpiderTimeline x) a -> ReadPhase x (Dynamic (SpiderTimeline x) a) Source #

headE :: Event (SpiderTimeline x) a -> ReadPhase x (Event (SpiderTimeline x) a) Source #

now :: ReadPhase x (Event (SpiderTimeline x) ()) Source #

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (EventM x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

sample :: Behavior (SpiderTimeline x) a -> EventM x a Source #

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (ReadPhase x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

sample :: Behavior (SpiderTimeline x) a -> ReadPhase x a Source #

HasSpiderTimeline x => Applicative (Dynamic (SpiderTimeline x)) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

pure :: a -> Dynamic (SpiderTimeline x) a #

(<*>) :: Dynamic (SpiderTimeline x) (a -> b) -> Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b #

liftA2 :: (a -> b -> c) -> Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b -> Dynamic (SpiderTimeline x) c #

(*>) :: Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b -> Dynamic (SpiderTimeline x) b #

(<*) :: Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b -> Dynamic (SpiderTimeline x) a #

HasSpiderTimeline x => Functor (Dynamic (SpiderTimeline x)) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

fmap :: (a -> b) -> Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b #

(<$) :: a -> Dynamic (SpiderTimeline x) b -> Dynamic (SpiderTimeline x) a #

HasSpiderTimeline x => Monad (Dynamic (SpiderTimeline x)) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

(>>=) :: Dynamic (SpiderTimeline x) a -> (a -> Dynamic (SpiderTimeline x) b) -> Dynamic (SpiderTimeline x) b #

(>>) :: Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b -> Dynamic (SpiderTimeline x) b #

return :: a -> Dynamic (SpiderTimeline x) a #

HasSpiderTimeline x => ReflexHost (SpiderTimeline x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Associated Types

type EventTrigger (SpiderTimeline x) 
Instance details

Defined in Reflex.Spider.Internal

type EventTrigger (SpiderTimeline x) = RootTrigger x
type EventHandle (SpiderTimeline x) 
Instance details

Defined in Reflex.Spider.Internal

type EventHandle (SpiderTimeline x) = SpiderEventHandle x
type HostFrame (SpiderTimeline x) 
Instance details

Defined in Reflex.Spider.Internal

type HostFrame (SpiderTimeline x) = SpiderHostFrame x
HasSpiderTimeline x => MonadReflexCreateTrigger (SpiderTimeline x) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

newEventWithTrigger :: (EventTrigger (SpiderTimeline x) a -> IO (IO ())) -> SpiderHost x (Event (SpiderTimeline x) a) Source #

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger (SpiderTimeline x) a -> IO (IO ())) -> SpiderHost x (EventSelector (SpiderTimeline x) k) Source #

HasSpiderTimeline x => MonadReflexCreateTrigger (SpiderTimeline x) (SpiderHostFrame x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

newEventWithTrigger :: (EventTrigger (SpiderTimeline x) a -> IO (IO ())) -> SpiderHostFrame x (Event (SpiderTimeline x) a) Source #

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger (SpiderTimeline x) a -> IO (IO ())) -> SpiderHostFrame x (EventSelector (SpiderTimeline x) k) Source #

HasSpiderTimeline x => MonadReflexHost (SpiderTimeline x) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Associated Types

type ReadPhase (SpiderHost x) 
Instance details

Defined in Reflex.Spider.Internal

type ReadPhase (SpiderHost x) = ReadPhase x

Methods

fireEventsAndRead :: [DSum (EventTrigger (SpiderTimeline x)) Identity] -> ReadPhase (SpiderHost x) a -> SpiderHost x a Source #

runHostFrame :: HostFrame (SpiderTimeline x) a -> SpiderHost x a Source #

HasSpiderTimeline x => MonadSubscribeEvent (SpiderTimeline x) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

subscribeEvent :: Event (SpiderTimeline x) a -> SpiderHost x (EventHandle (SpiderTimeline x) a) Source #

HasSpiderTimeline x => MonadSubscribeEvent (SpiderTimeline x) (SpiderHostFrame x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

subscribeEvent :: Event (SpiderTimeline x) a -> SpiderHostFrame x (EventHandle (SpiderTimeline x) a) Source #

NotReady (SpiderTimeline x) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

notReadyUntil :: Event (SpiderTimeline x) a -> SpiderHost x () Source #

notReady :: SpiderHost x () Source #

NotReady (SpiderTimeline x) (SpiderHostFrame x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

notReadyUntil :: Event (SpiderTimeline x) a -> SpiderHostFrame x () Source #

notReady :: SpiderHostFrame x () Source #

HasSpiderTimeline x => MonadReadEvent (SpiderTimeline x) (ReadPhase x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

readEvent :: EventHandle (SpiderTimeline x) a -> ReadPhase x (Maybe (ReadPhase x a)) Source #

HasSpiderTimeline x => NotReady (SpiderTimeline x) (PerformEventT (SpiderTimeline x) (SpiderHost x)) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

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

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

newtype Behavior (SpiderTimeline x :: Type) a Source # 
Instance details

Defined in Reflex.Spider.Internal

newtype Behavior (SpiderTimeline x :: Type) a = SpiderBehavior {}
newtype Dynamic (SpiderTimeline x :: Type) a Source # 
Instance details

Defined in Reflex.Spider.Internal

newtype Dynamic (SpiderTimeline x :: Type) a = SpiderDynamic {}
newtype Event (SpiderTimeline x :: Type) a Source # 
Instance details

Defined in Reflex.Spider.Internal

newtype Event (SpiderTimeline x :: Type) a = SpiderEvent {}
newtype Incremental (SpiderTimeline x :: Type) p Source # 
Instance details

Defined in Reflex.Spider.Internal

newtype Incremental (SpiderTimeline x :: Type) p = SpiderIncremental {}
type PullM (SpiderTimeline x :: Type) Source # 
Instance details

Defined in Reflex.Spider.Internal

type PullM (SpiderTimeline x :: Type) = SpiderPullM x
type PushM (SpiderTimeline x :: Type) Source # 
Instance details

Defined in Reflex.Spider.Internal

type PushM (SpiderTimeline x :: Type) = SpiderPushM x
type EventHandle (SpiderTimeline x) Source # 
Instance details

Defined in Reflex.Spider.Internal

type EventHandle (SpiderTimeline x) = SpiderEventHandle x
type EventTrigger (SpiderTimeline x) Source # 
Instance details

Defined in Reflex.Spider.Internal

type EventTrigger (SpiderTimeline x) = RootTrigger x
type HostFrame (SpiderTimeline x) Source # 
Instance details

Defined in Reflex.Spider.Internal

type HostFrame (SpiderTimeline x) = SpiderHostFrame x

data Global Source #

A statically allocated SpiderTimeline

Instances

Instances details
HasSpiderTimeline Global Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

spiderTimeline :: SpiderTimelineEnv Global Source #

data SpiderHost x a Source #

The monad for actions that manipulate a Spider timeline identified by x

Instances

Instances details
HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

hold :: a -> Event (SpiderTimeline x) a -> SpiderHost x (Behavior (SpiderTimeline x) a) Source #

holdDyn :: a -> Event (SpiderTimeline x) a -> SpiderHost x (Dynamic (SpiderTimeline x) a) Source #

holdIncremental :: Patch p => PatchTarget p -> Event (SpiderTimeline x) p -> SpiderHost x (Incremental (SpiderTimeline x) p) Source #

buildDynamic :: PushM (SpiderTimeline x) a -> Event (SpiderTimeline x) a -> SpiderHost x (Dynamic (SpiderTimeline x) a) Source #

headE :: Event (SpiderTimeline x) a -> SpiderHost x (Event (SpiderTimeline x) a) Source #

now :: SpiderHost x (Event (SpiderTimeline x) ()) Source #

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

sample :: Behavior (SpiderTimeline x) a -> SpiderHost x a Source #

MonadIO (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

liftIO :: IO a -> SpiderHost x a #

MonadAsyncException (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

mask :: ((forall a. SpiderHost x a -> SpiderHost x a) -> SpiderHost x b) -> SpiderHost x b #

MonadException (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

throw :: Exception e => e -> SpiderHost x a #

catch :: Exception e => SpiderHost x a -> (e -> SpiderHost x a) -> SpiderHost x a #

finally :: SpiderHost x a -> SpiderHost x b -> SpiderHost x a #

Applicative (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

pure :: a -> SpiderHost x a #

(<*>) :: SpiderHost x (a -> b) -> SpiderHost x a -> SpiderHost x b #

liftA2 :: (a -> b -> c) -> SpiderHost x a -> SpiderHost x b -> SpiderHost x c #

(*>) :: SpiderHost x a -> SpiderHost x b -> SpiderHost x b #

(<*) :: SpiderHost x a -> SpiderHost x b -> SpiderHost x a #

Functor (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

fmap :: (a -> b) -> SpiderHost x a -> SpiderHost x b #

(<$) :: a -> SpiderHost x b -> SpiderHost x a #

Monad (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

(>>=) :: SpiderHost x a -> (a -> SpiderHost x b) -> SpiderHost x b #

(>>) :: SpiderHost x a -> SpiderHost x b -> SpiderHost x b #

return :: a -> SpiderHost x a #

MonadFail (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

fail :: String -> SpiderHost x a #

MonadFix (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

mfix :: (a -> SpiderHost x a) -> SpiderHost x a #

MonadAtomicRef (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

atomicModifyRef :: Ref (SpiderHost x) a -> (a -> (a, b)) -> SpiderHost x b #

atomicModifyRef' :: Ref (SpiderHost x) a -> (a -> (a, b)) -> SpiderHost x b #

MonadRef (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Associated Types

type Ref (SpiderHost x) 
Instance details

Defined in Reflex.Spider.Internal

type Ref (SpiderHost x) = Ref IO

Methods

newRef :: a -> SpiderHost x (Ref (SpiderHost x) a) #

readRef :: Ref (SpiderHost x) a -> SpiderHost x a #

writeRef :: Ref (SpiderHost x) a -> a -> SpiderHost x () #

modifyRef :: Ref (SpiderHost x) a -> (a -> a) -> SpiderHost x () #

modifyRef' :: Ref (SpiderHost x) a -> (a -> a) -> SpiderHost x () #

HasSpiderTimeline x => MonadReflexCreateTrigger (SpiderTimeline x) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

newEventWithTrigger :: (EventTrigger (SpiderTimeline x) a -> IO (IO ())) -> SpiderHost x (Event (SpiderTimeline x) a) Source #

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger (SpiderTimeline x) a -> IO (IO ())) -> SpiderHost x (EventSelector (SpiderTimeline x) k) Source #

HasSpiderTimeline x => MonadReflexHost (SpiderTimeline x) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Associated Types

type ReadPhase (SpiderHost x) 
Instance details

Defined in Reflex.Spider.Internal

type ReadPhase (SpiderHost x) = ReadPhase x

Methods

fireEventsAndRead :: [DSum (EventTrigger (SpiderTimeline x)) Identity] -> ReadPhase (SpiderHost x) a -> SpiderHost x a Source #

runHostFrame :: HostFrame (SpiderTimeline x) a -> SpiderHost x a Source #

HasSpiderTimeline x => MonadSubscribeEvent (SpiderTimeline x) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

subscribeEvent :: Event (SpiderTimeline x) a -> SpiderHost x (EventHandle (SpiderTimeline x) a) Source #

NotReady (SpiderTimeline x) (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

notReadyUntil :: Event (SpiderTimeline x) a -> SpiderHost x () Source #

notReady :: SpiderHost x () Source #

HasSpiderTimeline x => NotReady (SpiderTimeline x) (PerformEventT (SpiderTimeline x) (SpiderHost x)) Source # 
Instance details

Defined in Reflex.Spider.Internal

Methods

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

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

type Ref (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

type Ref (SpiderHost x) = Ref IO
type ReadPhase (SpiderHost x) Source # 
Instance details

Defined in Reflex.Spider.Internal

type ReadPhase (SpiderHost x) = ReadPhase x

runSpiderHost :: SpiderHost Global a -> IO a Source #

Run an action affecting the global Spider timeline; this will be guarded by a mutex for that timeline

runSpiderHostForTimeline :: SpiderHost x a -> SpiderTimelineEnv x -> IO a Source #

Run an action affecting a given Spider timeline; this will be guarded by a mutex for that timeline

newSpiderTimeline :: IO (Some SpiderTimelineEnv) Source #

Create a new SpiderTimelineEnv

withSpiderTimeline :: (forall x. HasSpiderTimeline x => SpiderTimelineEnv x -> IO r) -> IO r Source #

Pass a new timeline to the given function.

Deprecated

type SpiderEnv = SpiderTimeline :: k -> Type Source #

Deprecated: Use SpiderTimelineEnv instead

SpiderEnv is the old name for SpiderTimeline