Reflex.Spider.Internal

Documentation

debugPropagate :: Bool

debugInvalidateHeight :: Bool

showNodeId :: a -> String

data Hold a

Constructors

Hold

Fields

• holdValue :: !(IORef a)
• holdInvalidators :: !(IORef [Weak Invalidator])
• holdSubscriber :: !(IORef Any)
• holdParent :: !(IORef Any)

data EventEnv

Constructors

EventEnv

Fields

• eventEnvAssignments :: !(IORef [SomeAssignment])
• eventEnvHoldInits :: !(IORef [SomeHoldInit])
• eventEnvClears :: !(IORef [SomeMaybeIORef])
• eventEnvRootClears :: !(IORef [SomeDMapIORef])
• eventEnvCurrentHeight :: !(IORef Int)
• eventEnvCoincidenceInfos :: !(IORef [SomeCoincidenceInfo])
• eventEnvDelayedMerges :: !(IORef (IntMap [DelayedMerge]))

runEventM :: EventM a -> EventEnv -> IO a

askToAssignRef :: EventM (IORef [SomeAssignment])

askHoldInitRef :: EventM (IORef [SomeHoldInit])

getCurrentHeight :: EventM Int

putCurrentHeight :: Int -> EventM ()

scheduleClear :: IORef (Maybe a) -> EventM ()

scheduleRootClear :: IORef (DMap k Identity) -> EventM ()

scheduleMerge :: Int -> MergeSubscribed a -> EventM ()

emitCoincidenceInfo :: SomeCoincidenceInfo -> EventM ()

hold :: a -> Event a -> EventM (Behavior a)

subscribeHold :: Event a -> Hold a -> EventM ()

newtype BehaviorM a

Constructors

BehaviorM

Fields

• unBehaviorM :: ReaderT (Maybe (Weak Invalidator, IORef [SomeBehaviorSubscribed])) IO a

Instances

Monad BehaviorM

Methods

(>>=) :: BehaviorM a -> (a -> BehaviorM b) -> BehaviorM b

(>>) :: BehaviorM a -> BehaviorM b -> BehaviorM b

return :: a -> BehaviorM a

fail :: String -> BehaviorM a

Functor BehaviorM

Methods

fmap :: (a -> b) -> BehaviorM a -> BehaviorM b

(<$) :: a -> BehaviorM b -> BehaviorM a

MonadFix BehaviorM

Methods

mfix :: (a -> BehaviorM a) -> BehaviorM a

Applicative BehaviorM

Methods

pure :: a -> BehaviorM a

(<*>) :: BehaviorM (a -> b) -> BehaviorM a -> BehaviorM b

(*>) :: BehaviorM a -> BehaviorM b -> BehaviorM b

(<*) :: BehaviorM a -> BehaviorM b -> BehaviorM a

MonadIO BehaviorM

Methods

liftIO :: IO a -> BehaviorM a

MonadSample Spider BehaviorM

Methods

sample :: Behavior Spider a -> BehaviorM a

data BehaviorSubscribed a

Constructors

BehaviorSubscribedHold (Hold a)

BehaviorSubscribedPull (PullSubscribed a)

data SomeBehaviorSubscribed

Constructors

SomeBehaviorSubscribed (BehaviorSubscribed a)

data PullSubscribed a

Constructors

PullSubscribed

Fields

• pullSubscribedValue :: !a
• pullSubscribedInvalidators :: !(IORef [Weak Invalidator])
• pullSubscribedOwnInvalidator :: !Invalidator
• pullSubscribedParents :: ![SomeBehaviorSubscribed]

data Pull a

Constructors

Pull

Fields

• pullValue :: !(IORef (Maybe (PullSubscribed a)))
• pullCompute :: !(BehaviorM a)

data Invalidator

Constructors

InvalidatorPull (Pull a)

InvalidatorSwitch (SwitchSubscribed a)

data RootSubscribed a

Constructors

RootSubscribed

Fields

• rootSubscribedSubscribers :: !(IORef [WeakSubscriber a])
• rootSubscribedOccurrence :: !(IO (Maybe a))

data Root k

Constructors

Root

Fields

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

data SomeHoldInit

Constructors

SomeHoldInit (Event a) (Hold a)

newtype EventM a

Constructors

EventM

Fields

