Control.Monad.Signal

This module exposes the base Signal and SignalT types, but you probably want to use the Control.Monad.Signal.Class module because it also re-exports these types.

Documentation

data Signal sigs a

A Signal sigs a is either a Union sigs or a value of type a. It's basically the same as Union (a ': sigs) but the a parameter is special because it's used in the Functor/Applicative/Monad instances.k

Constructors

Value a

Signal (Union sigs)

Instances

MonadSignal sigs (Signal sigs)

Monad (Signal sigs)

Functor (Signal sigs)

Applicative (Signal sigs)

Foldable (Signal sigs)

Traversable (Signal sigs)

(Eq a, Eq (Union sigs)) => Eq (Signal sigs a)

(Ord a, Ord (Union sigs)) => Ord (Signal sigs a)

(Read a, Read (Union sigs)) => Read (Signal sigs a)

(ShowSignal sigs, Show a) => Show (Signal sigs a)

signal :: Elem sigs a => a -> Signal sigs b

Send a single signal.

liftSignal :: Subset as bs => Signal as a -> Signal bs a

Re-send all the signals into a "looser" Signal

newtype SignalT sigs m a

A transformer version of Signal.

Constructors

SignalT

Fields

runSignalT :: m (Signal sigs a)

Instances

MonadState s m => MonadState s (SignalT sigs m)

MonadWriter w m => MonadWriter w (SignalT sigs m)

MonadReader r m => MonadReader r (SignalT sigs m)

Monad m => MonadSignal sigs (SignalT sigs m)

MonadTrans (SignalT sigs)

Monad m => Monad (SignalT sigs m)

Functor m => Functor (SignalT sigs m)

MonadFix m => MonadFix (SignalT sigs m)

Not sure if correct

Applicative m => Applicative (SignalT sigs m)

Foldable m => Foldable (SignalT sigs m)

Traversable m => Traversable (SignalT sigs m)

MonadIO m => MonadIO (SignalT sigs m)

MonadCont m => MonadCont (SignalT sigs m)

Eq (m (Signal sigs a)) => Eq (SignalT sigs m a)

Ord (m (Signal sigs a)) => Ord (SignalT sigs m a)

Read (m (Signal sigs a)) => Read (SignalT sigs m a)

Show (m (Signal sigs a)) => Show (SignalT sigs m a)