X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Bits.hs;h=435b04e1efc5cb0292b345111f5584a694cf2521;hb=c170d5cf53ad578ea96b3e80b926e23c3b512295;hp=b50430af9644553c657e6d6bb5ff5f95e1d69ad8;hpb=8a17f35807fb35ee4d2a4c35c75e1cf99066f94d;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/Bits.hs b/Bits.hs index b50430a..435b04e 100644 --- a/Bits.hs +++ b/Bits.hs @@ -1,9 +1,10 @@ -{-# LANGUAGE FlexibleContexts,GADTs,ExistentialQuantification,LiberalTypeSynonyms #-} +{-# LANGUAGE FlexibleContexts,GADTs,ExistentialQuantification,LiberalTypeSynonyms,TemplateHaskell #-} module Bits where import qualified Data.Param.TFVec as TFVec import qualified Types +import Language.Haskell.TH.Lift --class Signal a where -- hwand :: a -> a -> a @@ -46,6 +47,8 @@ displaysig Low = "0" data Bit = High | Low deriving (Show, Eq, Read) +$(deriveLift1 ''Bit) + -- A function to prettyprint a bitvector --displaysigs :: (Signal s) => [s] -> String