• unEventM :: ReaderT EventEnv IO a

Instances

Monad EventM

Methods

(>>=) :: EventM a -> (a -> EventM b) -> EventM b

(>>) :: EventM a -> EventM b -> EventM b

return :: a -> EventM a

fail :: String -> EventM a

Functor EventM

Methods

fmap :: (a -> b) -> EventM a -> EventM b

(<$) :: a -> EventM b -> EventM a

MonadFix EventM

Methods

mfix :: (a -> EventM a) -> EventM a

Applicative EventM

Methods

pure :: a -> EventM a

(<*>) :: EventM (a -> b) -> EventM a -> EventM b

(*>) :: EventM a -> EventM b -> EventM b

(<*) :: EventM a -> EventM b -> EventM a

MonadIO EventM

Methods

liftIO :: IO a -> EventM a

MonadException EventM

Methods

throw :: Exception e => e -> EventM a

catch :: Exception e => EventM a -> (e -> EventM a) -> EventM a

finally :: EventM a -> EventM b -> EventM a

MonadAsyncException EventM

Methods

mask :: ((forall a. EventM a -> EventM a) -> EventM b) -> EventM b

MonadRef EventM

Associated Types

type Ref (EventM :: * -> *) :: * -> *

Methods

newRef :: a -> EventM (Ref EventM a)

readRef :: Ref EventM a -> EventM a

writeRef :: Ref EventM a -> a -> EventM ()

modifyRef :: Ref EventM a -> (a -> a) -> EventM ()

modifyRef' :: Ref EventM a -> (a -> a) -> EventM ()

MonadAtomicRef EventM

Methods

atomicModifyRef :: Ref EventM a -> (a -> (a, b)) -> EventM b

atomicModifyRef' :: Ref EventM a -> (a -> (a, b)) -> EventM b

MonadHold Spider EventM

Methods

hold :: a -> Event Spider a -> EventM (Behavior Spider a)

MonadSample Spider EventM

Methods

sample :: Behavior Spider a -> EventM a

type Ref EventM

type Ref EventM = Ref IO

data PushSubscribed a b

Constructors

PushSubscribed

Fields

• pushSubscribedOccurrence :: !(IORef (Maybe b))
• pushSubscribedHeight :: !(IORef Int)
• pushSubscribedSubscribers :: !(IORef [WeakSubscriber b])
• pushSubscribedSelf :: !(Subscriber a)
• pushSubscribedParent :: !(EventSubscribed a)

data Push a b

Constructors

Push

Fields

• pushCompute :: !(a -> EventM (Maybe b))
• pushParent :: !(Event a)
• pushSubscribed :: !(IORef (Maybe (PushSubscribed a b)))

data MergeSubscribed k

Constructors

MergeSubscribed

Fields

• mergeSubscribedOccurrence :: !(IORef (Maybe (DMap k Identity)))
• mergeSubscribedAccum :: !(IORef (DMap k Identity))
• mergeSubscribedHeight :: !(IORef Int)
• mergeSubscribedSubscribers :: !(IORef [WeakSubscriber (DMap k Identity)])
• mergeSubscribedSelf :: !Any
• mergeSubscribedParents :: !(DMap k EventSubscribed)

data Merge k

Constructors

Merge

Fields

• mergeParents :: !(DMap k Event)
• mergeSubscribed :: !(IORef (Maybe (MergeSubscribed k)))

data FanSubscriberKey k a where

Constructors

FanSubscriberKey :: k a -> FanSubscriberKey k [WeakSubscriber a]

Instances

GCompare * k => GCompare * (FanSubscriberKey k)

Methods

gcompare :: f a -> f b -> GOrdering (FanSubscriberKey k) a b

GEq * k => GEq * (FanSubscriberKey k)

Methods

geq :: f a -> f b -> Maybe ((FanSubscriberKey k := a) b)

data FanSubscribed k

Constructors

FanSubscribed

Fields

• fanSubscribedSubscribers :: !(IORef (DMap (FanSubscriberKey k) Identity))
• fanSubscribedParent :: !(EventSubscribed (DMap k Identity))
• fanSubscribedSelf :: (Subscriber (DMap k Identity))

data Fan k

Constructors

Fan

Fields

