FRP.Ordrea

Basic types

data SignalGen a

Instances

Monad SignalGen

Functor SignalGen

MonadFix SignalGen

Applicative SignalGen

MonadIO SignalGen

data Signal a

Instances

Functor Signal

Applicative Signal

TimeFunction Signal

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

listenToExternalEvent :: ExternalEvent a -> WeakLike (a -> IO ()) -> 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.

Switchers

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

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

joinDS :: Discrete (Signal a) -> SignalGen (Signal a)

Signals

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

externalS :: IO a -> SignalGen (Signal a)

joinS :: Signal (Signal a) -> SignalGen (Signal a)

delayS :: a -> Signal a -> SignalGen (Signal a)

signalFromList :: [a] -> SignalGen (Signal a)

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

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

Discretes

accumD :: 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)

Signal-event functions

eventToSignal :: Event a -> Signal [a]

signalToEvent :: Signal [a] -> Event a

applySE :: Signal (a -> b) -> Event a -> Event b

Signal-discrete functions

discreteToSignal :: Discrete a -> Signal a

Overloaded functions

class Functor s => TimeFunction s where

Methods

toSignal :: s a -> Signal a

Instances

TimeFunction Discrete

TimeFunction Signal

(<@>) :: 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