FRP.Ordrea.Base

Contents

• internal stuff

Description

Synopsis

• data SignalGen a
• data Signal a
• data Event a
• data Discrete a
• data ExternalEvent a
• newExternalEvent :: IO (ExternalEvent a)
• triggerExternalEvent :: ExternalEvent a -> a -> IO ()
• listenToExternalEvent :: ExternalEvent a -> WeakLike (a -> IO ()) -> IO ()
• 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)
• scanAccumE :: s -> Event (s -> (s, a)) -> SignalGen (Event a)
• scanAccumEM :: s -> Event (s -> SignalGen (s, a)) -> SignalGen (Event a)
• 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)
• takeWhileE :: (a -> Bool) -> Event a -> SignalGen (Event a)
• delayE :: Event a -> SignalGen (Event a)
• joinDD :: Discrete (Discrete a) -> SignalGen (Discrete a)
• joinDE :: Discrete (Event a) -> SignalGen (Event a)
• joinDS :: Discrete (Signal a) -> SignalGen (Signal a)
• 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]
• 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)
• eventToSignal :: Event a -> Signal [a]
• signalToEvent :: Signal [a] -> Event a
• applySE :: Signal (a -> b) -> Event a -> Event b
• discreteToSignal :: Discrete a -> Signal a
• class Functor s => TimeFunction s where
  • toSignal :: s a -> Signal a
• (<@>) :: TimeFunction s => s (a -> b) -> Event a -> Event b
• (<@) :: TimeFunction s => s b -> Event a -> Event b
• data OrderingViolation = OrderingViolation String
• newRef :: MonadIO m => a -> m (IORef a)
• readRef :: MonadIO m => IORef a -> m a
• writeRef :: MonadIO m => IORef a -> a -> m ()
• modifyRef :: MonadIO m => IORef a -> (a -> a) -> m ()
• weakToLike :: Weak a -> WeakLike a

Documentation

internal stuff