• fanParent :: !(Event (DMap k Identity))
• fanSubscribed :: !(IORef (Maybe (FanSubscribed k)))

data SwitchSubscribed a

Constructors

SwitchSubscribed

Fields

• switchSubscribedOccurrence :: !(IORef (Maybe a))
• switchSubscribedHeight :: !(IORef Int)
• switchSubscribedSubscribers :: !(IORef [WeakSubscriber a])
• switchSubscribedSelf :: (Subscriber a)
• switchSubscribedSelfWeak :: !(IORef (Weak (Subscriber a)))
• switchSubscribedOwnInvalidator :: Invalidator
• switchSubscribedOwnWeakInvalidator :: !(IORef (Weak Invalidator))
• switchSubscribedBehaviorParents :: !(IORef [SomeBehaviorSubscribed])
• switchSubscribedParent :: !(Behavior (Event a))
• switchSubscribedCurrentParent :: !(IORef (EventSubscribed a))

data Switch a

Constructors

Switch

Fields

• switchParent :: !(Behavior (Event a))
• switchSubscribed :: !(IORef (Maybe (SwitchSubscribed a)))

data CoincidenceSubscribed a

Constructors

CoincidenceSubscribed

Fields

• coincidenceSubscribedOccurrence :: !(IORef (Maybe a))
• coincidenceSubscribedSubscribers :: !(IORef [WeakSubscriber a])
• coincidenceSubscribedHeight :: !(IORef Int)
• coincidenceSubscribedOuter :: (Subscriber (Event a))
• coincidenceSubscribedOuterParent :: !(EventSubscribed (Event a))
• coincidenceSubscribedInnerParent :: !(IORef (Maybe (EventSubscribed a)))

data Coincidence a

Constructors

Coincidence

Fields

• coincidenceParent :: !(Event (Event a))
• coincidenceSubscribed :: !(IORef (Maybe (CoincidenceSubscribed a)))

data Box a

Constructors

Box

Fields

• unBox :: a

data WeakSubscriber a

Constructors

GCompare k => WeakSubscriberMerge !(k a) !(Weak (Box (MergeSubscribed k)))

WeakSubscriberSimple !(Weak (Subscriber a))

showWeakSubscriberType :: WeakSubscriber a -> String

deRefWeakSubscriber :: WeakSubscriber a -> IO (Maybe (Subscriber a))

data Subscriber a

Constructors

SubscriberPush !(a -> EventM (Maybe b)) (PushSubscribed a b)

GCompare k => SubscriberMerge !(k a) (MergeSubscribed k)

(GCompare k, a ~ DMap k Identity) => SubscriberFan (FanSubscribed k)

SubscriberHold !(Hold a)

SubscriberSwitch (SwitchSubscribed a)

(a ~ Event b) => SubscriberCoincidenceOuter (CoincidenceSubscribed b)

SubscriberCoincidenceInner (CoincidenceSubscribed a)

showSubscriberType :: Subscriber a -> String

data Event a

Constructors

GCompare k => EventRoot !(k a) !(Root k)

EventNever

EventPush !(Push b a)

(GCompare k, a ~ DMap k Identity) => EventMerge !(Merge k)

GCompare k => EventFan !(k a) !(Fan k)

EventSwitch !(Switch a)

EventCoincidence !(Coincidence a)

Instances

Functor Event

Methods

fmap :: (a -> b) -> Event a -> Event b

(<$) :: a -> Event b -> Event a

showEventType :: Event a -> String

data EventSubscribed a

Constructors

EventSubscribedRoot (RootSubscribed a)

EventSubscribedNever

EventSubscribedPush !(PushSubscribed b a)

(GCompare k, a ~ DMap k Identity) => EventSubscribedMerge !(MergeSubscribed k)

GCompare k => EventSubscribedFan !(k a) !(FanSubscribed k)

EventSubscribedSwitch !(SwitchSubscribed a)

EventSubscribedCoincidence !(CoincidenceSubscribed a)

newRootSubscribed :: IO (Maybe a) -> IORef [WeakSubscriber a] -> IO (RootSubscribed a)

newSubscriberPush :: (a -> EventM (Maybe b)) -> PushSubscribed a b -> IO (Subscriber a)

newSubscriberHold :: Hold a -> IO (Subscriber a)

