Data.VecN

A simple peano-indexed vector type, some instances and functions

Documentation

data VecN p a where

Constructors

VecZero :: VecN Zero a

:> :: a -> VecN p a -> VecN (Succ p) a

Instances

Functor (VecN Zero)

Functor (VecN p) => Functor (VecN (Succ p))

Applicative (VecN Zero)

Applicative (VecN p) => Applicative (VecN (Succ p))

Foldable (VecN Zero)

Foldable (VecN p) => Foldable (VecN (Succ p))

Eq a => Eq (VecN Zero a)

(Eq a, Eq (VecN p a)) => Eq (VecN (Succ p) a)

Ord a => Ord (VecN Zero a)

(Ord a, Ord (VecN p a)) => Ord (VecN (Succ p) a)

Show a => Show (VecN Zero a)

(Show a, Show (VecN p a)) => Show (VecN (Succ p) a)

head :: VecN (Succ p) a -> a

tail :: VecN (Succ p) a -> VecN p a