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

Data.InfiniteSeq

Documentation

type Seq a = Nat -> a Source

type Nat = Int Source

head :: Seq a -> a Source

tail :: Seq a -> Seq a Source

cons :: a -> Seq a -> Seq a Source

elemAt :: Nat -> Seq a -> a Source

drop :: Nat -> Seq a -> Seq a Source

toStream :: Seq a -> Stream a Source

toList :: Seq a -> [a] Source

Produced by Haddock version 2.3.0