Safe Haskell	None
Language	Haskell98

Reflex.Spider

Documentation

data Spider Source #

Instances

Reflex Spider Source #
Associated Types data Behavior Spider a :: * Source # data Event Spider a :: * Source # type PushM Spider :: * -> * Source # type PullM Spider :: * -> * Source # Methods never :: Event Spider a Source # constant :: a -> Behavior Spider a Source # push :: (a -> PushM Spider (Maybe b)) -> Event Spider a -> Event Spider b Source # pull :: PullM Spider a -> Behavior Spider a Source # merge :: GCompare * k => DMap * k (Event Spider) -> Event Spider (DMap * k Identity) Source # fan :: GCompare * k => Event Spider (DMap * k Identity) -> EventSelector Spider k Source # switch :: Behavior Spider (Event Spider a) -> Event Spider a Source # coincidence :: Event Spider (Event Spider a) -> Event Spider a Source #
ReflexHost Spider Source #
Associated Types type EventTrigger Spider :: * -> * Source # type EventHandle Spider :: * -> * Source # type HostFrame Spider :: * -> * Source #
MonadHold Spider ReadPhase Source #
Methods hold :: a -> Event Spider a -> ReadPhase (Behavior Spider a) Source #
MonadHold Spider SpiderHostFrame Source #
Methods hold :: a -> Event Spider a -> SpiderHostFrame (Behavior Spider a) Source #
MonadHold Spider SpiderHost Source #
Methods hold :: a -> Event Spider a -> SpiderHost (Behavior Spider a) Source #
MonadHold Spider EventM Source #
Methods hold :: a -> Event Spider a -> EventM (Behavior Spider a) Source #
MonadSample Spider ReadPhase Source #
Methods sample :: Behavior Spider a -> ReadPhase a Source #
MonadSample Spider SpiderHostFrame Source #
Methods sample :: Behavior Spider a -> SpiderHostFrame a Source #
MonadSample Spider SpiderHost Source #
Methods sample :: Behavior Spider a -> SpiderHost a Source #
MonadSample Spider EventM Source #
Methods sample :: Behavior Spider a -> EventM a Source #
MonadSample Spider BehaviorM Source #
Methods sample :: Behavior Spider a -> BehaviorM a Source #
MonadReflexHost Spider SpiderHost Source #
Associated Types type ReadPhase (SpiderHost :: * -> ) :: -> * Source # Methods fireEventsAndRead :: [DSum * (EventTrigger Spider) Identity] -> ReadPhase SpiderHost a -> SpiderHost a Source # runHostFrame :: HostFrame Spider a -> SpiderHost a Source #
MonadReflexCreateTrigger Spider SpiderHostFrame Source #
Methods newEventWithTrigger :: (EventTrigger Spider a -> IO (IO ())) -> SpiderHostFrame (Event Spider a) Source # newFanEventWithTrigger :: GCompare * k => (forall a. k a -> EventTrigger Spider a -> IO (IO ())) -> SpiderHostFrame (EventSelector Spider k) Source #
MonadReflexCreateTrigger Spider SpiderHost Source #
Methods newEventWithTrigger :: (EventTrigger Spider a -> IO (IO ())) -> SpiderHost (Event Spider a) Source # newFanEventWithTrigger :: GCompare * k => (forall a. k a -> EventTrigger Spider a -> IO (IO ())) -> SpiderHost (EventSelector Spider k) Source #
MonadReadEvent Spider ReadPhase Source #
Methods readEvent :: EventHandle Spider a -> ReadPhase (Maybe (ReadPhase a)) Source #
MonadSubscribeEvent Spider SpiderHostFrame Source #
Methods subscribeEvent :: Event Spider a -> SpiderHostFrame (EventHandle Spider a) Source #
MonadSubscribeEvent Spider SpiderHost Source #
Methods subscribeEvent :: Event Spider a -> SpiderHost (EventHandle Spider a) Source #
data Behavior Spider Source #
data Behavior Spider = SpiderBehavior { unSpiderBehavior :: Behavior a }
data Event Spider Source #
data Event Spider = SpiderEvent { unSpiderEvent :: Event a }
type PushM Spider Source #
type PushM Spider = EventM
type PullM Spider Source #
type PullM Spider = BehaviorM
type EventTrigger Spider Source #
type EventTrigger Spider = RootTrigger
type EventHandle Spider Source #
type EventHandle Spider = SpiderEventHandle
type HostFrame Spider Source #
type HostFrame Spider = SpiderHostFrame

newtype SpiderHost a Source #

Constructors

SpiderHost
Fields runSpiderHost :: IO a

Instances

Monad SpiderHost Source #
Methods (>>=) :: SpiderHost a -> (a -> SpiderHost b) -> SpiderHost b # (>>) :: SpiderHost a -> SpiderHost b -> SpiderHost b # return :: a -> SpiderHost a # fail :: String -> SpiderHost a #
Functor SpiderHost Source #
Methods fmap :: (a -> b) -> SpiderHost a -> SpiderHost b # (<$) :: a -> SpiderHost b -> SpiderHost a #
MonadFix SpiderHost Source #
Methods mfix :: (a -> SpiderHost a) -> SpiderHost a #
Applicative SpiderHost Source #
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 Source #
Methods liftIO :: IO a -> SpiderHost a #
MonadException SpiderHost Source #
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 Source #
Methods mask :: ((forall a. SpiderHost a -> SpiderHost a) -> SpiderHost b) -> SpiderHost b #
MonadRef SpiderHost Source #
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 Source #
Methods atomicModifyRef :: Ref SpiderHost a -> (a -> (a, b)) -> SpiderHost b # atomicModifyRef' :: Ref SpiderHost a -> (a -> (a, b)) -> SpiderHost b #
MonadHold Spider SpiderHost Source #
Methods hold :: a -> Event Spider a -> SpiderHost (Behavior Spider a) Source #
MonadSample Spider SpiderHost Source #
Methods sample :: Behavior Spider a -> SpiderHost a Source #
MonadReflexHost Spider SpiderHost Source #
Associated Types type ReadPhase (SpiderHost :: * -> ) :: -> * Source # Methods fireEventsAndRead :: [DSum * (EventTrigger Spider) Identity] -> ReadPhase SpiderHost a -> SpiderHost a Source # runHostFrame :: HostFrame Spider a -> SpiderHost a Source #
MonadReflexCreateTrigger Spider SpiderHost Source #
Methods newEventWithTrigger :: (EventTrigger Spider a -> IO (IO ())) -> SpiderHost (Event Spider a) Source # newFanEventWithTrigger :: GCompare * k => (forall a. k a -> EventTrigger Spider a -> IO (IO ())) -> SpiderHost (EventSelector Spider k) Source #
MonadSubscribeEvent Spider SpiderHost Source #
Methods subscribeEvent :: Event Spider a -> SpiderHost (EventHandle Spider a) Source #
type Ref SpiderHost Source #
type Ref SpiderHost = Ref IO
type ReadPhase SpiderHost Source #
type ReadPhase SpiderHost = ReadPhase