FRP.Sodium.Internal

Documentation

data Event p a

A stream of events. The individual firings of events are called 'event occurrences'.

Constructors

Event

Fields

getListenRaw :: Reactive p (Listen p a)

Listen for event occurrences on this event, to be handled by the specified handler. The returned action is used to unregister the listener.

evCacheRef :: IORef (Maybe (Listen p a))

Instances

Functor (Event p)

data Behaviour p a

A time-varying value, British spelling.

Constructors

Behaviour

Fields

underlyingEvent :: Event p a

Internal: Extract the underlyingEvent event for this behaviour.

sample :: Reactive p a

Obtain the current value of a behaviour.

Instances

Functor (Behaviour p)

Typeable p => Applicative (Behaviour p)

schedulePriority1 :: Reactive p () -> Reactive p ()

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

schedulePriority2 :: Int64 -> Reactive p () -> Reactive p ()

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

data Listen p a

Constructors

Listen

Fields

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

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

Unwrap an event's listener machinery.

linkedListen :: Event p a -> Maybe (MVar (Node p)) -> (a -> Reactive p ()) -> Reactive p (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 p

newEventLinked :: Typeable p => IO (Event p a, a -> Reactive p (), MVar (Node p))

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

newSink :: forall p a. Typeable p => IO (Listen p a, a -> Reactive p (), MVar (Node p))

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

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

Add a finalizer to an event.

ioReactive :: IO a -> Reactive p a