Category extras Source code Contents Index

Data.InfiniteSeq

Synopsis

type Seq a = Nat -> a type Nat = Int head :: Seq a -> a tail :: Seq a -> Seq a cons :: a -> Seq a -> Seq a elemAt :: Nat -> Seq a -> a drop :: Nat -> Seq a -> Seq a toStream :: Seq a -> Stream a toList :: Seq a -> [a]

Produced by Haddock version 0.6