Safe Haskell	None
Language	Haskell98

Reflex.Spider.Internal

Description

This module is the implementation of the Spider Reflex engine. It uses a graph traversal algorithm to propagate Events and Behaviors.

Synopsis

pattern SpiderBehavior :: Behavior x a -> Behavior (SpiderTimeline x) a
unSpiderBehavior :: Behavior (SpiderTimeline x) a -> Behavior x a
pattern SpiderEvent :: Event x a -> Event (SpiderTimeline x) a
unSpiderEvent :: Event (SpiderTimeline x) a -> Event x a
pattern SpiderDynamic :: Dynamic x (Identity a) -> Dynamic (SpiderTimeline x) a
unSpiderDynamic :: Dynamic (SpiderTimeline x) a -> Dynamic x (Identity a)
pattern SpiderIncremental :: Dynamic x p -> Incremental (SpiderTimeline x) p
unSpiderIncremental :: Incremental (SpiderTimeline x) p -> Dynamic x p
newtype ReadPhase x a = ReadPhase (ResultM x a)
newtype SpiderHostFrame x a = SpiderHostFrame {
- runSpiderHostFrame :: EventM x a
}
newtype SpiderHost x a = SpiderHost {
- unSpiderHost :: IO a
}
data SpiderEventHandle x a = SpiderEventHandle {
- spiderEventHandleSubscription :: EventSubscription x
- spiderEventHandleValue :: IORef (Maybe a)
}
data RootTrigger x a = GCompare k => RootTrigger (WeakBag (Subscriber x a), IORef (DMap k Identity), k a)
newtype SpiderPushM x a = SpiderPushM (ComputeM x a)
type ComputeM = EventM
newtype SpiderPullM x a = SpiderPullM (BehaviorM x a)
data LocalSpiderTimeline x s
type SpiderEnv = SpiderTimeline
type Spider = SpiderTimeline Global
data SpiderTimeline x
data SomeSwitchSubscribed x = SomeSwitchSubscribed (SwitchSubscribed x a)
newtype Height = Height {
- unHeight :: Int
}
newtype EventSelector x k = EventSelector {
- select :: forall a. k a -> Event x a
}
data Merge x k s = Merge {
- _merge_parentsRef :: !(IORef (DMap k s))
- _merge_heightBagRef :: !(IORef HeightBag)
- _merge_heightRef :: !(IORef Height)
- _merge_sub :: !(Subscriber x (DMap k Identity))
- _merge_accumRef :: !(IORef (DMap k Identity))
}
type MergeDestroyFunc k s = DMap k s -> IO ()
type MergeInitFunc k x s = DMap k (Event x) -> (forall a. EventM x (k a) -> Subscriber x a) -> EventM x (DMap k Identity, [Height], DMap k s)
type MergeUpdateFunc k x p s = (forall a. EventM x (k a) -> Subscriber x a) -> IORef HeightBag -> DMap k s -> p -> EventM x ([EventSubscription x], DMap k s)
data FanInt x a = FanInt {
- _fanInt_subscribers :: !(FastMutableIntMap (FastWeakBag (Subscriber x a)))
- _fanInt_subscriptionRef :: !(IORef (EventSubscription x))
- _fanInt_occRef :: !(IORef (IntMap a))
}
newtype EventSelectorInt x a = EventSelectorInt {
- selectInt :: Int -> Event x a
}
data SomeResetCoincidence x = SomeResetCoincidence !(EventSubscription x) !(Maybe (CoincidenceSubscribed x a))
type CanTrace x m = (HasSpiderTimeline x, MonadIO m)
type WeakList a = [Weak a]
data SomeAssignment x = SomeAssignment !(IORef a) !(IORef [Weak (Invalidator x)]) a
data SomeRootClear = SomeRootClear !(IORef (DMap k Identity))
data SomeIntClear = SomeIntClear !(IORef (IntMap a))
data SomeClear = SomeClear !(IORef (Maybe a))
type ResultM = EventM
newtype Dyn x p = Dyn {
- unDyn :: IORef (DynType x p)
}
data DynType x p
- = UnsafeDyn !(BehaviorM x (PatchTarget p), Event x p)
- | BuildDyn !(EventM x (PatchTarget p), Event x p)
- | HoldDyn !(Hold x p)
data Coincidence x a = Coincidence {
- coincidenceParent :: !(Event x (Event x a))
- coincidenceSubscribed :: !(IORef (Maybe (CoincidenceSubscribed x a)))
}
data CoincidenceSubscribed x a = CoincidenceSubscribed {
- coincidenceSubscribedCachedSubscribed :: !(IORef (Maybe (CoincidenceSubscribed x a)))
- coincidenceSubscribedOccurrence :: !(IORef (Maybe a))
- coincidenceSubscribedSubscribers :: !(WeakBag (Subscriber x a))
- coincidenceSubscribedHeight :: !(IORef Height)
- coincidenceSubscribedOuter :: (Subscriber x (Event x a))
- coincidenceSubscribedOuterParent :: !(EventSubscription x)
- coincidenceSubscribedInnerParent :: !(IORef (Maybe (EventSubscribed x)))
- coincidenceSubscribedWeakSelf :: !(IORef (Weak (CoincidenceSubscribed x a)))
}
data Switch x a = Switch {
- switchParent :: !(Behavior x (Event x a))
- switchSubscribed :: !(IORef (Maybe (SwitchSubscribed x a)))
}
data SwitchSubscribed x a = SwitchSubscribed {
- switchSubscribedCachedSubscribed :: !(IORef (Maybe (SwitchSubscribed x a)))
- switchSubscribedOccurrence :: !(IORef (Maybe a))
- switchSubscribedHeight :: !(IORef Height)
- switchSubscribedSubscribers :: !(WeakBag (Subscriber x a))
- switchSubscribedOwnInvalidator :: !(Invalidator x)
- switchSubscribedOwnWeakInvalidator :: !(IORef (Weak (Invalidator x)))
- switchSubscribedBehaviorParents :: !(IORef [SomeBehaviorSubscribed x])
- switchSubscribedParent :: !(Behavior x (Event x a))
- switchSubscribedCurrentParent :: !(IORef (EventSubscription x))
- switchSubscribedWeakSelf :: !(IORef (Weak (SwitchSubscribed x a)))
}
data Fan x k = Fan {
- fanParent :: !(Event x (DMap k Identity))
- fanSubscribed :: !(IORef (Maybe (FanSubscribed x k)))
}
data FanSubscribed (x :: *) k = FanSubscribed {
- fanSubscribedCachedSubscribed :: !(IORef (Maybe (FanSubscribed x k)))
- fanSubscribedOccurrence :: !(IORef (Maybe (DMap k Identity)))
- fanSubscribedSubscribers :: !(IORef (DMap k (FanSubscribedChildren x k)))
- fanSubscribedParent :: !(EventSubscription x)
}
data FanSubscribedChildren (x :: *) k a = FanSubscribedChildren {
- _fanSubscribedChildren_list :: !(WeakBag (Subscriber x a))
- _fanSubscribedChildren_self :: !(k a, FanSubscribed x k)
- _fanSubscribedChildren_weakSelf :: !(IORef (Weak (k a, FanSubscribed x k)))
}
data HeightBag = HeightBag {
- _heightBag_size :: !Int
- _heightBag_contents :: !(IntMap Word)
}
data MergeSubscribedParentWithMove x k a = MergeSubscribedParentWithMove {
- _mergeSubscribedParentWithMove_subscription :: !(EventSubscription x)
- _mergeSubscribedParentWithMove_key :: !(IORef (k a))
}
newtype MergeSubscribedParent x a = MergeSubscribedParent {
- unMergeSubscribedParent :: EventSubscription x
}
newtype EventM x a = EventM {
- unEventM :: IO a
}
newtype SomeMergeInit x = SomeMergeInit {
- unSomeMergeInit :: EventM x ()
}
data SomeMergeUpdate x = SomeMergeUpdate {
- _someMergeUpdate_update :: !(EventM x [EventSubscription x])
- _someMergeUpdate_invalidateHeight :: !(IO ())
- _someMergeUpdate_recalculateHeight :: !(IO ())
}
data SomeDynInit x = Patch p => SomeDynInit !(Dyn x p)
data SomeHoldInit x = Patch p => SomeHoldInit !(Hold x p)
data Root x (k :: * -> *) = Root {
- rootOccurrence :: !(IORef (DMap k Identity))
- rootSubscribed :: !(IORef (DMap k (RootSubscribed x)))
- rootInit :: !(forall a. k a -> RootTrigger x a -> IO (IO ()))
}
data RootSubscribed x a = GCompare k => RootSubscribed {
- rootSubscribedKey :: !(k a)
- rootSubscribedCachedSubscribed :: !(IORef (DMap k (RootSubscribed x)))
- rootSubscribedSubscribers :: !(WeakBag (Subscriber x a))
- rootSubscribedOccurrence :: !(IO (Maybe a))
- rootSubscribedUninit :: IO ()
- rootSubscribedWeakSelf :: !(IORef (Weak (RootSubscribed x a)))
}
data Invalidator x
- = InvalidatorPull (Pull x a)
- | InvalidatorSwitch (SwitchSubscribed x a)
data Pull x a = Pull {
- pullValue :: !(IORef (Maybe (PullSubscribed x a)))
- pullCompute :: !(BehaviorM x a)
}
data PullSubscribed x a = PullSubscribed {
- pullSubscribedValue :: !a
- pullSubscribedInvalidators :: !(IORef [Weak (Invalidator x)])
- pullSubscribedOwnInvalidator :: !(Invalidator x)
- pullSubscribedParents :: ![SomeBehaviorSubscribed x]
}
data SomeBehaviorSubscribed x = SomeBehaviorSubscribed (BehaviorSubscribed x a)
data BehaviorSubscribed x a
- = BehaviorSubscribedHold (Hold x p)
- | BehaviorSubscribedPull (PullSubscribed x a)
newtype BehaviorM x a = BehaviorM {
- unBehaviorM :: ReaderT (BehaviorEnv x) IO a
}
type BehaviorEnv x = (Maybe (Weak (Invalidator x), IORef [SomeBehaviorSubscribed x]), IORef [SomeHoldInit x])
class HasSpiderTimeline x where
- spiderTimeline :: SpiderTimelineEnv x
class HasSpiderTimeline x => HasCurrentHeight x m | m -> x where
- getCurrentHeight :: m Height
- scheduleMerge :: Height -> EventM x () -> m ()
class MonadIO m => Defer a m where
- getDeferralQueue :: m (IORef [a])
data EventEnv x = EventEnv {
- eventEnvAssignments :: !(IORef [SomeAssignment x])
- eventEnvHoldInits :: !(IORef [SomeHoldInit x])
- eventEnvDynInits :: !(IORef [SomeDynInit x])
- eventEnvMergeUpdates :: !(IORef [SomeMergeUpdate x])
- eventEnvMergeInits :: !(IORef [SomeMergeInit x])
- eventEnvClears :: !(IORef [SomeClear])
- eventEnvIntClears :: !(IORef [SomeIntClear])
- eventEnvRootClears :: !(IORef [SomeRootClear])
- eventEnvCurrentHeight :: !(IORef Height)
- eventEnvResetCoincidences :: !(IORef [SomeResetCoincidence x])
- eventEnvDelayedMerges :: !(IORef (IntMap [EventM x ()]))
}
data SpiderTimelineEnv x = SpiderTimelineEnv {
- _spiderTimeline_lock :: !(MVar ())
- _spiderTimeline_eventEnv :: !(EventEnv x)
}
data Global
data Hold x p = Hold {
- holdValue :: !(IORef (PatchTarget p))
- holdInvalidators :: !(IORef [Weak (Invalidator x)])
- holdEvent :: Event x p
- holdParent :: !(IORef (Maybe (EventSubscription x)))
}
data Dynamic x p = Dynamic {
- dynamicCurrent :: !(Behavior x (PatchTarget p))
- dynamicUpdated :: !(Event x p)
}
newtype Behavior x a = Behavior {
- readBehaviorTracked :: BehaviorM x a
}
data EventSubscribed x = EventSubscribed {
- eventSubscribedHeightRef :: !(IORef Height)
- eventSubscribedRetained :: !Any
}
data Subscriber x a = Subscriber {
- subscriberPropagate :: !(a -> EventM x ())
- subscriberInvalidateHeight :: !(Height -> IO ())
- subscriberRecalculateHeight :: !(Height -> IO ())
}
data CacheSubscribed x a = CacheSubscribed {
- _cacheSubscribed_subscribers :: !(FastWeakBag (Subscriber x a))
- _cacheSubscribed_parent :: !(EventSubscription x)
- _cacheSubscribed_occurrence :: !(IORef (Maybe a))
}
newtype Event x a = Event {
- unEvent :: Subscriber x a -> EventM x (EventSubscription x, Maybe a)
}
data EventSubscription x = EventSubscription {
- _eventSubscription_unsubscribe :: !(IO ())
- _eventSubscription_subscribed :: !(EventSubscribed x)
}
debugPropagate :: Bool
debugInvalidateHeight :: Bool
debugInvalidate :: Bool
showNodeId :: a -> String
unsubscribe :: EventSubscription x -> IO ()
subscribeAndRead :: Event x a -> Subscriber x a -> EventM x (EventSubscription x, Maybe a)
pushCheap :: (a -> ComputeM x (Maybe b)) -> Event x a -> Event x b
terminalSubscriber :: (a -> EventM x ()) -> Subscriber x a
subscribeAndReadHead :: Event x a -> Subscriber x a -> EventM x (EventSubscription x, Maybe a)
headE :: (MonadIO m, Defer (SomeMergeInit x) m) => Event x a -> m (Event x a)
cacheEvent :: forall x a. HasSpiderTimeline x => Event x a -> Event x a
subscribe :: Event x a -> Subscriber x a -> EventM x (EventSubscription x)
wrap :: MonadIO m => (t -> EventSubscribed x) -> (Subscriber x a -> m (WeakBagTicket, t, Maybe a)) -> Subscriber x a -> m (EventSubscription x, Maybe a)
eventRoot :: GCompare k => k a -> Root x k -> Event x a
eventNever :: Event x a
eventFan :: (GCompare k, HasSpiderTimeline x) => k a -> Fan x k -> Event x a
eventSwitch :: HasSpiderTimeline x => Switch x a -> Event x a
eventCoincidence :: HasSpiderTimeline x => Coincidence x a -> Event x a
eventHold :: Hold x p -> Event x p
eventDyn :: (HasSpiderTimeline x, Patch p) => Dyn x p -> Event x p
subscribeCoincidenceInner :: HasSpiderTimeline x => Event x a -> Height -> CoincidenceSubscribed x a -> EventM x (Maybe a, Height, EventSubscribed x)
newSubscriberHold :: (HasSpiderTimeline x, Patch p) => Hold x p -> IO (Subscriber x p)
newSubscriberFan :: forall x k. (HasSpiderTimeline x, GCompare k) => FanSubscribed x k -> IO (Subscriber x (DMap k Identity))
newSubscriberSwitch :: forall x a. HasSpiderTimeline x => SwitchSubscribed x a -> IO (Subscriber x a)
newSubscriberCoincidenceOuter :: forall x b. HasSpiderTimeline x => CoincidenceSubscribed x b -> IO (Subscriber x (Event x b))
newSubscriberCoincidenceInner :: forall x a. HasSpiderTimeline x => CoincidenceSubscribed x a -> IO (Subscriber x a)
invalidateSubscriberHeight :: Height -> Subscriber x a -> IO ()
recalculateSubscriberHeight :: Height -> Subscriber x a -> IO ()
propagate :: a -> WeakBag (Subscriber x a) -> EventM x ()
propagateFast :: a -> FastWeakBag (Subscriber x a) -> EventM x ()
toAny :: a -> Any
eventSubscribedRoot :: RootSubscribed x a -> EventSubscribed x
eventSubscribedNever :: EventSubscribed x
eventSubscribedFan :: FanSubscribed x k -> EventSubscribed x
eventSubscribedSwitch :: SwitchSubscribed x a -> EventSubscribed x
eventSubscribedCoincidence :: CoincidenceSubscribed x a -> EventSubscribed x
getEventSubscribedHeight :: EventSubscribed x -> IO Height
subscribeHoldEvent :: Hold x p -> Subscriber x p -> EventM x (EventSubscription x, Maybe p)
behaviorHold :: Hold x p -> Behavior x (PatchTarget p)
behaviorHoldIdentity :: Hold x (Identity a) -> Behavior x a
behaviorConst :: a -> Behavior x a
behaviorPull :: Pull x a -> Behavior x a
behaviorDyn :: Patch p => Dyn x p -> Behavior x (PatchTarget p)
readHoldTracked :: Hold x p -> BehaviorM x (PatchTarget p)
readBehaviorUntracked :: Defer (SomeHoldInit x) m => Behavior x a -> m a
dynamicHold :: Hold x p -> Dynamic x p
dynamicHoldIdentity :: Hold x (Identity a) -> Dynamic x (Identity a)
dynamicConst :: PatchTarget p -> Dynamic x p
dynamicDyn :: (HasSpiderTimeline x, Patch p) => Dyn x p -> Dynamic x p
dynamicDynIdentity :: HasSpiderTimeline x => Dyn x (Identity a) -> Dynamic x (Identity a)
globalSpiderTimelineEnv :: SpiderTimelineEnv Global
runEventM :: EventM x a -> IO a
asksEventEnv :: forall x a. HasSpiderTimeline x => (EventEnv x -> a) -> EventM x a
defer :: Defer a m => a -> m ()
putCurrentHeight :: HasSpiderTimeline x => Height -> EventM x ()
scheduleClear :: Defer SomeClear m => IORef (Maybe a) -> m ()
scheduleIntClear :: Defer SomeIntClear m => IORef (IntMap a) -> m ()
scheduleRootClear :: Defer SomeRootClear m => IORef (DMap k Identity) -> m ()
hold :: (Patch p, Defer (SomeHoldInit x) m) => PatchTarget p -> Event x p -> m (Hold x p)
getHoldEventSubscription :: forall p x. (HasSpiderTimeline x, Patch p) => Hold x p -> EventM x (EventSubscription x)
heightBagEmpty :: HeightBag
heightBagSize :: HeightBag -> Int
heightBagFromList :: [Height] -> HeightBag
heightBagAdd :: Height -> HeightBag -> HeightBag
heightBagRemove :: Height -> HeightBag -> HeightBag
heightBagMax :: HeightBag -> Height
heightBagVerify :: HeightBag -> HeightBag
newInvalidatorSwitch :: SwitchSubscribed x a -> IO (Invalidator x)
newInvalidatorPull :: Pull x a -> IO (Invalidator x)
newMapDyn :: HasSpiderTimeline x => (a -> b) -> Dynamic x (Identity a) -> Dynamic x (Identity b)
zipDynWith :: HasSpiderTimeline x => (a -> b -> c) -> Dynamic x (Identity a) -> Dynamic x (Identity b) -> Dynamic x (Identity c)
buildDynamic :: (Defer (SomeDynInit x) m, Patch p) => EventM x (PatchTarget p) -> Event x p -> m (Dyn x p)
unsafeBuildDynamic :: BehaviorM x (PatchTarget p) -> Event x p -> Dyn x p
unsafeNewIORef :: a -> b -> IORef b
push :: HasSpiderTimeline x => (a -> ComputeM x (Maybe b)) -> Event x a -> Event x b
pull :: BehaviorM x a -> Behavior x a
switch :: HasSpiderTimeline x => Behavior x (Event x a) -> Event x a
coincidence :: HasSpiderTimeline x => Event x (Event x a) -> Event x a
run :: forall x b. HasSpiderTimeline x => [DSum (RootTrigger x) Identity] -> ResultM x b -> SpiderHost x b
scheduleMerge' :: HasSpiderTimeline x => Height -> IORef Height -> EventM x () -> EventM x ()
debugFinalize :: Bool
mkWeakPtrWithDebug :: a -> String -> IO (Weak a)
withIncreasedDepth :: m a -> m a
tracePropagate :: CanTrace x m => proxy x -> String -> m ()
traceInvalidate :: String -> IO ()
traceWhen :: CanTrace x m => proxy x -> Bool -> String -> m ()
traceMWhen :: CanTrace x m => proxy x -> Bool -> m String -> m ()
whoCreatedIORef :: IORef a -> IO [String]
propagateSubscriberHold :: forall x p. (HasSpiderTimeline x, Patch p) => Hold x p -> p -> EventM x ()
runBehaviorM :: BehaviorM x a -> Maybe (Weak (Invalidator x), IORef [SomeBehaviorSubscribed x]) -> IORef [SomeHoldInit x] -> IO a
askInvalidator :: BehaviorM x (Maybe (Weak (Invalidator x)))
askParentsRef :: BehaviorM x (Maybe (IORef [SomeBehaviorSubscribed x]))
askBehaviorHoldInits :: BehaviorM x (IORef [SomeHoldInit x])
getDynHold :: (Defer (SomeHoldInit x) m, Patch p) => Dyn x p -> m (Hold x p)
zeroRef :: IORef Height
getRootSubscribed :: GCompare k => k a -> Root x k -> Subscriber x a -> IO (WeakBagTicket, RootSubscribed x a, Maybe a)
cleanupRootSubscribed :: RootSubscribed x a -> IO ()
subscribeRootSubscribed :: RootSubscribed x a -> Subscriber x a -> IO WeakBagTicket
newFanInt :: IO (FanInt x a)
unsafeNewFanInt :: b -> FanInt x a
fanInt :: HasSpiderTimeline x => Event x (IntMap a) -> EventSelectorInt x a
getFanSubscribed :: (HasSpiderTimeline x, GCompare k) => k a -> Fan x k -> Subscriber x a -> EventM x (WeakBagTicket, FanSubscribed x k, Maybe a)
cleanupFanSubscribed :: GCompare k => (k a, FanSubscribed x k) -> IO ()
subscribeFanSubscribed :: GCompare k => k a -> FanSubscribed x k -> Subscriber x a -> IO WeakBagTicket
getSwitchSubscribed :: HasSpiderTimeline x => Switch x a -> Subscriber x a -> EventM x (WeakBagTicket, SwitchSubscribed x a, Maybe a)
cleanupSwitchSubscribed :: SwitchSubscribed x a -> IO ()
subscribeSwitchSubscribed :: SwitchSubscribed x a -> Subscriber x a -> IO WeakBagTicket
getCoincidenceSubscribed :: forall x a. HasSpiderTimeline x => Coincidence x a -> Subscriber x a -> EventM x (WeakBagTicket, CoincidenceSubscribed x a, Maybe a)
cleanupCoincidenceSubscribed :: CoincidenceSubscribed x a -> IO ()
subscribeCoincidenceSubscribed :: CoincidenceSubscribed x a -> Subscriber x a -> IO WeakBagTicket
merge :: forall k x. (HasSpiderTimeline x, GCompare k) => Dynamic x (PatchDMap k (Event x)) -> Event x (DMap k Identity)
mergeWithMove :: forall k x. (HasSpiderTimeline x, GCompare k) => Dynamic x (PatchDMapWithMove k (Event x)) -> Event x (DMap k Identity)
mergeCheap :: forall k x. (HasSpiderTimeline x, GCompare k) => Dynamic x (PatchDMap k (Event x)) -> Event x (DMap k Identity)
mergeCheapWithMove :: forall k x. (HasSpiderTimeline x, GCompare k) => Dynamic x (PatchDMapWithMove k (Event x)) -> Event x (DMap k Identity)
invalidateMergeHeight :: Merge x k s -> IO ()
invalidateMergeHeight' :: IORef Height -> Subscriber x a -> IO ()
revalidateMergeHeight :: Merge x k s -> IO ()
scheduleMergeSelf :: HasSpiderTimeline x => Merge x k s -> Height -> EventM x ()
mergeSubscriber :: forall x k s a. (HasSpiderTimeline x, GCompare k) => Merge x k s -> EventM x (k a) -> Subscriber x a
updateMerge :: (HasSpiderTimeline x, GCompare k) => Merge x k s -> MergeUpdateFunc k x p s -> p -> SomeMergeUpdate x
mergeCheap' :: forall k x p s. (HasSpiderTimeline x, GCompare k, PatchTarget p ~ DMap k (Event x)) => MergeInitFunc k x s -> MergeUpdateFunc k x p s -> MergeDestroyFunc k s -> Dynamic x p -> Event x (DMap k Identity)
mergeInt :: forall x a. HasSpiderTimeline x => Dynamic x (PatchIntMap (Event x a)) -> Event x (IntMap a)
mergeIntCheap :: forall x a. HasSpiderTimeline x => Dynamic x (PatchIntMap (Event x a)) -> Event x (IntMap a)
fan :: (HasSpiderTimeline x, GCompare k) => Event x (DMap k Identity) -> EventSelector x k
runHoldInits :: HasSpiderTimeline x => IORef [SomeHoldInit x] -> IORef [SomeDynInit x] -> IORef [SomeMergeInit x] -> EventM x ()
initHold :: HasSpiderTimeline x => SomeHoldInit x -> EventM x ()
initDyn :: HasSpiderTimeline x => SomeDynInit x -> EventM x ()
newEventEnv :: IO (EventEnv x)
clearEventEnv :: EventEnv x -> IO ()
runFrame :: forall x a. HasSpiderTimeline x => EventM x a -> SpiderHost x a
zeroHeight :: Height
invalidHeight :: Height
succHeight :: Height -> Height
invalidateCoincidenceHeight :: CoincidenceSubscribed x a -> IO ()
updateSwitchHeight :: Height -> SwitchSubscribed x a -> IO ()
recalculateCoincidenceHeight :: CoincidenceSubscribed x a -> IO ()
calculateSwitchHeight :: SwitchSubscribed x a -> IO Height
calculateCoincidenceHeight :: CoincidenceSubscribed x a -> IO Height
invalidate :: IORef [SomeSwitchSubscribed x] -> WeakList (Invalidator x) -> IO (WeakList (Invalidator x))
newJoinDyn :: HasSpiderTimeline x => Dynamic x (Identity (Dynamic x (Identity a))) -> Dyn x (Identity a)
mapDynamicSpider :: HasSpiderTimeline x => (a -> b) -> Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b
holdSpiderEventM :: HasSpiderTimeline x => a -> Event (SpiderTimeline x) a -> EventM x (Behavior (SpiderTimeline x) a)
holdDynSpiderEventM :: HasSpiderTimeline x => a -> Event (SpiderTimeline x) a -> EventM x (Dynamic (SpiderTimeline x) a)
holdIncrementalSpiderEventM :: (HasSpiderTimeline x, Patch p) => PatchTarget p -> Event (SpiderTimeline x) p -> EventM x (Incremental (SpiderTimeline x) p)
buildDynamicSpiderEventM :: HasSpiderTimeline x => SpiderPushM x a -> Event (SpiderTimeline x) a -> EventM x (Dynamic (SpiderTimeline x) a)
unsafeNewSpiderTimelineEnv :: forall x. IO (SpiderTimelineEnv x)
newSpiderTimeline :: IO (Some SpiderTimelineEnv)
localSpiderTimeline :: Proxy s -> SpiderTimelineEnv x -> SpiderTimelineEnv (LocalSpiderTimeline x s)
withSpiderTimeline :: (forall x. HasSpiderTimeline x => SpiderTimelineEnv x -> IO r) -> IO r
runSpiderHost :: SpiderHost Global a -> IO a
runSpiderHostForTimeline :: SpiderHost x a -> SpiderTimelineEnv x -> IO a
newEventWithTriggerIO :: (RootTrigger x a -> IO (IO ())) -> IO (Event x a)
newFanEventWithTriggerIO :: GCompare k => (forall a. k a -> RootTrigger x a -> IO (IO ())) -> IO (EventSelector x k)

