From 13c0046a6dbd41b15358e76856922144ac76e768 Mon Sep 17 00:00:00 2001
From: Joe Zhao <ztuowen@gmail.com>
Date: Sat, 4 Apr 2015 17:38:20 +0800
Subject: +46 +47 +48 +49 +50

---
 H47.hs | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 H47.hs

(limited to 'H47.hs')

diff --git a/H47.hs b/H47.hs
new file mode 100644
index 0000000..44a62a9
--- /dev/null
+++ b/H47.hs
@@ -0,0 +1,37 @@
+module H47 where
+-- Any that lacks a infix precedence declaration will assume 9
+
+infixl 4 `or'`
+infixl 4 `nor'`
+infixl 5 `xor'`
+infixl 6 `and'`
+infixl 6 `nand'`
+infixl 3 `equ'`
+
+and',or',nand',nor',xor',impl',equ' :: Bool -> Bool -> Bool
+not' :: Bool -> Bool
+
+not' True = False
+not' _ = True
+
+and' True True = True
+and' _ _ = False
+
+or' False False = False
+or' _ _ = True
+
+nand' = curry $ not' . (uncurry and')
+
+nor' = curry $ not' . (uncurry or')
+
+xor' True True = False
+xor' False False = False
+xor' _ _ = True
+
+impl' a b = or' (not' a) b
+
+equ' = curry $ not' . (uncurry xor')
+
+table :: (Bool -> Bool -> Bool) -> IO ()
+table f = mapM_ putStrLn [show a ++ " " ++ show b ++ " " ++ show (f a b)
+            | a <- [True, False], b <- [True, False]]
-- 
cgit v1.2.3-70-g09d2