BoolEx.hascasl.hs revision fb667d2827149910130c66dc44c74024252a8fbf
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maedermodule HasCASLModul where
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maederimport Prelude (undefined)
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maederdata Bool = True
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertype Pred a = a -> ()
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertype Unit = ()
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdata A__2_T_2 a1 a2 = A__2_T_2
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maederdata A__2_M_M_G_2 a1 a2 = A__2_M_M_G_2
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdata A__2_M_M_G_Q_2 a1 a2 = A__2_M_M_G_Q_2
68d10d143f29fcff3c637ba24f90e983995ceae6Christian Maederdata A__2_M_G_2 a1 a2 = A__2_M_G_2
a53841f6d6e86ac751c12a33dc8aadf53f59d977Klaus Luettichdata A__2_M_G_Q_2 a1 a2 = A__2_M_G_Q_2
a53841f6d6e86ac751c12a33dc8aadf53f59d977Klaus Luettich_2_S_B_2 :: ((), ()) -> ()
a737caf82de97c1907027c03e4b4509eb492b4b8Christian Maeder_2_S_B_2 = undefined
96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian Maeder_2_L_R_G_2 :: ((), ()) -> ()
01e383014b555bbcf639c0ca60c5810b3eff83c0Christian Maeder_2_L_R_G_2 = undefined
df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian Maeder_2_R_2 :: (a, a) -> ()
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maeder_2_R_2 = undefined
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder_2_R_G_2 :: ((), ()) -> ()
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder_2_R_G_2 = undefined
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder_2_Re_R_2 :: (a, a) -> ()
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maeder_2_Re_R_2 = undefined
2e2094a642e3775b0d76b890556407941d3a53b6Christian Maeder_2_B_S_2 :: ((), ()) -> ()
2e2094a642e3775b0d76b890556407941d3a53b6Christian Maeder_2_B_S_2 = undefined
e8db9a65830cf71504e33c6f441a67b4d184a3caChristian Maeder_2if_2 :: ((), ()) -> ()
c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder_2if_2 = undefined
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder_2when_2else_2 :: (a, (), a) -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder_2when_2else_2 = undefined
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettichdef_2 :: a -> ()
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian Maederdef_2 = undefined
4d56f2fa72e4aec20eb827c11ed49c8cbb7014bdChristian Maedereq :: (Bool, Bool) -> Bool
4cb215739e9ab13447fa21162482ebe485b47455Christian Maedereq = \ (x, y) -> wedge (le (x, y), le (y, x))
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederfalse = undefined
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederif_2then_2else_2 :: ((), a, a) -> a
55adfe57a4de1f36adc3e3bfc16f342e44a7d444Christian Maederif_2then_2else_2 = undefined
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maederle :: (Bool, Bool) -> Bool
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maederle = \ (x, y) -> vee (neg x, y)
e593b89bfd4952698dc37feced21cefe869d87a2Christian Maederne :: (Bool, Bool) -> Bool
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederne = \ (x, y) -> wedge (vee (x, y), neg (wedge (x, y)))
7cc09dd93962a2155c34d209d1d4cd7d7b838264Christian Maederneg :: Bool -> Bool
7cc09dd93962a2155c34d209d1d4cd7d7b838264Christian Maeder False -> True
1aee4aaddde105264c1faf394d88e302c05094ffChristian Maeder True -> False
c3053d57f642ca507cdf79512e604437c4546cb9Christian Maedernot_2 :: () -> ()
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37aChristian Maedernot_2 = undefined
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37aChristian Maedertrue = undefined
c2fcc35abb03cf0b4ca4b050efeb10827f38c322Christian Maedervee :: (Bool, Bool) -> Bool
1aee4aaddde105264c1faf394d88e302c05094ffChristian Maedervee = \ (x, y) -> neg (wedge (neg x, neg y))
356fa49fe3e6a8398f92d13e9f920d0f093697ecChristian Maederwedge :: (Bool, Bool) -> Bool
356fa49fe3e6a8398f92d13e9f920d0f093697ecChristian Maeder = \ (x, y) ->
356fa49fe3e6a8398f92d13e9f920d0f093697ecChristian Maeder case (x, y) of
0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian Maeder (False, False) -> False
f13d1e86e58da53680e78043e8df182eed867efbChristian Maeder (True, False) -> False
c2a4d8ae266aa37cc922eba97077520229a19902Christian Maeder (False, True) -> False
757e6c79ec40491d45dc72c82b5eb59a386634b0Jian Chun Wang (True, True) -> True