IOSpec-0.1.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