, module Data.SizedWord
, module Prelude
, Bit(..)
+ , State(..)
+ , Vector
, hwand
, hwor
, hwxor
null, length, head, tail, last, init, take, drop, (++), map, foldl, foldr,
zipWith, zip, unzip, concat, reverse, iterate )
import Types
-import Data.Param.TFVec
+import qualified Data.Param.TFVec as TFVec
+import Data.Param.TFVec hiding (TFVec)
import Data.RangedWord
import Data.SizedInt
import Data.SizedWord
import Language.Haskell.TH.Lift
import Data.Typeable
+newtype State s = State s deriving (P.Show)
+
+type Vector = TFVec.TFVec
+
-- The plain Bit type
data Bit = High | Low
deriving (P.Show, P.Eq, P.Read, Typeable)