Reflex.Spider

This module exports all of the user-facing functionality of the Spider Reflex engine

Documentation

type Spider = SpiderTimeline Global

The default, global Spider environment

data SpiderTimeline x

Designates the default, global Spider timeline

Instances

HasSpiderTimeline x => ReflexHost (SpiderTimeline x)

Defined in Reflex.Spider.Internal

Associated Types

type EventTrigger (SpiderTimeline x) :: Type -> Type

type EventHandle (SpiderTimeline x) :: Type -> Type

type HostFrame (SpiderTimeline x) :: Type -> Type

HasSpiderTimeline x => Reflex (SpiderTimeline x :: Type)

Defined in Reflex.Spider.Internal

Associated Types

data Behavior (SpiderTimeline x) a :: Type

data Event (SpiderTimeline x) a :: Type

data Dynamic (SpiderTimeline x) a :: Type

data Incremental (SpiderTimeline x) a :: Type

type PushM (SpiderTimeline x) :: Type -> Type

type PullM (SpiderTimeline x) :: Type -> Type

Methods

never :: Event (SpiderTimeline x) a

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

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

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

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

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

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

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

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

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

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

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

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

mergeIncremental :: GCompare k => Incremental (SpiderTimeline x) (PatchDMap k (Event (SpiderTimeline x))) -> Event (SpiderTimeline x) (DMap k Identity)

mergeIncrementalWithMove :: GCompare k => Incremental (SpiderTimeline x) (PatchDMapWithMove k (Event (SpiderTimeline x))) -> Event (SpiderTimeline x) (DMap k Identity)

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

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

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

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

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

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

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

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

HasSpiderTimeline x => MonadReflexHost (SpiderTimeline x) (SpiderHost x)

Defined in Reflex.Spider.Internal

Associated Types

type ReadPhase (SpiderHost x) :: Type -> Type

Methods

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

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

MonadReflexCreateTrigger (SpiderTimeline x) (SpiderHostFrame x)

Defined in Reflex.Spider.Internal

Methods

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

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

MonadReflexCreateTrigger (SpiderTimeline x) (SpiderHost x)

Defined in Reflex.Spider.Internal

Methods

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

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

HasSpiderTimeline x => MonadReadEvent (SpiderTimeline x) (ReadPhase x)

Defined in Reflex.Spider.Internal

Methods

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

HasSpiderTimeline x => MonadSubscribeEvent (SpiderTimeline x) (SpiderHost x)

Defined in Reflex.Spider.Internal

Methods

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

HasSpiderTimeline x => MonadSubscribeEvent (SpiderTimeline x) (SpiderHostFrame x)

Defined in Reflex.Spider.Internal

Methods

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

NotReady (SpiderTimeline x) (SpiderHostFrame x)

Defined in Reflex.Spider.Internal

Methods

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

notReady :: SpiderHostFrame x ()

HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (ReadPhase x)

Defined in Reflex.Spider.Internal

Methods

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

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

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

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

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

HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (SpiderHostFrame x)

Defined in Reflex.Spider.Internal

Methods

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

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

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

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

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

HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (SpiderHost x)

Defined in Reflex.Spider.Internal

Methods

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

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

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

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

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

HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (SpiderPushM x)

Defined in Reflex.Spider.Internal

Methods

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

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

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

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

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

HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (EventM x)

Defined in Reflex.Spider.Internal

Methods

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

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

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

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

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

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (ReadPhase x)

Defined in Reflex.Spider.Internal

Methods

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

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (SpiderHost x)

Defined in Reflex.Spider.Internal

Methods

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

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (SpiderHostFrame x)

Defined in Reflex.Spider.Internal

Methods

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

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (SpiderPushM x)

Defined in Reflex.Spider.Internal

Methods

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

MonadSample (SpiderTimeline x :: Type) (SpiderPullM x)

Defined in Reflex.Spider.Internal

Methods

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

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (EventM x)

Defined in Reflex.Spider.Internal

