-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | a simple peano-indexed vector type
--   
--   a simple peano-indexed vector type, some instances and functions
@package VecN
@version 0.0.2


-- | A simple peano-indexed vector type, some instances and functions
module Data.VecN
data VecN p a
VecZero :: VecN Zero a
(:>) :: a -> VecN p a -> VecN (Succ p) a
head :: VecN (Succ p) a -> a
tail :: VecN (Succ p) a -> VecN p a
instance Applicative (VecN p) => Applicative (VecN (Succ p))
instance Applicative (VecN 'Zero)
instance Foldable (VecN p) => Foldable (VecN (Succ p))
instance Foldable (VecN 'Zero)
instance Functor (VecN p) => Functor (VecN (Succ p))
instance Functor (VecN 'Zero)
instance (Show a, Show (VecN p a)) => Show (VecN (Succ p) a)
instance Show a => Show (VecN 'Zero a)
instance (Ord a, Ord (VecN p a)) => Ord (VecN (Succ p) a)
instance Ord a => Ord (VecN 'Zero a)
instance (Eq a, Eq (VecN p a)) => Eq (VecN (Succ p) a)
instance Eq a => Eq (VecN 'Zero a)