Pipes.Fluid.Simultaneous

Documentation

newtype Simultaneous m a

The applicative instance of this combines multiple Producers synchronously ie, yields a value only when both of the input producers yields a value. Ends as soon as any of the input producer is ended.

Constructors

Simultaneous

Fields

• simultaneously :: Producer a m ()

Instances

Monad m => Monad (Simultaneous m)

Methods

(>>=) :: Simultaneous m a -> (a -> Simultaneous m b) -> Simultaneous m b

(>>) :: Simultaneous m a -> Simultaneous m b -> Simultaneous m b

return :: a -> Simultaneous m a

fail :: String -> Simultaneous m a

Monad m => Functor (Simultaneous m)

Methods

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

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

Monad m => Applicative (Simultaneous m)

Methods

pure :: a -> Simultaneous m a

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

liftA2 :: (a -> b -> c) -> Simultaneous m a -> Simultaneous m b -> Simultaneous m c

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

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

Wrapped (Simultaneous m a)

Associated Types

type Unwrapped (Simultaneous m a) :: *

Methods

_Wrapped' :: Iso' (Simultaneous m a) (Unwrapped (Simultaneous m a))

(~) * (Simultaneous m1 a1) t => Rewrapped (Simultaneous m2 a2) t

type Unwrapped (Simultaneous m a)

type Unwrapped (Simultaneous m a) = Producer a m ()