newSubscriberFan :: GCompare k => FanSubscribed k -> IO (Subscriber (DMap k Identity))

newSubscriberSwitch :: SwitchSubscribed a -> IO (Subscriber a)

newSubscriberCoincidenceOuter :: CoincidenceSubscribed b -> IO (Subscriber (Event b))

newSubscriberCoincidenceInner :: CoincidenceSubscribed a -> IO (Subscriber a)

newInvalidatorSwitch :: SwitchSubscribed a -> IO Invalidator

newInvalidatorPull :: Pull a -> IO Invalidator

newBox :: a -> IO (Box a)

data Behavior a

Constructors

BehaviorHold !(Hold a)

BehaviorConst !a

BehaviorPull !(Pull a)

Instances

Functor Behavior

Methods

fmap :: (a -> b) -> Behavior a -> Behavior b

(<$) :: a -> Behavior b -> Behavior a

type ResultM = EventM

unsafeNewIORef :: a -> b -> IORef b

push :: (a -> EventM (Maybe b)) -> Event a -> Event b

pull :: BehaviorM a -> Behavior a

switch :: Behavior (Event a) -> Event a

coincidence :: Event (Event a) -> Event a

newRoot :: IO (Root k)

propagateAndUpdateSubscribersRef :: IORef [WeakSubscriber a] -> a -> EventM ()

run :: [DSum RootTrigger Identity] -> ResultM b -> IO b

data SomeMaybeIORef

Constructors

SomeMaybeIORef (IORef (Maybe a))

data SomeDMapIORef

Constructors

SomeDMapIORef (IORef (DMap k Identity))

data SomeAssignment

Constructors

SomeAssignment (Hold a) a

data DelayedMerge

Constructors

DelayedMerge (MergeSubscribed k)

debugFinalize :: Bool

mkWeakPtrWithDebug :: a -> String -> IO (Weak a)

type WeakList a = [Weak a]

traverseAndCleanWeakList_ :: Monad m => (wa -> m (Maybe a)) -> [wa] -> (a -> m ()) -> m [wa]

propagate :: a -> [WeakSubscriber a] -> EventM [WeakSubscriber a]

Propagate everything at the current height

data SomeCoincidenceInfo

Constructors

SomeCoincidenceInfo (Weak (Subscriber a)) (Subscriber a) (Maybe (CoincidenceSubscribed a))

subscribeCoincidenceInner :: Event a -> Int -> CoincidenceSubscribed a -> EventM (Maybe a, Int, EventSubscribed a)

readBehavior :: Behavior a -> IO a

runBehaviorM :: BehaviorM a -> Maybe (Weak Invalidator, IORef [SomeBehaviorSubscribed]) -> IO a

askInvalidator :: BehaviorM (Maybe (Weak Invalidator))

askParentsRef :: BehaviorM (Maybe (IORef [SomeBehaviorSubscribed]))

readBehaviorTracked :: Behavior a -> BehaviorM a

readEvent :: Event a -> ResultM (Maybe a)

zeroRef :: IORef Int

getEventSubscribed :: Event a -> EventM (EventSubscribed a)

debugSubscribe :: Bool

subscribeEventSubscribed :: EventSubscribed a -> WeakSubscriber a -> IO ()

getEventSubscribedOcc :: EventSubscribed a -> IO (Maybe a)

eventSubscribedHeightRef :: EventSubscribed a -> IORef Int

subscribe :: Event a -> WeakSubscriber a -> EventM (EventSubscribed a)

noinlineFalse :: Bool

getRootSubscribed :: GCompare k => k a -> Root k -> EventM (RootSubscribed a)

getPushSubscribed :: Push a b -> EventM (PushSubscribed a b)

getMergeSubscribed :: forall k. GCompare k => Merge k -> EventM (MergeSubscribed k)

getFanSubscribed :: GCompare k => Fan k -> EventM (FanSubscribed k)

getSwitchSubscribed :: Switch a -> EventM (SwitchSubscribed a)

getCoincidenceSubscribed :: forall a. Coincidence a -> EventM (CoincidenceSubscribed a)

merge :: GCompare k => DMap k Event -> Event (DMap k Identity)

newtype EventSelector k

Constructors

EventSelector

Fields

• select :: forall a. k a -> Event a

fan :: GCompare k => Event (DMap k Identity) -> EventSelector k

