Safe Haskell	None
Language	Haskell2010

Pipes.Fluid.Impulse

Synopsis

Documentation

newtype Impulse m a #

The applicative instance of this combines multiple Producers reactively ie, yields a value as soon as either or both of the input producers yields a value.

Constructors

Impulse
Fields impulsively :: Producer a m ()

Instances

Monad m => Functor (Impulse m) #
Methods fmap :: (a -> b) -> Impulse m a -> Impulse m b # (<$) :: a -> Impulse m b -> Impulse m a #
(Alternative m, Monad m) => Applicative (Impulse m) #	Impulseively combines two producers, given initial values to use when the producer is blocked/failed. This only works for Alternative m where failure means there was no effects, eg. `STM`, or `MonadTrans t => t STM`. Be careful of monad transformers like ExceptT that hides the STM Alternative instance.
Methods pure :: a -> Impulse m a # (<>) :: Impulse m (a -> b) -> Impulse m a -> Impulse m b # (>) :: Impulse m a -> Impulse m b -> Impulse m b # (<*) :: Impulse m a -> Impulse m b -> Impulse m a #
(Alternative m, Monad m) => Merge (Impulse m) #	Impulseively combines two producers, given initial values to use when the produce hasn't produced anything yet Combine two signals, and returns a signal that emits `Either bothfired (Either (leftFired, previousRight) (previousLeft, rightFired))`. This only works for Alternative m where failure means there was no effects, eg. `STM`, or `MonadTrans t => t STM`. Be careful of monad transformers ExceptT that hides the STM Alternative instance.
Methods merge' :: Maybe x -> Maybe y -> Impulse m x -> Impulse m y -> Impulse m (Merged x y) #
(Alternative m, Monad m, Semigroup a) => Semigroup (Impulse m a) #
Methods (<>) :: Impulse m a -> Impulse m a -> Impulse m a # sconcat :: NonEmpty (Impulse m a) -> Impulse m a # stimes :: Integral b => b -> Impulse m a -> Impulse m a #
(Alternative m, Monad m, Semigroup a) => Monoid (Impulse m a) #
Methods mempty :: Impulse m a # mappend :: Impulse m a -> Impulse m a -> Impulse m a # mconcat :: [Impulse m a] -> Impulse m a #
Wrapped (Impulse m0 a0) #
Associated Types type Unwrapped (Impulse m0 a0) :: * # Methods _Wrapped' :: Iso' (Impulse m0 a0) (Unwrapped (Impulse m0 a0)) #
(~) * (Impulse m0 a0) t0 => Rewrapped (Impulse m1 a1) t0 #

type Unwrapped (Impulse m0 a0) #
type Unwrapped (Impulse m0 a0) = Producer a0 m0 ()

module Pipes.Fluid.Merge