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)

Functor (AnyMoment Event)

Functor (AnyMoment Identity)

Instance relying on the monad instance.

Applicative (AnyMoment Behavior)

Applicative (AnyMoment Identity)

Instance relying on the monad instance.

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 (AnyMoment Identity)

Instance relying on the monad instance.

Functor (Identity t)

Applicative (AnyMoment Identity)

Instance relying on the monad instance.