Pipes.Maybe

Conversion between finite and infinite pipe using the Either type.

Documentation

catWhileJust :: Monad m => Pipe (Maybe a) a m ()

A pipe that receives and forwards all Just values in its input up to the first occurence of Nothing.

extendWithNothing :: Monad m => Pipe a b m r -> Pipe a (Maybe b) m r'

Converts a finite pipe into an infinite pipe, in which the original pipe's values are followed by an infinite stream of Nothing.