src/Linear/Vector.hs: add a Vec0 type.

diff --git a/src/Linear/Vector.hs b/src/Linear/Vector.hs
index 56bc2af84c1ffc71aa1e3646602e92b1d875e642..c9307153cc65330b2e0ec8e4f5eeec85d933607b 100644 (file)
--- a/src/Linear/Vector.hs
+++ b/src/Linear/Vector.hs
@@ -8,6 +8,7 @@
 
 module Linear.Vector (
   module Data.Vector.Fixed.Boxed,
 
 module Linear.Vector (
   module Data.Vector.Fixed.Boxed,

+  Vec0,

   Vec1,
   (!?),
   delete,
   Vec1,
   (!?),
   delete,


@@ -21,6 +22,7 @@ import Data.Vector.Fixed (
   N1,
   S,
   Vector(..),
   N1,
   S,
   Vector(..),

+  Z,

   fromList,
   toList )
 import Data.Vector.Fixed (
   fromList,
   toList )
 import Data.Vector.Fixed (


@@ -35,7 +37,7 @@ import Data.Vector.Fixed.Boxed (
   Vec5 )
 import NumericPrelude hiding ( abs, length, foldl )
 
   Vec5 )
 import NumericPrelude hiding ( abs, length, foldl )
 

-
+type Vec0 = Vec Z

 type Vec1 = Vec N1
 
 
 type Vec1 = Vec N1