runFrame :: EventM a -> IO a

Run an event action outside of a frame

invalidHeight :: Int

invalidateSubscriberHeight :: WeakSubscriber a -> IO ()

invalidateCoincidenceHeight :: CoincidenceSubscribed a -> IO ()

recalculateSubscriberHeight :: WeakSubscriber a -> IO ()

recalculateCoincidenceHeight :: CoincidenceSubscribed a -> IO ()

calculateMergeHeight :: MergeSubscribed k -> IO Int

calculateSwitchHeight :: SwitchSubscribed a -> IO Int

calculateCoincidenceHeight :: CoincidenceSubscribed a -> IO Int

data SomeSwitchSubscribed

Constructors

SomeSwitchSubscribed (SwitchSubscribed a)

debugInvalidate :: Bool

invalidate :: IORef [SomeSwitchSubscribed] -> WeakList Invalidator -> IO (WeakList Invalidator)

data Spider

Instances

Reflex Spider

Associated Types

data Behavior Spider a :: *

data Event Spider a :: *

type PushM Spider :: * -> *

type PullM Spider :: * -> *

Methods

never :: Event Spider a

constant :: a -> Behavior Spider a

push :: (a -> PushM Spider (Maybe b)) -> Event Spider a -> Event Spider b

pull :: PullM Spider a -> Behavior Spider a

merge :: GCompare * k => DMap * k (Event Spider) -> Event Spider (DMap * k Identity)

fan :: GCompare * k => Event Spider (DMap * k Identity) -> EventSelector Spider k

switch :: Behavior Spider (Event Spider a) -> Event Spider a

coincidence :: Event Spider (Event Spider a) -> Event Spider a

ReflexHost Spider

Associated Types

type EventTrigger Spider :: * -> *

type EventHandle Spider :: * -> *

type HostFrame Spider :: * -> *

MonadHold Spider ReadPhase

Methods

hold :: a -> Event Spider a -> ReadPhase (Behavior Spider a)

MonadHold Spider SpiderHostFrame

Methods

hold :: a -> Event Spider a -> SpiderHostFrame (Behavior Spider a)

MonadHold Spider SpiderHost

Methods

hold :: a -> Event Spider a -> SpiderHost (Behavior Spider a)

MonadHold Spider EventM

Methods

hold :: a -> Event Spider a -> EventM (Behavior Spider a)

MonadSample Spider ReadPhase

Methods

sample :: Behavior Spider a -> ReadPhase a

MonadSample Spider SpiderHostFrame

Methods

sample :: Behavior Spider a -> SpiderHostFrame a

MonadSample Spider SpiderHost

Methods

sample :: Behavior Spider a -> SpiderHost a

MonadSample Spider EventM

Methods

sample :: Behavior Spider a -> EventM a

MonadSample Spider BehaviorM

Methods

sample :: Behavior Spider a -> BehaviorM a

MonadReflexHost Spider SpiderHost

Associated Types

type ReadPhase (SpiderHost :: * -> *) :: * -> *

Methods

fireEventsAndRead :: [DSum * (EventTrigger Spider) Identity] -> ReadPhase SpiderHost a -> SpiderHost a

runHostFrame :: HostFrame Spider a -> SpiderHost a

MonadReflexCreateTrigger Spider SpiderHostFrame

Methods

newEventWithTrigger :: (EventTrigger Spider a -> IO (IO ())) -> SpiderHostFrame (Event Spider a)

newFanEventWithTrigger :: GCompare * k => (forall a. k a -> EventTrigger Spider a -> IO (IO ())) -> SpiderHostFrame (EventSelector Spider k)

MonadReflexCreateTrigger Spider SpiderHost

Methods

newEventWithTrigger :: (EventTrigger Spider a -> IO (IO ())) -> SpiderHost (Event Spider a)

newFanEventWithTrigger :: GCompare * k => (forall a. k a -> EventTrigger Spider a -> IO (IO ())) -> SpiderHost (EventSelector Spider k)

MonadReadEvent Spider ReadPhase

Methods

readEvent :: EventHandle Spider a -> ReadPhase (Maybe (ReadPhase a))

MonadSubscribeEvent Spider SpiderHostFrame

Methods

subscribeEvent :: Event Spider a -> SpiderHostFrame (EventHandle Spider a)