Methods

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

HasSpiderTimeline x => Monad (Dynamic (SpiderTimeline x))

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))

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))

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)

Defined in Reflex.Spider.Internal

type EventTrigger (SpiderTimeline x) = RootTrigger x

type EventHandle (SpiderTimeline x)

Defined in Reflex.Spider.Internal

type EventHandle (SpiderTimeline x) = SpiderEventHandle x

type HostFrame (SpiderTimeline x)

Defined in Reflex.Spider.Internal

type HostFrame (SpiderTimeline x) = SpiderHostFrame x

newtype Behavior (SpiderTimeline x :: Type) a

Defined in Reflex.Spider.Internal

newtype Behavior (SpiderTimeline x :: Type) a = SpiderBehavior {

• unSpiderBehavior :: Behavior x a

}

newtype Event (SpiderTimeline x :: Type) a

Defined in Reflex.Spider.Internal

newtype Event (SpiderTimeline x :: Type) a = SpiderEvent {

• unSpiderEvent :: Event x a

}

newtype Dynamic (SpiderTimeline x :: Type) a

Defined in Reflex.Spider.Internal

newtype Dynamic (SpiderTimeline x :: Type) a = SpiderDynamic {

• unSpiderDynamic :: Dynamic x (Identity a)

}

newtype Incremental (SpiderTimeline x :: Type) p

Defined in Reflex.Spider.Internal

newtype Incremental (SpiderTimeline x :: Type) p = SpiderIncremental {

• unSpiderIncremental :: Dynamic x p

}

type PushM (SpiderTimeline x :: Type)

Defined in Reflex.Spider.Internal

type PushM (SpiderTimeline x :: Type) = SpiderPushM x

type PullM (SpiderTimeline x :: Type)

Defined in Reflex.Spider.Internal

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

data Global

A statically allocated SpiderTimeline

Instances

HasSpiderTimeline Global

Defined in Reflex.Spider.Internal

Methods

spiderTimeline :: SpiderTimelineEnv Global

data SpiderHost x a

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

Instances

Monad (SpiderHost x)

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)

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)

Defined in Reflex.Spider.Internal

Methods

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

Applicative (SpiderHost x)

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)

Defined in Reflex.Spider.Internal

Methods

liftIO :: IO a -> SpiderHost x a

MonadException (SpiderHost x)

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)

Defined in Reflex.Spider.Internal

Methods

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

MonadRef (SpiderHost x)

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)

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)

Defined in Reflex.Spider.Internal

Associated Types

type ReadPhase (SpiderHost x) :: Type -> Type

Methods

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

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

MonadReflexCreateTrigger (SpiderTimeline x) (SpiderHost x)

Defined in Reflex.Spider.Internal

Methods

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

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

HasSpiderTimeline x => MonadSubscribeEvent (SpiderTimeline x) (SpiderHost x)

Defined in Reflex.Spider.Internal

Methods

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

HasSpiderTimeline x => MonadHold (SpiderTimeline x :: Type) (SpiderHost x)

Defined in Reflex.Spider.Internal

Methods

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

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

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

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

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

HasSpiderTimeline x => MonadSample (SpiderTimeline x :: Type) (SpiderHost x)

Defined in Reflex.Spider.Internal

Methods

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

type Ref (SpiderHost x)

Defined in Reflex.Spider.Internal

type Ref (SpiderHost x) = Ref IO

type ReadPhase (SpiderHost x)

Defined in Reflex.Spider.Internal

type ReadPhase (SpiderHost x) = ReadPhase x

runSpiderHost :: SpiderHost Global a -> IO a

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

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

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

newSpiderTimeline :: IO (Some SpiderTimelineEnv)

Create a new SpiderTimelineEnv

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

Pass a new timeline to the given function.

Deprecated

type SpiderEnv = SpiderTimeline

Deprecated: Use SpiderTimelineEnv instead

SpiderEnv is the old name for SpiderTimeline