Copyright | (c) 2015 Rongcui Dong |
---|---|
License | BSD3 |
Maintainer | Rongcui Dong <karl_1702@188.com> |
Safe Haskell | Safe |
Language | Haskell2010 |
- mkEmpty :: Signal s m a b
- mkId :: Signal s m a a
- mkConst :: Maybe b -> Signal s m a b
- mkPure :: Monoid s => (s -> a -> (Maybe b, Signal s m a b)) -> Signal s m a b
- mkGen :: (Monad m, Monoid s) => (s -> a -> m (Maybe b, Signal s m a b)) -> Signal s m a b
- mkPW :: Monoid s => (s -> a -> (b, Signal s m a b)) -> Signal s m a b
- mkPWN :: (a -> (b, Signal s m a b)) -> Signal s m a b
- mkPW_ :: (a -> b) -> Signal s m a b
- mkSW_ :: b -> (b -> a -> b) -> Signal s m a b
- mkPure :: Monoid s => (s -> a -> (Maybe b, Signal s m a b)) -> Signal s m a b
- mkPureN :: (a -> (Maybe b, Signal s m a b)) -> Signal s m a b
- mkPure_ :: (a -> Maybe b) -> Signal s m a b
- mkGen :: (Monad m, Monoid s) => (s -> a -> m (Maybe b, Signal s m a b)) -> Signal s m a b
- mkGenN :: Monad m => (a -> m (Maybe b, Signal s m a b)) -> Signal s m a b
- mkGen_ :: Monad m => (a -> m (Maybe b)) -> Signal s m a b
- mkKleisli_ :: Monad m => (a -> m b) -> Signal s m a b
- mkSK_ :: Monad m => b -> (b -> a -> m b) -> Signal s m a b
- mkConstM :: Monad m => m b -> Signal s m a b
- mkActM :: Monad m => m b -> Signal s m a b
Basic Signals
mkPure :: Monoid s => (s -> a -> (Maybe b, Signal s m a b)) -> Signal s m a b Source
Make a pure stateful signal from given transition function
mkGen :: (Monad m, Monoid s) => (s -> a -> m (Maybe b, Signal s m a b)) -> Signal s m a b Source
Make a stateful signal from given (Monadic) transition function
Pure Signals
Wires (Never inhibits by themselves)
mkPW :: Monoid s => (s -> a -> (b, Signal s m a b)) -> Signal s m a b Source
Make a pure stateful wire from given transition function
mkPWN :: (a -> (b, Signal s m a b)) -> Signal s m a b Source
Make a pure stateful wire from given time independant transition function
mkSW_ :: b -> (b -> a -> b) -> Signal s m a b Source
Make a stateful wire from chained state transition function. Notice that the output will always be the new value
Signals
mkPure :: Monoid s => (s -> a -> (Maybe b, Signal s m a b)) -> Signal s m a b Source
Make a pure stateful signal from given transition function
mkPureN :: (a -> (Maybe b, Signal s m a b)) -> Signal s m a b Source
Make a pure stateful signal from given time independant transition function
Monadic Signals
mkGen :: (Monad m, Monoid s) => (s -> a -> m (Maybe b, Signal s m a b)) -> Signal s m a b Source
Make a stateful signal from given (Monadic) transition function
mkGenN :: Monad m => (a -> m (Maybe b, Signal s m a b)) -> Signal s m a b Source
Make a stateful signal from given (Monadic) time independant transition function
mkGen_ :: Monad m => (a -> m (Maybe b)) -> Signal s m a b Source
Make a stateless signal from given function
Kleisli Signals
mkKleisli_ :: Monad m => (a -> m b) -> Signal s m a b Source
Make a stateless signal from Kleisli function