From 261aa714471648c0bcbc603117a420a1fc617ba3 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 7 Dec 2018 09:54:07 -0500
Subject: [PATCH] src/Linear/Vector.hs: add a Vec0 type.

---
 src/Linear/Vector.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Linear/Vector.hs b/src/Linear/Vector.hs
index 56bc2af..c930715 100644
--- a/src/Linear/Vector.hs
+++ b/src/Linear/Vector.hs
@@ -8,6 +8,7 @@
 
 module Linear.Vector (
   module Data.Vector.Fixed.Boxed,
+  Vec0,
   Vec1,
   (!?),
   delete,
@@ -21,6 +22,7 @@ import Data.Vector.Fixed (
   N1,
   S,
   Vector(..),
+  Z,
   fromList,
   toList )
 import Data.Vector.Fixed (
@@ -35,7 +37,7 @@ import Data.Vector.Fixed.Boxed (
   Vec5 )
 import NumericPrelude hiding ( abs, length, foldl )
 
-
+type Vec0 = Vec Z
 type Vec1 = Vec N1
 
 
-- 
2.43.2