Documentation

pattern SpiderBehavior :: Behavior x a -> Behavior (SpiderTimeline x) a Source #

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

pattern SpiderEvent :: Event x a -> Event (SpiderTimeline x) a Source #

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

pattern SpiderDynamic :: Dynamic x (Identity a) -> Dynamic (SpiderTimeline x) a Source #

unSpiderDynamic :: Dynamic (SpiderTimeline x) a -> Dynamic x (Identity a) Source #

pattern SpiderIncremental :: Dynamic x p -> Incremental (SpiderTimeline x) p Source #

unSpiderIncremental :: Incremental (SpiderTimeline x) p -> Dynamic x p Source #

newtype ReadPhase x a Source #

Constructors

ReadPhase (ResultM x a)

Instances

Monad (ReadPhase x) Source #
Instance details Defined in Reflex.Spider.Internal Methods (>>=) :: ReadPhase x a -> (a -> ReadPhase x b) -> ReadPhase x b # (>>) :: ReadPhase x a -> ReadPhase x b -> ReadPhase x b # return :: a -> ReadPhase x a # fail :: String -> ReadPhase x a #
Functor (ReadPhase x) Source #
Instance details Defined in Reflex.Spider.Internal Methods fmap :: (a -> b) -> ReadPhase x a -> ReadPhase x b # (<$) :: a -> ReadPhase x b -> ReadPhase x a #
MonadFix (ReadPhase x) Source #
Instance details Defined in Reflex.Spider.Internal Methods mfix :: (a -> ReadPhase x a) -> ReadPhase x a #
Applicative (ReadPhase x) Source #
Instance details Defined in Reflex.Spider.Internal Methods pure :: a -> ReadPhase x a # (<>) :: ReadPhase x (a -> b) -> ReadPhase x a -> ReadPhase x b # liftA2 :: (a -> b -> c) -> ReadPhase x a -> ReadPhase x b -> ReadPhase x c # (>) :: ReadPhase x a -> ReadPhase x b -> ReadPhase x b # (<*) :: ReadPhase x a -> ReadPhase x b -> ReadPhase x a #
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 => 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 #
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 #