MonadSubscribeEvent Spider SpiderHost

Methods

subscribeEvent :: Event Spider a -> SpiderHost (EventHandle Spider a)

data Behavior Spider

data Behavior Spider = SpiderBehavior {

• unSpiderBehavior :: Behavior a

}

data Event Spider

data Event Spider = SpiderEvent {

• unSpiderEvent :: Event a

}

type PushM Spider

type PushM Spider = EventM

type PullM Spider

type PullM Spider = BehaviorM

type EventTrigger Spider

type EventTrigger Spider = RootTrigger

type EventHandle Spider

type EventHandle Spider = SpiderEventHandle

type HostFrame Spider

type HostFrame Spider = SpiderHostFrame

data RootTrigger a

Constructors

GCompare k => RootTrigger (IORef [WeakSubscriber a], IORef (DMap k Identity), k a)

newtype SpiderEventHandle a

Constructors

SpiderEventHandle

Fields

• unEventHandle :: Event a

newtype SpiderHost a

Constructors

SpiderHost

Fields

• runSpiderHost :: IO a

Instances

Monad SpiderHost

Methods

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

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

return :: a -> SpiderHost a

fail :: String -> SpiderHost a

Functor SpiderHost

Methods

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

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

MonadFix SpiderHost

Methods

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

Applicative SpiderHost

Methods

pure :: a -> SpiderHost a

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

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

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

MonadIO SpiderHost

Methods

liftIO :: IO a -> SpiderHost a

MonadException SpiderHost

Methods

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

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

finally :: SpiderHost a -> SpiderHost b -> SpiderHost a

MonadAsyncException SpiderHost

Methods

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

MonadRef SpiderHost

Associated Types

type Ref (SpiderHost :: * -> *) :: * -> *

Methods

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

readRef :: Ref SpiderHost a -> SpiderHost a

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

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

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

MonadAtomicRef SpiderHost

Methods

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

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

MonadHold Spider SpiderHost

Methods

hold :: a -> Event Spider a -> SpiderHost (Behavior Spider a)

MonadSample Spider SpiderHost

Methods

sample :: Behavior Spider a -> SpiderHost a

MonadReflexHost Spider SpiderHost

Associated Types

type ReadPhase (SpiderHost :: * -> *) :: * -> *

Methods

fireEventsAndRead :: [DSum * (EventTrigger Spider) Identity] -> ReadPhase SpiderHost a -> SpiderHost a

runHostFrame :: HostFrame Spider a -> SpiderHost a

MonadReflexCreateTrigger Spider SpiderHost

Methods

newEventWithTrigger :: (EventTrigger Spider a -> IO (IO ())) -> SpiderHost (Event Spider a)

newFanEventWithTrigger :: GCompare * k => (forall a. k a -> EventTrigger Spider a -> IO (IO ())) -> SpiderHost (EventSelector Spider k)

MonadSubscribeEvent Spider SpiderHost

Methods

subscribeEvent :: Event Spider a -> SpiderHost (EventHandle Spider a)

type Ref SpiderHost

type Ref SpiderHost = Ref IO

type ReadPhase SpiderHost

type ReadPhase SpiderHost = ReadPhase

newtype SpiderHostFrame a

Constructors

SpiderHostFrame

Fields

• runSpiderHostFrame :: EventM a

Instances

Monad SpiderHostFrame

Methods

(>>=) :: SpiderHostFrame a -> (a -> SpiderHostFrame b) -> SpiderHostFrame b

(>>) :: SpiderHostFrame a -> SpiderHostFrame b -> SpiderHostFrame b

return :: a -> SpiderHostFrame a

fail :: String -> SpiderHostFrame a

Functor SpiderHostFrame

Methods

fmap :: (a -> b) -> SpiderHostFrame a -> SpiderHostFrame b

(<$) :: a -> SpiderHostFrame b -> SpiderHostFrame a

MonadFix SpiderHostFrame

Methods

mfix :: (a -> SpiderHostFrame a) -> SpiderHostFrame a

Applicative SpiderHostFrame

Methods

pure :: a -> SpiderHostFrame a

(<*>) :: SpiderHostFrame (a -> b) -> SpiderHostFrame a -> SpiderHostFrame b

