X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Bits.hs;fp=Bits.hs;h=50f6aa4c3f6766749e0a6e590080f62437c78591;hb=0de275199ba2f3a98339eefb7784e061a451c5f7;hp=99131d063ceffb834d2eec05451fac449feaf38b;hpb=f330640bc6a6652d5d841ce147596e08e05e316c;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

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