newtype SpiderHostFrame x a Source #

Constructors

SpiderHostFrame
Fields runSpiderHostFrame :: EventM x a

Instances

Monad (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal Methods (>>=) :: SpiderHostFrame x a -> (a -> SpiderHostFrame x b) -> SpiderHostFrame x b # (>>) :: SpiderHostFrame x a -> SpiderHostFrame x b -> SpiderHostFrame x b # return :: a -> SpiderHostFrame x a # fail :: String -> SpiderHostFrame x a #
Functor (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal Methods fmap :: (a -> b) -> SpiderHostFrame x a -> SpiderHostFrame x b # (<$) :: a -> SpiderHostFrame x b -> SpiderHostFrame x a #
MonadFix (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal Methods mfix :: (a -> SpiderHostFrame x a) -> SpiderHostFrame x a #
Applicative (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal Methods pure :: a -> SpiderHostFrame x a # (<>) :: SpiderHostFrame x (a -> b) -> SpiderHostFrame x a -> SpiderHostFrame x b # liftA2 :: (a -> b -> c) -> SpiderHostFrame x a -> SpiderHostFrame x b -> SpiderHostFrame x c # (>) :: SpiderHostFrame x a -> SpiderHostFrame x b -> SpiderHostFrame x b # (<*) :: SpiderHostFrame x a -> SpiderHostFrame x b -> SpiderHostFrame x a #
MonadIO (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal Methods liftIO :: IO a -> SpiderHostFrame x a #
MonadException (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal Methods throw :: Exception e => e -> SpiderHostFrame x a # catch :: Exception e => SpiderHostFrame x a -> (e -> SpiderHostFrame x a) -> SpiderHostFrame x a # finally :: SpiderHostFrame x a -> SpiderHostFrame x b -> SpiderHostFrame x a #
MonadAsyncException (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal Methods mask :: ((forall a. SpiderHostFrame x a -> SpiderHostFrame x a) -> SpiderHostFrame x b) -> SpiderHostFrame x b #
PrimMonad (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal Associated Types type PrimState (SpiderHostFrame x) :: Type # Methods primitive :: (State# (PrimState (SpiderHostFrame x)) -> (#State# (PrimState (SpiderHostFrame x)), a#)) -> SpiderHostFrame x a #
MonadRef (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal Associated Types type Ref (SpiderHostFrame x) :: Type -> Type # Methods newRef :: a -> SpiderHostFrame x (Ref (SpiderHostFrame x) a) # readRef :: Ref (SpiderHostFrame x) a -> SpiderHostFrame x a # writeRef :: Ref (SpiderHostFrame x) a -> a -> SpiderHostFrame x () # modifyRef :: Ref (SpiderHostFrame x) a -> (a -> a) -> SpiderHostFrame x () # modifyRef' :: Ref (SpiderHostFrame x) a -> (a -> a) -> SpiderHostFrame x () #
MonadAtomicRef (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal Methods atomicModifyRef :: Ref (SpiderHostFrame x) a -> (a -> (a, b)) -> SpiderHostFrame x b # atomicModifyRef' :: Ref (SpiderHostFrame x) a -> (a -> (a, b)) -> SpiderHostFrame x b #
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 => 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) (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 => 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 #
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 #
type PrimState (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal type PrimState (SpiderHostFrame x) = PrimState IO
type Ref (SpiderHostFrame x) Source #
Instance details Defined in Reflex.Spider.Internal type Ref (SpiderHostFrame x) = Ref IO

newtype SpiderHost x a Source #

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

Constructors

SpiderHost
Fields unSpiderHost :: IO a

Instances

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 # fail :: String -> 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 #
MonadFix (SpiderHost x) Source #
Instance details Defined in Reflex.Spider.Internal Methods mfix :: (a -> SpiderHost x a) -> 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 #
MonadIO (SpiderHost x) Source #
Instance details Defined in Reflex.Spider.Internal Methods liftIO :: IO a -> SpiderHost x a #
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 #
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 #
MonadRef (SpiderHost x) Source #
Instance details Defined in Reflex.Spider.Internal Associated Types type Ref (SpiderHost x) :: Type -> Type # 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 () #
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 #
HasSpiderTimeline x => MonadReflexHost (SpiderTimeline x) (SpiderHost x) Source #
Instance details Defined in Reflex.Spider.Internal Associated Types type ReadPhase (SpiderHost x) :: Type -> Type Source # Methods fireEventsAndRead :: [DSum (EventTrigger (SpiderTimeline x)) Identity] -> ReadPhase (SpiderHost x) a -> SpiderHost x a Source # runHostFrame :: HostFrame (SpiderTimeline x) a -> SpiderHost x a Source #
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 => 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 => 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 #
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 #
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

data SpiderEventHandle x a Source #

Constructors

SpiderEventHandle
Fields spiderEventHandleSubscription :: EventSubscription x spiderEventHandleValue :: IORef (Maybe a)

data RootTrigger x a Source #

Constructors

GCompare k => RootTrigger (WeakBag (Subscriber x a), IORef (DMap k Identity), k a)

newtype SpiderPushM x a Source #

Constructors

SpiderPushM (ComputeM x a)

Instances

Monad (SpiderPushM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods (>>=) :: SpiderPushM x a -> (a -> SpiderPushM x b) -> SpiderPushM x b # (>>) :: SpiderPushM x a -> SpiderPushM x b -> SpiderPushM x b # return :: a -> SpiderPushM x a # fail :: String -> SpiderPushM x a #
Functor (SpiderPushM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods fmap :: (a -> b) -> SpiderPushM x a -> SpiderPushM x b # (<$) :: a -> SpiderPushM x b -> SpiderPushM x a #
MonadFix (SpiderPushM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods mfix :: (a -> SpiderPushM x a) -> SpiderPushM x a #
Applicative (SpiderPushM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods pure :: a -> SpiderPushM x a # (<>) :: SpiderPushM x (a -> b) -> SpiderPushM x a -> SpiderPushM x b # liftA2 :: (a -> b -> c) -> SpiderPushM x a -> SpiderPushM x b -> SpiderPushM x c # (>) :: SpiderPushM x a -> SpiderPushM x b -> SpiderPushM x b # (<*) :: SpiderPushM x a -> SpiderPushM x b -> SpiderPushM x a #
MonadIO (SpiderPushM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods liftIO :: IO a -> SpiderPushM x a #
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 #
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 #

type ComputeM = EventM Source #

newtype SpiderPullM x a Source #

Constructors

SpiderPullM (BehaviorM x a)

Instances

Monad (SpiderPullM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods (>>=) :: SpiderPullM x a -> (a -> SpiderPullM x b) -> SpiderPullM x b # (>>) :: SpiderPullM x a -> SpiderPullM x b -> SpiderPullM x b # return :: a -> SpiderPullM x a # fail :: String -> SpiderPullM x a #
Functor (SpiderPullM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods fmap :: (a -> b) -> SpiderPullM x a -> SpiderPullM x b # (<$) :: a -> SpiderPullM x b -> SpiderPullM x a #
MonadFix (SpiderPullM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods mfix :: (a -> SpiderPullM x a) -> SpiderPullM x a #
Applicative (SpiderPullM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods pure :: a -> SpiderPullM x a # (<>) :: SpiderPullM x (a -> b) -> SpiderPullM x a -> SpiderPullM x b # liftA2 :: (a -> b -> c) -> SpiderPullM x a -> SpiderPullM x b -> SpiderPullM x c # (>) :: SpiderPullM x a -> SpiderPullM x b -> SpiderPullM x b # (<*) :: SpiderPullM x a -> SpiderPullM x b -> SpiderPullM x a #
MonadIO (SpiderPullM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods liftIO :: IO a -> SpiderPullM x a #
MonadSample (SpiderTimeline x :: Type) (SpiderPullM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods sample :: Behavior (SpiderTimeline x) a -> SpiderPullM x a Source #

data LocalSpiderTimeline x s Source #

Instances

Reifies s (SpiderTimelineEnv x) => HasSpiderTimeline (LocalSpiderTimeline x s) Source #
Instance details Defined in Reflex.Spider.Internal Methods spiderTimeline :: SpiderTimelineEnv (LocalSpiderTimeline x s) Source #

type SpiderEnv = SpiderTimeline Source #

Deprecated: Use SpiderTimelineEnv instead

SpiderEnv is the old name for SpiderTimeline

type Spider = SpiderTimeline Global Source #

The default, global Spider environment

data SpiderTimeline x Source #

Designates the default, global Spider timeline

Instances

HasSpiderTimeline x => ReflexHost (SpiderTimeline x) Source #
Instance details Defined in Reflex.Spider.Internal Associated Types type EventTrigger (SpiderTimeline x) :: Type -> Type Source # type EventHandle (SpiderTimeline x) :: Type -> Type Source # type HostFrame (SpiderTimeline x) :: Type -> Type Source #
HasSpiderTimeline x => Reflex (SpiderTimeline x :: Type) Source #
Instance details Defined in Reflex.Spider.Internal Associated Types data Behavior (SpiderTimeline x) a :: Type Source # data Event (SpiderTimeline x) a :: Type Source # data Dynamic (SpiderTimeline x) a :: Type Source # data Incremental (SpiderTimeline x) a :: Type Source # type PushM (SpiderTimeline x) :: Type -> Type Source # type PullM (SpiderTimeline x) :: Type -> Type Source # 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 # merge :: GCompare k => DMap k (Event (SpiderTimeline x)) -> Event (SpiderTimeline x) (DMap k Identity) Source # fan :: GCompare k => Event (SpiderTimeline x) (DMap k Identity) -> EventSelector (SpiderTimeline x) k 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 # mergeIncremental :: GCompare k => Incremental (SpiderTimeline x) (PatchDMap k (Event (SpiderTimeline x))) -> Event (SpiderTimeline x) (DMap k Identity) Source # mergeIncrementalWithMove :: GCompare k => Incremental (SpiderTimeline x) (PatchDMapWithMove k (Event (SpiderTimeline x))) -> Event (SpiderTimeline x) (DMap k Identity) 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 # 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 => MonadReflexHost (SpiderTimeline x) (SpiderHost x) Source #
Instance details Defined in Reflex.Spider.Internal Associated Types type ReadPhase (SpiderHost x) :: Type -> Type Source # Methods fireEventsAndRead :: [DSum (EventTrigger (SpiderTimeline x)) Identity] -> ReadPhase (SpiderHost x) a -> SpiderHost x a Source # runHostFrame :: HostFrame (SpiderTimeline x) a -> SpiderHost x a Source #
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 #
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 => 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 => 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) (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 => 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 #
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 #
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 #
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 #
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 #
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 => 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 #
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 #
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) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods sample :: Behavior (SpiderTimeline x) a -> EventM x a Source #
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 # fail :: String -> 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 => 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 #
type EventTrigger (SpiderTimeline x) Source #
Instance details Defined in Reflex.Spider.Internal type EventTrigger (SpiderTimeline x) = RootTrigger x
type EventHandle (SpiderTimeline x) Source #
Instance details Defined in Reflex.Spider.Internal type EventHandle (SpiderTimeline x) = SpiderEventHandle x
type HostFrame (SpiderTimeline x) Source #
Instance details Defined in Reflex.Spider.Internal type HostFrame (SpiderTimeline x) = SpiderHostFrame x
newtype Behavior (SpiderTimeline x :: Type) a Source #
Instance details Defined in Reflex.Spider.Internal newtype Behavior (SpiderTimeline x :: Type) a = SpiderBehavior { unSpiderBehavior :: Behavior x a }
newtype Event (SpiderTimeline x :: Type) a Source #
Instance details Defined in Reflex.Spider.Internal newtype Event (SpiderTimeline x :: Type) a = SpiderEvent { unSpiderEvent :: Event x a }
newtype Dynamic (SpiderTimeline x :: Type) a Source #
Instance details Defined in Reflex.Spider.Internal newtype Dynamic (SpiderTimeline x :: Type) a = SpiderDynamic { unSpiderDynamic :: Dynamic x (Identity a) }
newtype Incremental (SpiderTimeline x :: Type) p Source #
Instance details Defined in Reflex.Spider.Internal newtype Incremental (SpiderTimeline x :: Type) p = SpiderIncremental { unSpiderIncremental :: Dynamic x p }
type PushM (SpiderTimeline x :: Type) Source #
Instance details Defined in Reflex.Spider.Internal type PushM (SpiderTimeline x :: Type) = SpiderPushM x
type PullM (SpiderTimeline x :: Type) Source #
Instance details Defined in Reflex.Spider.Internal type PullM (SpiderTimeline x :: Type) = SpiderPullM x

data SomeSwitchSubscribed x Source #

Constructors

SomeSwitchSubscribed (SwitchSubscribed x a)

newtype Height Source #

Constructors

Height
Fields unHeight :: Int

Instances

Bounded Height Source #
Instance details Defined in Reflex.Spider.Internal Methods minBound :: Height # maxBound :: Height #
Eq Height Source #
Instance details Defined in Reflex.Spider.Internal Methods (==) :: Height -> Height -> Bool # (/=) :: Height -> Height -> Bool #
Ord Height Source #
Instance details Defined in Reflex.Spider.Internal Methods compare :: Height -> Height -> Ordering # (<) :: Height -> Height -> Bool # (<=) :: Height -> Height -> Bool # (>) :: Height -> Height -> Bool # (>=) :: Height -> Height -> Bool # max :: Height -> Height -> Height # min :: Height -> Height -> Height #
Read Height Source #
Instance details Defined in Reflex.Spider.Internal Methods readsPrec :: Int -> ReadS Height # readList :: ReadS [Height] # readPrec :: ReadPrec Height # readListPrec :: ReadPrec [Height] #
Show Height Source #
Instance details Defined in Reflex.Spider.Internal Methods showsPrec :: Int -> Height -> ShowS # show :: Height -> String # showList :: [Height] -> ShowS #

newtype EventSelector x k Source #

Constructors

EventSelector
Fields select :: forall a. k a -> Event x a

data Merge x k s Source #

Constructors

Merge
Fields _merge_parentsRef :: !(IORef (DMap k s)) _merge_heightBagRef :: !(IORef HeightBag) _merge_heightRef :: !(IORef Height) _merge_sub :: !(Subscriber x (DMap k Identity)) _merge_accumRef :: !(IORef (DMap k Identity))

type MergeDestroyFunc k s = DMap k s -> IO () Source #

type MergeInitFunc k x s = DMap k (Event x) -> (forall a. EventM x (k a) -> Subscriber x a) -> EventM x (DMap k Identity, [Height], DMap k s) Source #

type MergeUpdateFunc k x p s = (forall a. EventM x (k a) -> Subscriber x a) -> IORef HeightBag -> DMap k s -> p -> EventM x ([EventSubscription x], DMap k s) Source #

data FanInt x a Source #

Constructors

FanInt
Fields _fanInt_subscribers :: !(FastMutableIntMap (FastWeakBag (Subscriber x a))) _fanInt_subscriptionRef :: !(IORef (EventSubscription x)) _fanInt_occRef :: !(IORef (IntMap a))

newtype EventSelectorInt x a Source #

Constructors

EventSelectorInt
Fields selectInt :: Int -> Event x a

data SomeResetCoincidence x Source #

Constructors

SomeResetCoincidence !(EventSubscription x) !(Maybe (CoincidenceSubscribed x a))

Instances

HasSpiderTimeline x => Defer (SomeResetCoincidence x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeResetCoincidence x]) Source #

type CanTrace x m = (HasSpiderTimeline x, MonadIO m) Source #

type WeakList a = [Weak a] Source #

data SomeAssignment x Source #

Constructors

SomeAssignment !(IORef a) !(IORef [Weak (Invalidator x)]) a

Instances

HasSpiderTimeline x => Defer (SomeAssignment x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeAssignment x]) Source #

data SomeRootClear Source #

Constructors

SomeRootClear !(IORef (DMap k Identity))

Instances

HasSpiderTimeline x => Defer SomeRootClear (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeRootClear]) Source #

data SomeIntClear Source #

Constructors

SomeIntClear !(IORef (IntMap a))

Instances

HasSpiderTimeline x => Defer SomeIntClear (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeIntClear]) Source #

data SomeClear Source #

Constructors

SomeClear !(IORef (Maybe a))

Instances

HasSpiderTimeline x => Defer SomeClear (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeClear]) Source #

type ResultM = EventM Source #

newtype Dyn x p Source #

Constructors

Dyn
Fields unDyn :: IORef (DynType x p)

data DynType x p Source #

Constructors

UnsafeDyn !(BehaviorM x (PatchTarget p), Event x p)
BuildDyn !(EventM x (PatchTarget p), Event x p)
HoldDyn !(Hold x p)

data Coincidence x a Source #

Constructors

Coincidence
Fields coincidenceParent :: !(Event x (Event x a)) coincidenceSubscribed :: !(IORef (Maybe (CoincidenceSubscribed x a)))

data CoincidenceSubscribed x a Source #

Constructors

CoincidenceSubscribed

Fields

coincidenceSubscribedCachedSubscribed :: !(IORef (Maybe (CoincidenceSubscribed x a)))
coincidenceSubscribedOccurrence :: !(IORef (Maybe a))
coincidenceSubscribedSubscribers :: !(WeakBag (Subscriber x a))
coincidenceSubscribedHeight :: !(IORef Height)
coincidenceSubscribedOuter :: (Subscriber x (Event x a))
coincidenceSubscribedOuterParent :: !(EventSubscription x)
coincidenceSubscribedInnerParent :: !(IORef (Maybe (EventSubscribed x)))
coincidenceSubscribedWeakSelf :: !(IORef (Weak (CoincidenceSubscribed x a)))

data Switch x a Source #

Constructors

Switch
Fields switchParent :: !(Behavior x (Event x a)) switchSubscribed :: !(IORef (Maybe (SwitchSubscribed x a)))

data SwitchSubscribed x a Source #

Constructors

SwitchSubscribed

Fields

switchSubscribedCachedSubscribed :: !(IORef (Maybe (SwitchSubscribed x a)))
switchSubscribedOccurrence :: !(IORef (Maybe a))
switchSubscribedHeight :: !(IORef Height)
switchSubscribedSubscribers :: !(WeakBag (Subscriber x a))
switchSubscribedOwnInvalidator :: !(Invalidator x)
switchSubscribedOwnWeakInvalidator :: !(IORef (Weak (Invalidator x)))
switchSubscribedBehaviorParents :: !(IORef [SomeBehaviorSubscribed x])
switchSubscribedParent :: !(Behavior x (Event x a))
switchSubscribedCurrentParent :: !(IORef (EventSubscription x))
switchSubscribedWeakSelf :: !(IORef (Weak (SwitchSubscribed x a)))

data Fan x k Source #

Constructors

Fan
Fields fanParent :: !(Event x (DMap k Identity)) fanSubscribed :: !(IORef (Maybe (FanSubscribed x k)))

data FanSubscribed (x :: *) k Source #

Constructors

FanSubscribed
Fields fanSubscribedCachedSubscribed :: !(IORef (Maybe (FanSubscribed x k))) fanSubscribedOccurrence :: !(IORef (Maybe (DMap k Identity))) fanSubscribedSubscribers :: !(IORef (DMap k (FanSubscribedChildren x k))) fanSubscribedParent :: !(EventSubscription x)

data FanSubscribedChildren (x :: *) k a Source #

Constructors

FanSubscribedChildren
Fields _fanSubscribedChildren_list :: !(WeakBag (Subscriber x a)) _fanSubscribedChildren_self :: !(k a, FanSubscribed x k) _fanSubscribedChildren_weakSelf :: !(IORef (Weak (k a, FanSubscribed x k)))

data HeightBag Source #

Constructors

HeightBag
Fields _heightBag_size :: !Int _heightBag_contents :: !(IntMap Word)

Instances

Eq HeightBag Source #
Instance details Defined in Reflex.Spider.Internal Methods (==) :: HeightBag -> HeightBag -> Bool # (/=) :: HeightBag -> HeightBag -> Bool #
Ord HeightBag Source #
Instance details Defined in Reflex.Spider.Internal Methods compare :: HeightBag -> HeightBag -> Ordering # (<) :: HeightBag -> HeightBag -> Bool # (<=) :: HeightBag -> HeightBag -> Bool # (>) :: HeightBag -> HeightBag -> Bool # (>=) :: HeightBag -> HeightBag -> Bool # max :: HeightBag -> HeightBag -> HeightBag # min :: HeightBag -> HeightBag -> HeightBag #
Read HeightBag Source #
Instance details Defined in Reflex.Spider.Internal Methods readsPrec :: Int -> ReadS HeightBag # readList :: ReadS [HeightBag] # readPrec :: ReadPrec HeightBag # readListPrec :: ReadPrec [HeightBag] #
Show HeightBag Source #
Instance details Defined in Reflex.Spider.Internal Methods showsPrec :: Int -> HeightBag -> ShowS # show :: HeightBag -> String # showList :: [HeightBag] -> ShowS #

data MergeSubscribedParentWithMove x k a Source #

Constructors

MergeSubscribedParentWithMove
Fields _mergeSubscribedParentWithMove_subscription :: !(EventSubscription x) _mergeSubscribedParentWithMove_key :: !(IORef (k a))

newtype MergeSubscribedParent x a Source #

Constructors

MergeSubscribedParent
Fields unMergeSubscribedParent :: EventSubscription x

newtype EventM x a Source #

Constructors

EventM
Fields unEventM :: IO a

Instances

HasSpiderTimeline x => HasCurrentHeight x (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getCurrentHeight :: EventM x Height Source # scheduleMerge :: Height -> EventM x () -> EventM x () Source #
HasSpiderTimeline x => Defer SomeRootClear (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeRootClear]) Source #
HasSpiderTimeline x => Defer SomeIntClear (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeIntClear]) Source #
HasSpiderTimeline x => Defer SomeClear (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeClear]) Source #
Monad (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods (>>=) :: EventM x a -> (a -> EventM x b) -> EventM x b # (>>) :: EventM x a -> EventM x b -> EventM x b # return :: a -> EventM x a # fail :: String -> EventM x a #
Functor (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods fmap :: (a -> b) -> EventM x a -> EventM x b # (<$) :: a -> EventM x b -> EventM x a #
MonadFix (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods mfix :: (a -> EventM x a) -> EventM x a #
Applicative (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods pure :: a -> EventM x a # (<>) :: EventM x (a -> b) -> EventM x a -> EventM x b # liftA2 :: (a -> b -> c) -> EventM x a -> EventM x b -> EventM x c # (>) :: EventM x a -> EventM x b -> EventM x b # (<*) :: EventM x a -> EventM x b -> EventM x a #
MonadIO (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods liftIO :: IO a -> EventM x a #
MonadException (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods throw :: Exception e => e -> EventM x a # catch :: Exception e => EventM x a -> (e -> EventM x a) -> EventM x a # finally :: EventM x a -> EventM x b -> EventM x a #
MonadAsyncException (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods mask :: ((forall a. EventM x a -> EventM x a) -> EventM x b) -> EventM x b #
MonadRef (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Associated Types type Ref (EventM x) :: Type -> Type # Methods newRef :: a -> EventM x (Ref (EventM x) a) # readRef :: Ref (EventM x) a -> EventM x a # writeRef :: Ref (EventM x) a -> a -> EventM x () # modifyRef :: Ref (EventM x) a -> (a -> a) -> EventM x () # modifyRef' :: Ref (EventM x) a -> (a -> a) -> EventM x () #
MonadAtomicRef (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods atomicModifyRef :: Ref (EventM x) a -> (a -> (a, b)) -> EventM x b # atomicModifyRef' :: Ref (EventM x) a -> (a -> (a, b)) -> EventM x b #
HasSpiderTimeline x => Defer (SomeResetCoincidence x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeResetCoincidence x]) Source #
HasSpiderTimeline x => Defer (SomeAssignment x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeAssignment x]) Source #
HasSpiderTimeline x => Defer (SomeMergeInit x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeMergeInit x]) Source #
HasSpiderTimeline x => Defer (SomeMergeUpdate x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeMergeUpdate x]) Source #
HasSpiderTimeline x => Defer (SomeDynInit x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeDynInit x]) Source #
HasSpiderTimeline x => Defer (SomeHoldInit x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeHoldInit x]) 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 #
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 #
type Ref (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal type Ref (EventM x) = Ref IO

newtype SomeMergeInit x Source #

Constructors

SomeMergeInit
Fields unSomeMergeInit :: EventM x ()

Instances

HasSpiderTimeline x => Defer (SomeMergeInit x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeMergeInit x]) Source #

data SomeMergeUpdate x Source #

Constructors

SomeMergeUpdate
Fields _someMergeUpdate_update :: !(EventM x [EventSubscription x]) _someMergeUpdate_invalidateHeight :: !(IO ()) _someMergeUpdate_recalculateHeight :: !(IO ())

Instances

HasSpiderTimeline x => Defer (SomeMergeUpdate x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeMergeUpdate x]) Source #

data SomeDynInit x Source #

Constructors

Patch p => SomeDynInit !(Dyn x p)

Instances

HasSpiderTimeline x => Defer (SomeDynInit x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeDynInit x]) Source #

data SomeHoldInit x Source #

Constructors

Patch p => SomeHoldInit !(Hold x p)

Instances

Defer (SomeHoldInit x) (BehaviorM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: BehaviorM x (IORef [SomeHoldInit x]) Source #
HasSpiderTimeline x => Defer (SomeHoldInit x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeHoldInit x]) Source #

data Root x (k :: * -> *) Source #

Constructors

Root
Fields rootOccurrence :: !(IORef (DMap k Identity)) rootSubscribed :: !(IORef (DMap k (RootSubscribed x))) rootInit :: !(forall a. k a -> RootTrigger x a -> IO (IO ()))

data RootSubscribed x a Source #

Constructors

GCompare k => RootSubscribed
Fields rootSubscribedKey :: !(k a) rootSubscribedCachedSubscribed :: !(IORef (DMap k (RootSubscribed x))) rootSubscribedSubscribers :: !(WeakBag (Subscriber x a)) rootSubscribedOccurrence :: !(IO (Maybe a)) rootSubscribedUninit :: IO () rootSubscribedWeakSelf :: !(IORef (Weak (RootSubscribed x a)))

data Invalidator x Source #

Constructors

InvalidatorPull (Pull x a)
InvalidatorSwitch (SwitchSubscribed x a)

data Pull x a Source #

Constructors

Pull
Fields pullValue :: !(IORef (Maybe (PullSubscribed x a))) pullCompute :: !(BehaviorM x a)

data PullSubscribed x a Source #

Constructors

PullSubscribed
Fields pullSubscribedValue :: !a pullSubscribedInvalidators :: !(IORef [Weak (Invalidator x)]) pullSubscribedOwnInvalidator :: !(Invalidator x) pullSubscribedParents :: ![SomeBehaviorSubscribed x]

data SomeBehaviorSubscribed x Source #

Constructors

SomeBehaviorSubscribed (BehaviorSubscribed x a)

data BehaviorSubscribed x a Source #

Constructors

BehaviorSubscribedHold (Hold x p)
BehaviorSubscribedPull (PullSubscribed x a)

newtype BehaviorM x a Source #

Constructors

BehaviorM
Fields unBehaviorM :: ReaderT (BehaviorEnv x) IO a

Instances

Monad (BehaviorM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods (>>=) :: BehaviorM x a -> (a -> BehaviorM x b) -> BehaviorM x b # (>>) :: BehaviorM x a -> BehaviorM x b -> BehaviorM x b # return :: a -> BehaviorM x a # fail :: String -> BehaviorM x a #
Functor (BehaviorM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods fmap :: (a -> b) -> BehaviorM x a -> BehaviorM x b # (<$) :: a -> BehaviorM x b -> BehaviorM x a #
MonadFix (BehaviorM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods mfix :: (a -> BehaviorM x a) -> BehaviorM x a #
Applicative (BehaviorM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods pure :: a -> BehaviorM x a # (<>) :: BehaviorM x (a -> b) -> BehaviorM x a -> BehaviorM x b # liftA2 :: (a -> b -> c) -> BehaviorM x a -> BehaviorM x b -> BehaviorM x c # (>) :: BehaviorM x a -> BehaviorM x b -> BehaviorM x b # (<*) :: BehaviorM x a -> BehaviorM x b -> BehaviorM x a #
MonadIO (BehaviorM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods liftIO :: IO a -> BehaviorM x a #
Defer (SomeHoldInit x) (BehaviorM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: BehaviorM x (IORef [SomeHoldInit x]) Source #

type BehaviorEnv x = (Maybe (Weak (Invalidator x), IORef [SomeBehaviorSubscribed x]), IORef [SomeHoldInit x]) Source #

class HasSpiderTimeline x where Source #

Methods

spiderTimeline :: SpiderTimelineEnv x Source #

Retrieve the current SpiderTimelineEnv

Instances

HasSpiderTimeline Global Source #
Instance details Defined in Reflex.Spider.Internal Methods spiderTimeline :: SpiderTimelineEnv Global Source #
Reifies s (SpiderTimelineEnv x) => HasSpiderTimeline (LocalSpiderTimeline x s) Source #
Instance details Defined in Reflex.Spider.Internal Methods spiderTimeline :: SpiderTimelineEnv (LocalSpiderTimeline x s) Source #

class HasSpiderTimeline x => HasCurrentHeight x m | m -> x where Source #

Methods

getCurrentHeight :: m Height Source #

scheduleMerge :: Height -> EventM x () -> m () Source #

Instances

HasSpiderTimeline x => HasCurrentHeight x (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getCurrentHeight :: EventM x Height Source # scheduleMerge :: Height -> EventM x () -> EventM x () Source #

class MonadIO m => Defer a m where Source #

Methods

getDeferralQueue :: m (IORef [a]) Source #

Instances

HasSpiderTimeline x => Defer SomeRootClear (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeRootClear]) Source #
HasSpiderTimeline x => Defer SomeIntClear (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeIntClear]) Source #
HasSpiderTimeline x => Defer SomeClear (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeClear]) Source #
HasSpiderTimeline x => Defer (SomeResetCoincidence x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeResetCoincidence x]) Source #
HasSpiderTimeline x => Defer (SomeAssignment x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeAssignment x]) Source #
HasSpiderTimeline x => Defer (SomeMergeInit x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeMergeInit x]) Source #
HasSpiderTimeline x => Defer (SomeMergeUpdate x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeMergeUpdate x]) Source #
HasSpiderTimeline x => Defer (SomeDynInit x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeDynInit x]) Source #
Defer (SomeHoldInit x) (BehaviorM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: BehaviorM x (IORef [SomeHoldInit x]) Source #
HasSpiderTimeline x => Defer (SomeHoldInit x) (EventM x) Source #
Instance details Defined in Reflex.Spider.Internal Methods getDeferralQueue :: EventM x (IORef [SomeHoldInit x]) Source #

data EventEnv x Source #

Constructors

EventEnv

Fields

eventEnvAssignments :: !(IORef [SomeAssignment x])
eventEnvHoldInits :: !(IORef [SomeHoldInit x])
eventEnvDynInits :: !(IORef [SomeDynInit x])
eventEnvMergeUpdates :: !(IORef [SomeMergeUpdate x])
eventEnvMergeInits :: !(IORef [SomeMergeInit x])
eventEnvClears :: !(IORef [SomeClear])
eventEnvIntClears :: !(IORef [SomeIntClear])
eventEnvRootClears :: !(IORef [SomeRootClear])
eventEnvCurrentHeight :: !(IORef Height)
eventEnvResetCoincidences :: !(IORef [SomeResetCoincidence x])
eventEnvDelayedMerges :: !(IORef (IntMap [EventM x ()]))

data SpiderTimelineEnv x Source #

Stores all global data relevant to a particular Spider timeline; only one value should exist for each type x

Constructors

SpiderTimelineEnv
Fields _spiderTimeline_lock :: !(MVar ()) _spiderTimeline_eventEnv :: !(EventEnv x)

Instances

Eq (SpiderTimelineEnv x) Source #
Instance details Defined in Reflex.Spider.Internal Methods (==) :: SpiderTimelineEnv x -> SpiderTimelineEnv x -> Bool # (/=) :: SpiderTimelineEnv x -> SpiderTimelineEnv x -> Bool #
GEq SpiderTimelineEnv Source #
Instance details Defined in Reflex.Spider.Internal Methods geq :: SpiderTimelineEnv a -> SpiderTimelineEnv b -> Maybe (a := b) #

data Global Source #

A statically allocated SpiderTimeline

Instances

HasSpiderTimeline Global Source #
Instance details Defined in Reflex.Spider.Internal Methods spiderTimeline :: SpiderTimelineEnv Global Source #

data Hold x p Source #

Constructors

Hold
Fields holdValue :: !(IORef (PatchTarget p)) holdInvalidators :: !(IORef [Weak (Invalidator x)]) holdEvent :: Event x p holdParent :: !(IORef (Maybe (EventSubscription x)))

data Dynamic x p Source #

Constructors

Dynamic
Fields dynamicCurrent :: !(Behavior x (PatchTarget p)) dynamicUpdated :: !(Event x p)

newtype Behavior x a Source #

Constructors

Behavior
Fields readBehaviorTracked :: BehaviorM x a

Instances

Functor (Behavior x) Source #
Instance details Defined in Reflex.Spider.Internal Methods fmap :: (a -> b) -> Behavior x a -> Behavior x b # (<$) :: a -> Behavior x b -> Behavior x a #

data EventSubscribed x Source #

Constructors

EventSubscribed
Fields eventSubscribedHeightRef :: !(IORef Height) eventSubscribedRetained :: !Any

data Subscriber x a Source #

Constructors

Subscriber
Fields subscriberPropagate :: !(a -> EventM x ()) subscriberInvalidateHeight :: !(Height -> IO ()) subscriberRecalculateHeight :: !(Height -> IO ())

data CacheSubscribed x a Source #

Constructors

CacheSubscribed
Fields _cacheSubscribed_subscribers :: !(FastWeakBag (Subscriber x a)) _cacheSubscribed_parent :: !(EventSubscription x) _cacheSubscribed_occurrence :: !(IORef (Maybe a))

newtype Event x a Source #

Constructors

Event
Fields unEvent :: Subscriber x a -> EventM x (EventSubscription x, Maybe a)

Instances

HasSpiderTimeline x => Functor (Event x) Source #
Instance details Defined in Reflex.Spider.Internal Methods fmap :: (a -> b) -> Event x a -> Event x b # (<$) :: a -> Event x b -> Event x a #
HasSpiderTimeline x => Align (Event x) Source #
Instance details Defined in Reflex.Spider.Internal Methods nil :: Event x a # align :: Event x a -> Event x b -> Event x (These a b) # alignWith :: (These a b -> c) -> Event x a -> Event x b -> Event x c #
HasSpiderTimeline x => FunctorMaybe (Event x) Source #
Instance details Defined in Reflex.Spider.Internal Methods fmapMaybe :: (a -> Maybe b) -> Event x a -> Event x b Source #

data EventSubscription x Source #

Constructors

EventSubscription
Fields _eventSubscription_unsubscribe :: !(IO ()) _eventSubscription_subscribed :: !(EventSubscribed x)

debugPropagate :: Bool Source #

debugInvalidateHeight :: Bool Source #

debugInvalidate :: Bool Source #

showNodeId :: a -> String Source #

unsubscribe :: EventSubscription x -> IO () Source #

subscribeAndRead :: Event x a -> Subscriber x a -> EventM x (EventSubscription x, Maybe a) Source #

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

Construct an Event equivalent to that constructed by push, but with no caching; if the computation function is very cheap, this is (much) more efficient than push

terminalSubscriber :: (a -> EventM x ()) -> Subscriber x a Source #

A subscriber that never triggers other Events

subscribeAndReadHead :: Event x a -> Subscriber x a -> EventM x (EventSubscription x, Maybe a) Source #

Subscribe to an Event only for the duration of one occurrence

headE :: (MonadIO m, Defer (SomeMergeInit x) m) => Event x a -> m (Event x a) Source #

cacheEvent :: forall x a. HasSpiderTimeline x => Event x a -> Event x a Source #

Construct an Event whose value is guaranteed not to be recomputed repeatedly

TODO: Try a caching strategy where we subscribe directly to the parent when there's only one subscriber, and then build our own FastWeakBag only when a second subscriber joins

subscribe :: Event x a -> Subscriber x a -> EventM x (EventSubscription x) Source #

wrap :: MonadIO m => (t -> EventSubscribed x) -> (Subscriber x a -> m (WeakBagTicket, t, Maybe a)) -> Subscriber x a -> m (EventSubscription x, Maybe a) Source #

eventRoot :: GCompare k => k a -> Root x k -> Event x a Source #

eventNever :: Event x a Source #

eventFan :: (GCompare k, HasSpiderTimeline x) => k a -> Fan x k -> Event x a Source #

eventSwitch :: HasSpiderTimeline x => Switch x a -> Event x a Source #

eventCoincidence :: HasSpiderTimeline x => Coincidence x a -> Event x a Source #

eventHold :: Hold x p -> Event x p Source #

eventDyn :: (HasSpiderTimeline x, Patch p) => Dyn x p -> Event x p Source #

subscribeCoincidenceInner :: HasSpiderTimeline x => Event x a -> Height -> CoincidenceSubscribed x a -> EventM x (Maybe a, Height, EventSubscribed x) Source #

newSubscriberHold :: (HasSpiderTimeline x, Patch p) => Hold x p -> IO (Subscriber x p) Source #

newSubscriberFan :: forall x k. (HasSpiderTimeline x, GCompare k) => FanSubscribed x k -> IO (Subscriber x (DMap k Identity)) Source #