Data.Stream

newtype StreamT m a

StreamT m a represents a stream of values of type a in a context provided by m

Instances

• (Monad m) => Functor (StreamT m)
• Foldable (StreamT Identity)

type Stream a = StreamT Identity a

StreamT specialized to the identity context

stream :: forall a m. Monad m => Array a -> StreamT m a

Convert an array into a stream

unstream :: forall a m. Monad m => StreamT m a -> m (Array a)

Convert a stream into an array

enumStream :: forall a m. Monad m => Enum a => Tuple a a -> StreamT m a

A stream which produces enum values in a range, including the endpoints

mapM :: forall b a m. Monad m => (a -> m b) -> StreamT m a -> StreamT m b

foldl :: forall b a m. Monad m => (b -> a -> b) -> b -> StreamT m a -> m b

foldr :: forall b a m. Monad m => (a -> b -> b) -> b -> StreamT m a -> m b

foldMap :: forall b a m. Monad m => Monoid b => (a -> b) -> StreamT m a -> m b

hoist :: forall a n m. (m ~> n) -> StreamT m a -> StreamT n a

Use a natural transformation to change the context