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.

listenValueTrans :: Behavior a -> (a -> Reactive ()) -> Reactive (IO ())

Variant of listenValue 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 ())

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

Unwrap an event's listener machinery.

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

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

Instances

PriorityQueueable (Maybe (MVar Node))

newEventLinked :: 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 unlistenize to be unlistened when the specified listener is not referenced any more.

data Sample a

Constructors

Sample

Fields

unSample_ :: IO (IO a)

unSample :: Sample a -> IO a

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

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

Listen to an input event/behavior and return an Unlistener that can be attached to an output event using addCleanup_Listen.