Data.Stream.Branching

The type of streams

data Stream f a

Constructors

a :< (f (Stream f a))

Instances

Functor f => Functor (Stream f)

Applicative f => Applicative (Stream f)

Functor f => Comonad (Stream f)

FunctorApply f => ComonadApply (Stream f)

FunctorApply f => FunctorApply (Stream f)

(Eq (f (Stream f a)), Eq a) => Eq (Stream f a)

(Ord (f (Stream f a)), Ord a) => Ord (Stream f a)

(Show (f (Stream f a)), Show a) => Show (Stream f a)

Basic functions

head :: Stream f a -> a

tail :: Stream f a -> f (Stream f a)

tails :: Functor f => Stream f a -> Stream f (Stream f a)

inits1 :: Functor f => Stream f a -> Stream f (NonEmpty a)

equivalent to inits sans the initial [] context

unfold :: Functor f => (b -> (a, f b)) -> b -> Stream f a