From 3030ecf26661130e26135edd04723bd771bec626 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Thu, 29 Jan 2009 15:32:09 +0100 Subject: [PATCH] Add an invertor hardware model. --- Adders.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Adders.hs b/Adders.hs index 748c06f..c2810d5 100644 --- a/Adders.hs +++ b/Adders.hs @@ -14,6 +14,10 @@ show_add f = do print ("Sum: " ++ (displaysigs s)); print ("Carry: " ++ (displ wire :: Bit -> Bit wire a = a +-- Not really an adder either, but a slightly more complex example +inv :: Bit -> Bit +inv a = hwnot a + -- Combinatoric stateless no-carry adder -- A -> B -> S no_carry_adder :: (Bit, Bit) -> Bit -- 2.30.2