FRP.Timeless.Internal.Prefab.Primitive

This module contains the lowest level primitives of timeless, directly working with the Signal arrow. Try not to use them as they tend to be very hard to grasp. Use them only when building a new FRP framework.

Understand that using Signal directly can be difficult to reason about

Basic Signals

mkEmpty :: Signal m a b

Make a signal that inhibits forever

mkId :: Signal m a a

The Identity Signal

mkConst :: Maybe b -> Signal m a b

Make a constant Signal

mkPure :: (a -> (Maybe b, Signal m a b)) -> Signal m a b

Make a pure stateful signal from given transition function

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

Make a stateful signal from given (Monadic) transition function

Pure Signals

Signals

mkPure_ :: (a -> Maybe b) -> Signal m a b

Make a pure stateless signal from given function

mkSF :: (a -> (b, Signal m a b)) -> Signal m a b

Make a pure stateful signal from given signal function

mkSF_ :: (a -> b) -> Signal m a b

Make a pure stateless signal from given signal function

mkSW_ :: b -> (b -> a -> b) -> Signal m a b

Make a stateful wire from chained state transition function. Notice that the output will always be the new value

Monadic Signals

mkGen_ :: Monad m => (a -> m (Maybe b)) -> Signal m a b

Make a stateless signal from given function

Kleisli Signals

mkKleisli_ :: Monad m => (a -> m b) -> Signal m a b

Make a stateless signal from Kleisli function

mkSK_ :: Monad m => b -> (b -> a -> m b) -> Signal m a b

Make a stateful signal from Kleisli function

mkConstM :: Monad m => m b -> Signal m a b

Make a monadic constant wire

mkActM :: Monad m => m b -> Signal m a b

Make a monadic action wire, alias for mkConstM

Special signals

delay :: a -> Signal m a a