VecN-0.0.2: a simple peano-indexed vector type

Safe HaskellSafe-Infered

Data.VecN

Description

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

Documentation

data VecN p a whereSource

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 -> aSource

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