Language.KansasLava.Stream

This implementation of the Stream data type. It's defined similarly to other implementation of infinite streams found on hackage, except the elements of the stream are strict to prevent some space leaks.

Documentation

data Stream a

Set the precedence of infix Cons.

A stream is an infinite sequence of values.

Constructors

Cons !a (Maybe (Stream a)) infixr 5

Cons takes a head and an optional tail. If the tail is empty, then the last value is repeated.

Instances

Functor Stream

Applicative Stream

Foldable Stream

Traversable Stream

Show a => Show (Stream a)

Typeable (* -> *) Stream

zipWith :: (a -> b -> c) -> Stream a -> Stream b -> Stream c

Lift a value to be a constant stream. repeat :: a -> Stream a repeat a = a Cons repeat a

Zip two streams together.

zipWith3 :: (a -> b -> c -> d) -> Stream a -> Stream b -> Stream c -> Stream d

Zip three streams together.

fromFiniteList :: [a] -> a -> Stream a

Convert a list to a stream. If the list is finite, then the last element of the stream will be an error.

fromList :: [a] -> Stream a

toList :: Stream a -> [a]

Convert a Stream to a lazy list.

observeStream :: Show a => String -> Stream a -> Stream a