Reactive.Banana.Switch

Synopsis

Dynamic event switching.

Moment monad

data Moment t a

The Moment monad denotes a value at a particular moment in time.

This monad is not very interesting, it is mainly used for book-keeping. In particular, the type parameter t is used to disallow various unhealthy programs.

This monad is also used to describe event networks in the Reactive.Banana.Frameworks module. This only happens when the type parameter t is constrained by the Frameworks class.

To be precise, an expression of type Moment t a denotes a value of type a that is observed at a moment in time which is indicated by the type parameter t.

Instances

Monad (Moment t)

Functor (Moment t)

MonadFix (Moment t)

Applicative (Moment t)

Frameworks t => MonadIO (Moment t)

data AnyMoment f a

Value present at any/every moment in time.

Instances

Monad (AnyMoment Identity)

Functor (AnyMoment Behavior)

Applicative (AnyMoment Behavior)

anyMoment :: (forall t. Moment t (f t a)) -> AnyMoment f a

now :: AnyMoment f a -> forall t. Moment t (f t a)

Dynamic event switching

trimE :: Event t a -> Moment t (AnyMoment Event a)

Trim an Event to a variable start time.

trimB :: Behavior t a -> Moment t (AnyMoment Behavior a)

Trim a Behavior to a variable start time.

switchE :: forall t a. Event t (AnyMoment Event a) -> Event t a

Dynamically switch between Event.

switchB :: forall t a. Behavior t a -> Event t (AnyMoment Behavior a) -> Behavior t a

Dynamically switch between Behavior.

observeE :: Event t (AnyMoment Identity a) -> Event t a

Observe a value at those moments in time where event occurrences happen.

valueB :: Behavior t a -> Moment t a

Obtain the value of the Behavior at moment t.

Identity Functor

newtype Identity t a

Identity functor with a dummy argument. Unlike Constant, this functor is constant in the second argument.

Constructors

Identity

Fields

getIdentity :: a

Instances

Monad (AnyMoment Identity)

Functor (Identity t)