Reflex.Host.Class

Documentation

class Reflex t => ReflexHost t

Associated Types

type EventTrigger t :: * -> *

type EventHandle t :: * -> *

type HostFrame t :: * -> *

Instances

ReflexHost Spider

class (ReflexHost t, Monad m) => MonadReadEvent t m | m -> t where

Methods

readEvent :: EventHandle t a -> m (Maybe (m a))

Instances

MonadReadEvent Spider ResultM

class (Monad m, ReflexHost t) => MonadReflexCreateTrigger t m | m -> t where

Methods

newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> m (Event t a)

Creates an original Event (one that is not based on any other event). When a subscriber first subscribes to an event (building another event that depends on the subscription) the given callback function is run by passing a trigger. The event is then set up in IO. The callback function returns an accompanying teardown action. Any time between setup and teardown the trigger can be used to fire the event.

Instances

MonadReflexCreateTrigger Spider SpiderHostFrame

MonadReflexCreateTrigger Spider SpiderHost

(Reflex t, MonadReflexCreateTrigger t m) => MonadReflexCreateTrigger t (ReaderT r m)

class (Monad m, ReflexHost t, MonadReflexCreateTrigger t m) => MonadReflexHost t m | m -> t where

Methods

fireEventsAndRead :: [DSum (EventTrigger t)] -> (forall m'. MonadReadEvent t m' => m' a) -> m a

subscribeEvent :: Event t a -> m (EventHandle t a)

runFrame :: PushM t a -> m a

runHostFrame :: HostFrame t a -> m a

Instances

MonadReflexHost Spider SpiderHost

(Reflex t, MonadReflexHost t m) => MonadReflexHost t (ReaderT r m)

fireEvents :: MonadReflexHost t m => [DSum (EventTrigger t)] -> m ()

newEventWithTriggerRef :: (MonadReflexCreateTrigger t m, MonadRef m, Ref m ~ Ref IO) => m (Event t a, Ref m (Maybe (EventTrigger t a)))