Module

Pipes

Package: purescript-pipes
Repository: felixschl/purescript-pipes

#(<~) Source

Operator alias for Pipes.composeLoopBodies' (left-associative / precedence 4)

#(~>) Source

Operator alias for Pipes.composeLoopBodies (right-associative / precedence 4)

#(>~) Source

Operator alias for Pipes.replaceAwait (right-associative / precedence 5)

#(~<) Source

Operator alias for Pipes.replaceAwait' (left-associative / precedence 5)

#(>->) Source

Operator alias for Pipes.composePipes (left-associative / precedence 7)

#(<-<) Source

Operator alias for Pipes.composePipes' (right-associative / precedence 7)

#for Source

for :: forall a b b' c c' x x' m. Monad m => Proxy x' x b' b m a -> (b -> Proxy x' x c' c m b') -> Proxy x' x c' c m a

#composeLoopBodies Source

composeLoopBodies :: forall a a' b b' c c' x x' m. Monad m => (a -> Proxy x' x b' b m a') -> (b -> Proxy x' x c' c m b') -> (a -> Proxy x' x c' c m a')

#composeLoopBodies' Source

composeLoopBodies' :: forall a a' b b' c c' x x' m. Monad m => (b -> Proxy x' x c' c m b') -> (a -> Proxy x' x b' b m a') -> (a -> Proxy x' x c' c m a')

#await Source

await :: forall a m. Monad m => Consumer_ a m a

#replaceAwait Source

replaceAwait :: forall a a' b y y' c m. Monad m => Proxy a' a y' y m b -> Proxy Unit b y' y m c -> Proxy a' a y' y m c

#replaceAwait' Source

replaceAwait' :: forall a a' b y y' c m. Monad m => Proxy Unit b y' y m c -> Proxy a' a y' y m b -> Proxy a' a y' y m c

#cat Source

cat :: forall a m r. Monad m => Pipe a a m r

#composePipes Source

composePipes :: forall a a' b c c' m r. Monad m => Proxy a' a Unit b m r -> Proxy Unit b c' c m r -> Proxy a' a c' c m r

#composePipes' Source

composePipes' :: forall a a' b c c' m r. Monad m => Proxy Unit b c' c m r -> Proxy a' a Unit b m r -> Proxy a' a c' c m r

#yield Source

yield :: forall m a. Monad m => a -> Producer_ a m Unit

#next Source

next :: forall a m r. Monad m => Producer a m r -> m (Either r (Tuple a (Producer a m r)))

Consume the first value from a Producer

#each Source

each :: forall a f m. Monad m => Foldable f => f a -> Producer_ a m Unit

Convert a F.Foldable to a Producer

#discard Source

discard :: forall a m. Monad m => a -> m Unit

Discards a value

Modules: Pipes; Pipes.Core; Pipes.Internal; Pipes.ListT; Pipes.Prelude