diff options
Diffstat (limited to 'src/Main.hs')
-rw-r--r-- | src/Main.hs | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/src/Main.hs b/src/Main.hs new file mode 100644 index 0000000..e25986c --- /dev/null +++ b/src/Main.hs @@ -0,0 +1,28 @@ +module Main where + +import Data.Bits + +newtype Input = Input { getInput :: Bool } + deriving (Show) + +data Gate = And + | Or + | Xor + | Nand + | Nor + deriving (Show) + +data Circuit = In Input + | Node Gate Circuit Circuit + deriving (Show) + +eval :: Circuit -> Bool +eval (In val) = getInput val +eval (Node And c1 c2) = eval c1 .&. eval c2 +eval (Node Or c1 c2) = eval c1 .|. eval c2 +eval (Node Xor c1 c2) = eval c1 `xor` eval c2 +eval (Node Nand c1 c2) = complement $ eval c1 .&. eval c2 +eval (Node Nor c1 c2) = complement $ eval c1 .|. eval c2 + +main :: IO () +main = print . eval $ Node And (In . Input $ True) (In . Input $ True) |