Piped.Prelude

Basic functionality, closely mirroring the list / Foldable api from Prelude.

This module should be imported qualified i.e. `import Piped.Prelude as P`.

Documentation

filter :: Monad m => (i -> Bool) -> Pipe i i m ()

Yield only elements satisfying a predicate.

takeWhile :: Monad m => (i -> Bool) -> Pipe i i m ()

Yield values while they satisfy a predicate, then return.

dropWhile :: Monad m => (i -> Bool) -> Pipe i o m ()

Drop values while they satisfy a predicate, then return.

Note: this does not yield any values, and should be combined with (>>).

identity :: Monad m => Pipe i i m ()

Equivalent to `map id`.

scanl :: forall i o m. (o -> i -> o) -> o -> Pipe i o m ()

map with an accumulator.

foldl :: Monad m => (a -> i -> a) -> a -> Pipe i o m a

Left fold over input values.

drop :: Monad m => Int -> Pipe i o m ()

Drop n values.

Note: This will not yield values and should be combined with >>

take :: Monad m => Int -> Pipe i i m ()

Take n values.

map :: Monad m => (i -> o) -> Pipe i o m ()

Map a pure function over input values.

mapM :: Monad m => (i -> m o) -> Pipe i o m ()

Map a monadic function over input values.

mapM_ :: Monad m => (i -> m ()) -> Pipe i () m ()

Map a monadic function over input values but don't yield anything.

tail :: Monad m => Pipe i i m ()

Skip the first value

last :: Monad m => Pipe i o m (Maybe i)

Return the last value.

zip :: Monad m => Pipe () o m () -> Pipe () o' m () -> Pipe () (o, o') m ()

Zip two pipes together.

zipWith :: Monad m => (o -> o' -> a) -> Pipe () o m () -> Pipe () o' m () -> Pipe () a m ()

Zip two pipes together with a pure function.

concat :: (Foldable t, Monad m) => Pipe (t i) i m ()

Concatenate foldable inputs to a single stream of outputs.