FRP.Sodium.Internal

Documentation

listenTrans :: Event a -> (a -> Reactive ()) -> Reactive (IO ())

Variant of listen that allows you to initiate more activity in the current transaction. Useful for implementing new primitives.

schedulePrioritized :: Maybe (MVar Node) -> Reactive () -> Reactive ()

Queue the specified atomic to run at the end of the priority 2 queue

scheduleLast :: Reactive () -> Reactive ()

data Listen a

Constructors

Listen

Fields

runListen_ :: Maybe (MVar Node) -> Bool -> (a -> Reactive ()) -> Reactive (IO ())

listenerKeepAlive :: IORef ()

getListen :: Event a -> Reactive (Listen a)

Unwrap an event's listener machinery.

linkedListen :: Event a -> Maybe (MVar Node) -> Bool -> (a -> Reactive ()) -> Reactive (IO ())

Listen for firings of this event. The returned IO () is an IO action that unregisters the listener. This is the observer pattern.

data Node

newEventLinked :: Dep -> IO (Event a, a -> Reactive (), MVar Node)

Returns an event, and a push action for pushing a value into the event.

newEvent :: Reactive (Event a, a -> Reactive ())

Returns an event, and a push action for pushing a value into the event.

newEventImpl :: forall p a. IO (Listen a, a -> Reactive (), MVar Node)

Returns a Listen for registering listeners, and a push action for pushing a value into the event.

finalizeEvent :: Event a -> IO () -> Event a

Add a finalizer to an event.

finalizeListen :: Listen a -> IO () -> IO (Listen a)

Add a finalizer to a listener.

ioReactive :: IO a -> Reactive a

data Unlistener

addCleanup_Listen :: Unlistener -> Listen a -> Reactive (Listen a)

Cause the things listened to with later to be unlistened when the specified listener is not referenced any more.

data Sample a

Constructors

Sample

Fields

unSample :: IO a

sDep :: Dep

sampleKeepAlive :: Maybe (IORef ())

addCleanup_Sample :: Unlistener -> Sample a -> IO (Sample a)

Cause the things listened to with later to be unlistened when the specified sample is not referenced any more.

later :: Reactive (IO ()) -> Reactive Unlistener

Perform a listen later so we can tolerate lazy loops. Returns an Unlistener that can be attached to an event with addCleanup_Listen.

dep :: a -> Dep

unsafeNewIORef :: a -> b -> IORef a

data Plain

Phantom type for use with Context type class.

Instances

Context Plain

Monad (Reactive Plain)

Functor (Reactive Plain)

Functor (Event Plain)

Functor (Behavior Plain)

MonadFix (Reactive Plain)

Applicative (Reactive Plain)

Applicative (Behavior Plain)

data Reactive Plain = Reactive (StateT ReactiveState IO a)

data Event Plain = Event {

• getListenRaw :: Reactive (Listen a)
• evCacheRef :: IORef (Maybe (Listen a))
• eDep :: Dep

}

data Behavior Plain = Behavior {

• updates_ :: Event a
• sampleImpl :: Sample a

}