Reflex.Spider

Documentation

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

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