FRP.Timeless.Signal

Signal

data Signal s m a b where

Constructors

SId :: Signal s m a a

SConst :: Maybe b -> Signal s m a b

SArr :: (Maybe a -> Maybe b) -> Signal s m a b

SPure :: (s -> Maybe a -> (Maybe b, Signal s m a b)) -> Signal s m a b

SGen :: Monad m => (s -> Maybe a -> m (Maybe b, Signal s m a b)) -> Signal s m a b

Instances

Monad m => Category * (Signal s m)

Monad m => Arrow (Signal s m)

Monad m => ArrowChoice (Signal s m)

MonadFix m => ArrowLoop (Signal s m)

Monad m => Functor (Signal s m a)

Monad m => Applicative (Signal s m a)

stepSignal

Arguments

:: Monad m

=> Signal s m a b

Signal to be stepped

-> s

Delta session

-> Maybe a

Input | Stateful output

-> m (Maybe b, Signal s m a b)

Steps a signal in certain time step

Utilities

lstrict :: (a, b) -> (a, b)

Left strict tuple