Pipes.Fluid.React

Documentation

newtype React 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

React

Fields

• reactively :: Producer a m ()

Instances

Monad m => Functor (React m)

Methods

fmap :: (a -> b) -> React m a -> React m b

(<$) :: a -> React m b -> React m a

(Alternative m, Monad m) => Applicative (React m)

Reactively 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 -> React m a

(<*>) :: React m (a -> b) -> React m a -> React m b

(*>) :: React m a -> React m b -> React m b

(<*) :: React m a -> React m b -> React m a

Wrapped (React m0 a0)

Associated Types

type Unwrapped (React m0 a0) :: *

Methods

_Wrapped' :: Iso' (React m0 a0) (Unwrapped (React m0 a0))

(~) * (React m0 a0) t0 => Rewrapped (React m1 a1) t0

type Unwrapped (React m0 a0)

type Unwrapped (React m0 a0) = Producer a0 m0 ()

merge :: (Alternative m, Monad m) => React m x -> React m y -> React m (Either (x, y) (Either (x, Maybe y) (Maybe x, y)))

A simpler version of merge', with the initial values as Nothing

merge' :: (Alternative m, Monad m) => Maybe x -> Maybe y -> React m x -> React m y -> React m (Either (x, y) (Either (x, Maybe y) (Maybe x, y)))

Reactively 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.