Merge branch 'cλash' of http://git.stderr.nl/matthijs/projects/master-project

[matthijs/master-project/cλash.git] / Bits.hs

diff --git a/Bits.hs b/Bits.hs
index 99131d063ceffb834d2eec05451fac449feaf38b..b50430af9644553c657e6d6bb5ff5f95e1d69ad8 100644 (file)
--- a/Bits.hs
+++ b/Bits.hs
@@ -1,5 +1,10 @@
+{-# LANGUAGE FlexibleContexts,GADTs,ExistentialQuantification,LiberalTypeSynonyms #-}
+
 module Bits where
 
+import qualified Data.Param.TFVec as TFVec
+import qualified Types
+
 --class Signal a where
 --     hwand :: a -> a -> a
 --     hwor  :: a -> a -> a
@@ -53,4 +58,6 @@ type Stream a = [a]
 lows  = Low : lows
 highs = High : highs
 
+type BitVec len = TFVec.TFVec len Bit
+
 -- vim: set ts=8 sw=2 sts=2 expandtab: