FRP.Reactive.Internal.Behavior

Representation of reactive behaviors

Documentation

newtype BehaviorG tr tf a

Reactive behaviors. They can be understood in terms of a simple model (denotational semantics) as functions of time, namely at :: BehaviorG t a -> (t -> a).

The semantics of BehaviorG instances are given by corresponding instances for the semantic model (functions). See http://conal.net/blog/posts/simplifying-semantics-with-type-class-morphisms/.

• Functor: at (fmap f r) == fmap f (at r), i.e., fmap f r at t == f (r at t).
• Applicative: at (pure a) == pure a, and at (s <*> r) == at s <*> at t. That is, pure a at t == a, and (s <*> r) at t == (s at t) (r at t).
• Monad: at (return a) == return a, and at (join rr) == join (at . at rr). That is, return a at t == a, and join rr at t == (rr at t) at t. As always, (r >>= f) == join (fmap f r). at (r >>= f) == at r >>= at . f.
• Monoid: a typical lifted monoid. If o is a monoid, then Reactive o is a monoid, with mempty == pure mempty, and mappend == liftA2 mappend. That is, mempty at t == mempty, and (r mappend s) at t == (r at t) mappend (s at t).

Constructors

Beh

Fields

unBeh :: (ReactiveG tr :. Fun tf) a

Instances

Functor (BehaviorG tr tf)

(Bounded tr, Ord tr) => Applicative (BehaviorG tr tf)

(Ord tr, Bounded tr) => Zip (BehaviorG tr tf)

Unzip (BehaviorG tr tf)

(Monoid tr, Monoid tf) => Copointed (BehaviorG tr tf)

(Bounded tr, Ord tr, Monoid a) => Monoid (BehaviorG tr tf a)

beh :: ReactiveG tr (Fun tf a) -> BehaviorG tr tf a

Wrap a reactive time fun as a behavior.

unb :: BehaviorG tr tf a -> ReactiveG tr (Fun tf a)

Unwrap a behavior.