(*>) :: SpiderHostFrame a -> SpiderHostFrame b -> SpiderHostFrame b

(<*) :: SpiderHostFrame a -> SpiderHostFrame b -> SpiderHostFrame a

MonadIO SpiderHostFrame

Methods

liftIO :: IO a -> SpiderHostFrame a

MonadException SpiderHostFrame

Methods

throw :: Exception e => e -> SpiderHostFrame a

catch :: Exception e => SpiderHostFrame a -> (e -> SpiderHostFrame a) -> SpiderHostFrame a

finally :: SpiderHostFrame a -> SpiderHostFrame b -> SpiderHostFrame a

MonadAsyncException SpiderHostFrame

Methods

mask :: ((forall a. SpiderHostFrame a -> SpiderHostFrame a) -> SpiderHostFrame b) -> SpiderHostFrame b

MonadRef SpiderHostFrame

Associated Types

type Ref (SpiderHostFrame :: * -> *) :: * -> *

Methods

newRef :: a -> SpiderHostFrame (Ref SpiderHostFrame a)

readRef :: Ref SpiderHostFrame a -> SpiderHostFrame a

writeRef :: Ref SpiderHostFrame a -> a -> SpiderHostFrame ()

modifyRef :: Ref SpiderHostFrame a -> (a -> a) -> SpiderHostFrame ()

modifyRef' :: Ref SpiderHostFrame a -> (a -> a) -> SpiderHostFrame ()

MonadAtomicRef SpiderHostFrame

Methods

atomicModifyRef :: Ref SpiderHostFrame a -> (a -> (a, b)) -> SpiderHostFrame b

atomicModifyRef' :: Ref SpiderHostFrame a -> (a -> (a, b)) -> SpiderHostFrame b

MonadHold Spider SpiderHostFrame

Methods

hold :: a -> Event Spider a -> SpiderHostFrame (Behavior Spider a)

MonadSample Spider SpiderHostFrame

Methods

sample :: Behavior Spider a -> SpiderHostFrame a

MonadReflexCreateTrigger Spider SpiderHostFrame

Methods

newEventWithTrigger :: (EventTrigger Spider a -> IO (IO ())) -> SpiderHostFrame (Event Spider a)

newFanEventWithTrigger :: GCompare * k => (forall a. k a -> EventTrigger Spider a -> IO (IO ())) -> SpiderHostFrame (EventSelector Spider k)

MonadSubscribeEvent Spider SpiderHostFrame

Methods

subscribeEvent :: Event Spider a -> SpiderHostFrame (EventHandle Spider a)

type Ref SpiderHostFrame

type Ref SpiderHostFrame = Ref IO

newEventWithTriggerIO :: forall a. (RootTrigger a -> IO (IO ())) -> IO (Event a)

newFanEventWithTriggerIO :: GCompare k => (forall a. k a -> RootTrigger a -> IO (IO ())) -> IO (EventSelector k)

newtype ReadPhase a

Constructors

ReadPhase

Fields

• runReadPhase :: ResultM a

Instances

Monad ReadPhase

Methods

(>>=) :: ReadPhase a -> (a -> ReadPhase b) -> ReadPhase b

(>>) :: ReadPhase a -> ReadPhase b -> ReadPhase b

return :: a -> ReadPhase a

fail :: String -> ReadPhase a

Functor ReadPhase

Methods

fmap :: (a -> b) -> ReadPhase a -> ReadPhase b

(<$) :: a -> ReadPhase b -> ReadPhase a

MonadFix ReadPhase

Methods

mfix :: (a -> ReadPhase a) -> ReadPhase a

Applicative ReadPhase

Methods

pure :: a -> ReadPhase a

(<*>) :: ReadPhase (a -> b) -> ReadPhase a -> ReadPhase b

(*>) :: ReadPhase a -> ReadPhase b -> ReadPhase b

(<*) :: ReadPhase a -> ReadPhase b -> ReadPhase a

MonadHold Spider ReadPhase

Methods

hold :: a -> Event Spider a -> ReadPhase (Behavior Spider a)

MonadSample Spider ReadPhase

Methods

sample :: Behavior Spider a -> ReadPhase a

MonadReadEvent Spider ReadPhase

Methods

readEvent :: EventHandle Spider a -> ReadPhase (Maybe (ReadPhase a))