Control.DysFRP

Documentation

data Event a

Discrete events.

Instances

Functor Event

Monoid (Event a)

data Behavior a

Continuous time functions.

Instances

Monad Behavior

Functor Behavior

MonadFix Behavior

Applicative Behavior

Floating a => Floating (Behavior a)

Fractional a => Fractional (Behavior a)

Num a => Num (Behavior a)

Monoid a => Monoid (Behavior a)

type BehaviorGen a = Behavior (Behavior a)

Time functions with an additional time parameter, corresponding to a starting point.

runBehavior :: Behavior b -> IO b

Gets the current value of the Behavior.

mkE :: IO (a -> IO (), Event a)

Creates a new Event. Calling the returned action fires the event.

liftBG :: Behavior a -> BehaviorGen a

bindBG :: (Behavior a -> BehaviorGen b) -> BehaviorGen a -> BehaviorGen b

utcTimeB :: Behavior UTCTime

A behavior which gives the current time.

elapsedTimeB :: BehaviorGen NominalDiffTime

A BehaviorGen which gives the time from the starting point, in seconds.

elapsedTimeNumB :: Fractional a => BehaviorGen a

A BehaviorGen which gives the time from the starting point, in seconds.

dswitchB :: Behavior a -> Event (a -> Behavior a) -> BehaviorGen a

A BehaviorGen which mirrors the given Behavior from the starting point, and switches to the new behaviors (parametrized by the last value before the switch) given by the Event.

switchB :: Behavior a -> Event (Behavior a) -> BehaviorGen a

A specialization of dswitchB.

constB :: a -> Behavior a

A constant Behavior.

stepB :: a -> Event a -> BehaviorGen a

accumB :: a -> Event (a -> a) -> BehaviorGen a

ifB :: Behavior Bool -> Behavior a -> Behavior a -> Behavior a

genIntegralB :: (Num t, Num a, Num b) => ((t, a) -> (t, a) -> b -> b) -> Event x -> Behavior t -> b -> Behavior a -> BehaviorGen b

trapIntegralB :: (Eq a, Fractional a) => Event x -> Behavior a -> a -> Behavior a -> BehaviorGen a

nullE :: Event a

appendE :: Event a -> Event a -> Event a

concatE :: [Event a] -> Event a

snapshotE :: Behavior a -> Event b -> Event a

snapshotWithE :: (b -> a -> c) -> Behavior a -> Event b -> Event c

filterE :: (a -> Bool) -> Event a -> Event a

whenE :: Behavior Bool -> Event a -> Event a

filterWhenE :: Behavior (a -> Bool) -> Event a -> Event a

whenCondE :: Behavior a -> (a -> Bool) -> Event b -> Event a

constE :: a -> Event b -> Event a

feedbackB :: a -> Behavior a -> BehaviorGen a

genToE :: (a -> BehaviorGen b) -> Event a -> Event (Behavior b)

joinE :: Event (Event a) -> Behavior (Event a)

condChangeE :: Eq a => (a -> a -> Bool) -> a -> Behavior a -> Event b -> Behavior (Event a)

changeE :: Eq a => a -> Behavior a -> Event b -> Behavior (Event a)