Data.Bitstream.Fusion.Monadic

Some functions currently missing from Data.Vector.Fusion.Stream.Monadic.

Documentation

genericLength :: (Monad m, Num n) => Stream m α -> m n

genericTake :: (Monad m, Integral n) => n -> Stream m α -> Stream m α

genericDrop :: (Monad m, Integral n) => n -> Stream m α -> Stream m α

genericIndex :: (Monad m, Integral n, Show n) => Stream m α -> n -> m α

genericReplicate :: (Monad m, Integral n) => n -> α -> Stream m α

genericReplicateM :: (Monad m, Integral n) => n -> m α -> Stream m α

genericUnfoldrN :: (Monad m, Integral n) => n -> (β -> Maybe (α, β)) -> β -> Stream m α

genericUnfoldrNM :: (Monad m, Integral n) => n -> (β -> m (Maybe (α, β))) -> β -> Stream m α

genericFindIndex :: (Monad m, Integral n) => (α -> Bool) -> Stream m α -> m (Maybe n)

genericFindIndexM :: (Monad m, Integral n) => (α -> m Bool) -> Stream m α -> m (Maybe n)

genericIndexed :: (Monad m, Integral n) => Stream m α -> Stream m (n, α)