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)

Functor f => Extend (Stream f)

Distributive f => Distributive (Stream f)

Apply f => ComonadApply (Stream f)

Apply f => Apply (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

scanr :: Functor f => (a -> f b -> b) -> Stream f a -> Stream f b

scanl :: Functor f => (a -> b -> a) -> a -> Stream f b -> Stream f a

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