Data.Stream.Infinite.Skew

Anticausal streams implemented as non-empty skew binary random access lists

The Applicative zips streams, the monad diagonalizes

Documentation

data Stream a

Instances

Monad Stream

Functor Stream

Applicative Stream

Foldable Stream

Traversable Stream

Distributive Stream

Representable Stream

Comonad Stream

ComonadApply Stream

Traversable1 Stream

Alt Stream

Apply Stream

Extend Stream

Foldable1 Stream

Show a => Show (Stream a)

Semigroup (Stream a)

type Rep Stream = Integer

(<|) :: a -> Stream a -> Stream a infixr 5

O(1) cons

(!!) :: Stream a -> Integer -> a

O(log n).

head :: Stream a -> a

O(1)

tail :: Stream a -> Stream a

O(1).

tails :: Stream a -> Stream (Stream a)

uncons :: Stream a -> (a, Stream a)

O(1).

drop :: Integer -> Stream a -> Stream a

O(log n).

dropWhile :: (a -> Bool) -> Stream a -> Stream a

span :: (a -> Bool) -> Stream a -> ([a], Stream a)

break :: (a -> Bool) -> Stream a -> ([a], Stream a)

split :: (a -> Bool) -> Stream a -> ([a], Stream a)

splitW :: (Stream a -> Bool) -> Stream a -> ([a], Stream a)

repeat :: a -> Stream a

insert :: Ord a => a -> Stream a -> Stream a

insertBy :: (a -> a -> Ordering) -> a -> Stream a -> Stream a

adjust :: Integer -> (a -> a) -> Stream a -> Stream a

update :: Integer -> a -> Stream a -> Stream a

fromList :: [a] -> Stream a

from :: Num a => a -> Stream a

indexed :: Stream a -> Stream (Integer, a)

interleave :: Stream a -> Stream a -> Stream a