Pipes.Fluid.Sync

Documentation

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

Sync

Fields

• synchronously :: Producer a m ()

Instances

Monad m => Monad (Sync m)

Methods

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

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

return :: a -> Sync m a

fail :: String -> Sync m a

Monad m => Functor (Sync m)

Methods

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

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

Monad m => Applicative (Sync m)

Methods

pure :: a -> Sync m a

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

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

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

Wrapped (Sync m0 a0)

Associated Types

type Unwrapped (Sync m0 a0) :: *

Methods

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

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

type Unwrapped (Sync m0 a0)

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