category-extras-0.2: 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