category-extras-0.1: Various modules and constructs inspired by category theory. Contents Index

Data.InfiniteSeq

Documentation

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 2.1.0