IOSpec-0.1: A pure specification of the IO monad. Source code Contents Index

Data.Stream

Description

Streams are infinite lists. Most operations on streams are completely analogous to the definition in Data.List.

Documentation

data Stream a Source

Constructors Cons a (Stream a) Instances Functor Stream Applicative Stream Eq a => Eq (Stream a) Show a => Show (Stream a) Arbitrary a => Arbitrary (Stream a)

head :: Stream a -> a Source

tail :: Stream a -> Stream a Source

intersperse :: a -> Stream a -> Stream a Source

iterate :: (a -> a) -> a -> Stream a Source

repeat :: a -> Stream a Source

cycle :: [a] -> Stream a Source

unfold :: (c -> (a, c)) -> c -> Stream a Source

take :: Int -> Stream a -> [a] Source

drop :: (Num a, Ord a) => a -> Stream a1 -> Stream a1 Source

splitAt :: Int -> Stream a -> ([a], Stream a) Source

takeWhile :: (a -> Bool) -> Stream a -> [a] Source

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

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

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

isPrefixOf :: Eq a => [a] -> Stream a -> Bool Source

filter :: (a -> Bool) -> Stream a -> Stream a Source

partition :: (a -> Bool) -> Stream a -> (Stream a, Stream a) Source

(!!) :: Int -> Stream a -> a Source

zip :: Stream a -> Stream b -> Stream (a, b) Source

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

unzip :: Stream (a, b) -> (Stream a, Stream b) Source

words :: Stream Char -> Stream String Source

unwords :: Stream String -> Stream Char Source

lines :: Stream Char -> Stream String Source

unlines :: Stream String -> Stream Char Source

listToStream :: [t] -> Stream [t] Source

streamToList :: Stream a -> [a] Source

Produced by Haddock version 2.6.0