Learn ExpandExpr how to handle simple case expressions.

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

diff --git a/Adders.hs b/Adders.hs
index c2810d5b397af025816fa3e0ed5a87e95163ab0d..03f04101ff9c72612bea6e4ab5030bc8b9fc2eda 100644 (file)
--- a/Adders.hs
+++ b/Adders.hs
@@ -18,6 +18,14 @@ wire a = a
 inv :: Bit -> Bit
 inv a = hwnot a
 
+-- Not really an adder either, but a slightly more complex example
+invinv :: Bit -> Bit
+invinv a = hwnot (hwnot a)
+
+-- Not really an adder either, but a slightly more complex example
+dup :: Bit -> (Bit, Bit)
+dup a = (a, a)
+
 -- Combinatoric stateless no-carry adder
 -- A -> B -> S
 no_carry_adder :: (Bit, Bit) -> Bit