FRP.Ordrea

Basic types

data SignalGen a

Instances

Monad SignalGen

Functor SignalGen

MonadFix SignalGen

Applicative SignalGen

MonadIO SignalGen

data Behavior a

Instances

Functor Behavior

Applicative Behavior

TimeFunction Behavior

data Event a

Instances

Functor Event

Monoid (Event a)

data Discrete a

Instances

Functor Discrete

Applicative Discrete

TimeFunction Discrete

External events

data ExternalEvent a

Push-based asynchronous events.

newExternalEvent :: IO (ExternalEvent a)

triggerExternalEvent :: ExternalEvent a -> a -> IO ()

Events

generatorE :: Event (SignalGen a) -> SignalGen (Event a)

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

stepClockE :: Event ()

dropStepE :: Event a -> SignalGen (Event a)

eventFromList :: [[a]] -> SignalGen (Event a)

scanE :: a -> Event (a -> a) -> SignalGen (Event a)

mapAccumE :: s -> Event (s -> (s, a)) -> SignalGen (Event a)

mapAccumEM :: s -> Event (s -> SignalGen (s, a)) -> SignalGen (Event a)

accumE :: a -> Event (a -> a) -> SignalGen (Event a)

Deprecated: accumE has been renamed to scanE

scanAccumE :: s -> Event (s -> (s, a)) -> SignalGen (Event a)

Deprecated: scanAccumE has been renamed to mapAccumE

scanAccumEM :: s -> Event (s -> SignalGen (s, a)) -> SignalGen (Event a)

Deprecated: scanAccumEM has been renamed to mapAccumEM

mapMaybeE :: (a -> Maybe b) -> Event a -> Event b

justE :: Event (Maybe a) -> Event a

flattenE :: Event [a] -> Event a

expandE :: Event a -> Event [a]

externalE :: ExternalEvent a -> SignalGen (Event a)

Create a new event that occurs every time the given external event occurs.

takeWhileE :: (a -> Bool) -> Event a -> SignalGen (Event a)

delayE :: Event a -> SignalGen (Event a)

delayE evt creates an event whose occurrences at step N is equal to the ocurrences of evt at step N-1.

withPrevE :: a -> Event a -> SignalGen (Event (a, a))

dropE :: Int -> Event a -> SignalGen (Event a)

dropWhileE :: (a -> Bool) -> Event a -> SignalGen (Event a)

takeE :: Int -> Event a -> SignalGen (Event a)

partitionEithersE :: Event (Either a b) -> (Event a, Event b)

leftsE :: Event (Either a b) -> Event a

rightsE :: Event (Either a b) -> Event b

Switchers

joinDD :: Discrete (Discrete a) -> SignalGen (Discrete a)

joinDE :: Discrete (Event a) -> SignalGen (Event a)

joinDB :: Discrete (Behavior a) -> SignalGen (Behavior a)

Behaviors

start :: SignalGen (Behavior a) -> IO (IO a)

externalB :: IO a -> SignalGen (Behavior a)

joinB :: Behavior (Behavior a) -> SignalGen (Behavior a)

delayB :: a -> Behavior a -> SignalGen (Behavior a)

behaviorFromList :: [a] -> SignalGen (Behavior a)

networkToList :: Int -> SignalGen (Behavior a) -> IO [a]

networkToListGC :: Int -> SignalGen (Behavior a) -> IO [a]

Discretes

scanD :: a -> Event (a -> a) -> SignalGen (Discrete a)

changesD :: Discrete a -> Event a

preservesD :: Discrete a -> SignalGen (Event a)

delayD :: a -> Discrete a -> SignalGen (Discrete a)

stepperD :: a -> Event a -> SignalGen (Discrete a)

Behavior-event functions

eventToBehavior :: Event a -> Behavior [a]

behaviorToEvent :: Behavior [a] -> Event a

applyBE :: Behavior (a -> b) -> Event a -> Event b

Behavior-discrete functions

discreteToBehavior :: Discrete a -> Behavior a

Overloaded functions

class Functor s => TimeFunction s where

Methods

toBehavior :: s a -> Behavior a

Instances

TimeFunction Discrete

TimeFunction Behavior

(<@>) :: TimeFunction s => s (a -> b) -> Event a -> Event b

(<@) :: TimeFunction s => s b -> Event a -> Event b

Errors

data OrderingViolation

Constructors

OrderingViolation String

Instances

Show OrderingViolation

Typeable OrderingViolation

Exception OrderingViolation