Id.hs.out revision c72c1e75a969ff4c336e77481c2a8e42603f13ee
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner{-
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerinstances:
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder(Num Int, (inst__Prelude_Num_Int, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Num Integer, (inst__Prelude_Num_Integer, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Num Rational, (inst__Prelude_Num_Rational, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Num Double, (inst__Prelude_Num_Double, []))
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Eq Int, (inst__Prelude_Eq_Int, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Ord Int, (inst__Prelude_Ord_Int, []))
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Enum Int, (inst__Prelude_Enum_Int, []))
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Eq Char, (inst__Prelude_Eq_Char, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Eq Integer, (inst__Prelude_Eq_Integer, []))
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Eq Rational, (inst__Prelude_Eq_Rational, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Eq Double, (inst__Prelude_Eq_Double, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Ord Char, (inst__Prelude_Ord_Char, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Ord Integer, (inst__Prelude_Ord_Integer, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Ord Rational, (inst__Prelude_Ord_Rational, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Ord Double, (inst__Prelude_Ord_Double, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Show Int, (inst__Prelude_Show_Int, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Show Char, (inst__Prelude_Show_Char, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Show Integer, (inst__Prelude_Show_Integer, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Show Rational, (inst__Prelude_Show_Rational, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Show Double, (inst__Prelude_Show_Double, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Fractional Rational, (inst__Prelude_Fractional_Rational, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Fractional Double, (inst__Prelude_Fractional_Double, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Eq Bool, (derived__Prelude_Eq_Bool, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Ord Bool, (derived__Prelude_Ord_Bool, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Show Bool, (derived__Prelude_Show_Bool, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Eq Ordering, (derived__Prelude_Eq_Ordering, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Ord Ordering, (derived__Prelude_Ord_Ordering, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Show Ordering, (derived__Prelude_Show_Ordering, []))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Eq [a], (derived__Prelude_Eq_34_65, [Eq a]))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Ord [a], (derived__Prelude_Ord_34_69, [Ord a]))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Show [a], (derived__Prelude_Show_34_59, [Show a]))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Eq (), (derived__Prelude_Eq_184_27, []))
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa(Ord (), (derived__Prelude_Ord_184_31, []))
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa(Show (), (derived__Prelude_Show_184_36, []))
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa(Eq (a, b), (derived__Prelude_Eq_188_20, [Eq a,
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa Eq b]))
ab4256496e72886018b78571057331f373da6883Eugen Kuksa(Ord (a, b), (derived__Prelude_Ord_188_24, [Ord a,
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa Ord b]))
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa(Show (a, b), (derived__Prelude_Show_188_14, [Show a,
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa Show b]))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Eq (a, b, c), (derived__Prelude_Eq_192_20, [Eq a,
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner Eq b, Eq c]))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Ord (a, b, c), (derived__Prelude_Ord_192_24, [Ord a,
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner Ord b, Ord c]))
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksa(Show (a, b,
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksa c), (derived__Prelude_Show_192_14, [Show a, Show b,
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksa Show c]))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Eq (a, b, c, d), (derived__Prelude_Eq_196_20, [Eq a,
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner Eq b, Eq c, Eq d]))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Ord (a, b, c,
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner d), (derived__Prelude_Ord_196_24, [Ord a, Ord b,
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner Ord c, Ord d]))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(Show (a, b, c,
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner d), (derived__Prelude_Show_196_14, [Show a, Show b,
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksa Show c, Show d]))
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian Maeder
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedertypes:
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder() :: (*, data)
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(,) :: (*->*->*, data)
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederPrelude.(,,) :: (*->*->*->*, data)
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederPrelude.(,,,) :: (*->*->*->*->*, data)
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich((->)) :: (*->*->*, data)
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian MaederBool :: (*, data)
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederBounded ::
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich (*->Pred, class _ a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder where
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder minBound :: a
1a38107941725211e7c3f051f7a8f5e12199f03acmaeder maxBound :: a)
ce5b44277ea06257548ff625e928cb1290c6d297cmaederChar :: (*, data)
bab2d88d650448628730ed3b65c9f99c52500e8cChristian MaederDouble :: (*, data)
fa8878c6145f652f615a04a5e9c15a1d1327bc92cmaederEnum ::
ce5b44277ea06257548ff625e928cb1290c6d297cmaeder (*->Pred, class _ a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder where
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder succ :: a -> a
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder pred :: a -> a
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder toEnum :: Int -> a
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder fromEnum :: a -> Int
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder enumFrom :: a -> [a]
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder enumFromThen :: a -> a -> [a]
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder enumFromTo :: a -> a -> [a]
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder enumFromThenTo :: a -> a -> a -> [a])
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederEq ::
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder (*->Pred, class _ a
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder where
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder (==) :: a -> a -> Bool
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder (/=) :: a -> a -> Bool)
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002Christian MaederFractional ::
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder (*->Pred, class Num a => _ a
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder where
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder (/) :: a -> a -> a
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder recip :: a -> a
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder fromRational :: Rational -> a)
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederInt :: (*, data)
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederInteger :: (*, data)
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederIntegral ::
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian Maeder (*->Pred, class (Real a, Enum a) => _ a
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian Maeder where
308834907a120fd8771e18292ed2ca9cd767c12dChristian Maeder quot :: a -> a -> a
bab2d88d650448628730ed3b65c9f99c52500e8cChristian Maeder rem :: a -> a -> a
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa div :: a -> a -> a
8cacad2a09782249243b80985f28e9387019fe40Christian Maeder mod :: a -> a -> a
6a2dad705deefd1b7a7e09b84fd2d75f2213be47Christian Maeder quotRem :: a -> a -> (a, a)
a7c27282e71cf4505026645f96d4f5cb8a284e32Christian Maeder divMod :: a -> a -> (a, a)
363939beade943a02b31004cea09dec34fa8a6d9Christian Maeder toInteger :: a -> Integer)
014dc30f64ec25e4790cca987d4d1e6635430510Christian MaederNum ::
f04e8f3ff56405901be968fd4c6e9769239f1a9bKlaus Luettich (*->Pred, class (Eq a, Show a) => _ a
6aea82c63ba1d2efc0329bc784a14e521469ec20Christian Maeder where
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian Maeder (+) :: a -> a -> a
feca1d35123d8c31aee238c9ce79947b0bf65494Christian Maeder (-) :: a -> a -> a
431d34c7007a787331c4e5ec997badb0f8190fc7Christian Maeder (*) :: a -> a -> a
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder negate :: a -> a
f5c0884429b01e74c6e658ded921fb2e16dfb478Christian Maeder abs :: a -> a
db675e8302ddb0d6528088ce68f5e98a00e890e3Christian Maeder signum :: a -> a
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder fromInteger :: Integer -> a)
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian MaederOrd ::
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder (*->Pred, class Eq a => _ a
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner compare :: a -> a -> Ordering
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner (<) :: a -> a -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (<=) :: a -> a -> Bool
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner (>=) :: a -> a -> Bool
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (>) :: a -> a -> Bool
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder max :: a -> a -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder min :: a -> a -> a)
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederOrdering :: (*, data)
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederRational :: (*, data)
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederReal ::
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (*->Pred, class (Num a, Ord a) => _ a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner where
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder toRational :: a -> Rational)
a3c6d8e0670bf2aa71bc8e2a3b1f45d56dd65e4cChristian MaederRealFrac ::
dc679edd4ca027663212afdf00926ae2ce19b555Christian Maeder (*->Pred, class (Real a, Fractional a) => _ a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder where
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder properFraction ::
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a . (Integral a) => a -> (a, a)
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder truncate :: forall a . (Integral a) => a -> a
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder round :: forall a . (Integral a) => a -> a
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder ceiling :: forall a . (Integral a) => a -> a
4017ebc0f692820736d796af3110c3b3018c108aChristian Maeder floor :: forall a . (Integral a) => a -> a)
ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederShow ::
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder (*->Pred, class _ a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder where
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder showsPrec :: Int -> a -> ShowS
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder show :: a -> String
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maeder showList :: [a] -> ShowS)
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian MaederShowS :: (*, type _ = String -> String)
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian MaederString :: (*, type _ = String)
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder[] :: (*->*, data)
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maedervalues:
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner($--*) :: forall a . (Num a) => a -> a -> a
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder($--+) :: forall a . (Num a) => a -> a -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder($---) :: forall a . (Num a) => a -> a -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder($--/) :: forall a . (Fractional a) => a -> a -> a
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder($--/=) :: forall a . (Eq a) => a -> a -> Bool
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner($--<) :: forall a . (Ord a) => a -> a -> Bool
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder($--<=) :: forall a . (Ord a) => a -> a -> Bool
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder($--==) :: forall a . (Eq a) => a -> a -> Bool
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder($-->) :: forall a . (Ord a) => a -> a -> Bool
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder($-->=) :: forall a . (Ord a) => a -> a -> Bool
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder(&&) :: Bool -> Bool -> Bool
8037b7d21021a94b69e4a092f5c98e491333d939cmaeder(*) :: forall a . (Num a) => a -> a -> a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner(+) :: forall a . (Num a) => a -> a -> a
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder(++) :: forall a . [a] -> [a] -> [a]
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder(-) :: forall a . (Num a) => a -> a -> a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner(.) :: forall a b c . (a -> b) -> (c -> a) -> c -> b
e6d5dbbc3308f05197868806e0b860f4f53875f1Christian Maeder(/) :: forall a . (Fractional a) => a -> a -> a
363939beade943a02b31004cea09dec34fa8a6d9Christian Maeder(/=) :: forall a . (Eq a) => a -> a -> Bool
e4f4d096e5e6d60dd91c746d0e833d0ac7a29c50Christian Maeder(<) :: forall a . (Ord a) => a -> a -> Bool
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner(<=) :: forall a . (Ord a) => a -> a -> Bool
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder(==) :: forall a . (Eq a) => a -> a -> Bool
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner(>) :: forall a . (Ord a) => a -> a -> Bool
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder(>=) :: forall a . (Ord a) => a -> a -> Bool
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknerabs :: forall a . (Num a) => a -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederceiling ::
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedercompare :: forall a . (Ord a) => a -> a -> Ordering
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederdefault__abs :: forall a . (Num a) => a -> a
93f5b72fdb9ee734caa750b43dd79bbb590dcd73Christian Maederdefault__ceiling ::
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder forall a b . (RealFrac a, Integral b) => a -> b
93f5b72fdb9ee734caa750b43dd79bbb590dcd73Christian Maederdefault__compare ::
93f5b72fdb9ee734caa750b43dd79bbb590dcd73Christian Maeder forall a . (Ord a) => a -> a -> Ordering
328a85c807f2a95c3f147d10b05927eaf862ebebChristian Maederdefault__div ::
8fb127028cb7dd361e348a3252e33487f73428bcJonathan von Schroeder forall a . (Integral a) => a -> a -> a
06dd4e7c29f33f6122a910719e3bd9062256e397Andy Gimblettdefault__divMod ::
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maeder forall a . (Integral a) => a -> a -> (a, a)
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian Maederdefault__enumFrom :: forall a . (Enum a) => a -> [a]
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian Maederdefault__enumFromThen ::
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa forall a . (Enum a) => a -> a -> [a]
5b818f10e11fc79def1fdd5c8a080d64a6438d87Christian Maederdefault__enumFromThenTo ::
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers forall a . (Enum a) => a -> a -> a -> [a]
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederdefault__enumFromTo ::
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maeder forall a . (Enum a) => a -> a -> [a]
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederdefault__floor ::
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a b . (RealFrac a, Integral b) => a -> b
140287998aa8592c9c403bd9e308e447ba92ae11Christian Maederdefault__fromEnum :: forall a . (Enum a) => a -> Int
c208973c890b8f993297720fd0247bc7481d4304Christian Maederdefault__fromInteger ::
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maeder forall a . (Num a) => Integer -> a
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederdefault__fromRational ::
3554301a34639efb6c9961a8571775d0061284c9Christian Maeder forall a . (Fractional a) => Rational -> a
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersdefault__max :: forall a . (Ord a) => a -> a -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederdefault__maxBound :: forall a . (Bounded a) => a
9e748851c150e1022fb952bab3315e869aaf0214Christian Maederdefault__min :: forall a . (Ord a) => a -> a -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederdefault__minBound :: forall a . (Bounded a) => a
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederdefault__mod ::
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder forall a . (Integral a) => a -> a -> a
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__negate :: forall a . (Num a) => a -> a
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__pred :: forall a . (Enum a) => a -> a
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__properFraction ::
3554301a34639efb6c9961a8571775d0061284c9Christian Maeder forall a b . (RealFrac a, Integral b) => a -> (b, a)
3554301a34639efb6c9961a8571775d0061284c9Christian Maederdefault__quot ::
3554301a34639efb6c9961a8571775d0061284c9Christian Maeder forall a . (Integral a) => a -> a -> a
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__quotRem ::
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder forall a . (Integral a) => a -> a -> (a, a)
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederdefault__recip :: forall a . (Fractional a) => a -> a
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederdefault__rem ::
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder forall a . (Integral a) => a -> a -> a
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederdefault__round ::
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder forall a b . (RealFrac a, Integral b) => a -> b
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__show :: forall a . (Show a) => a -> String
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__showList ::
a14767aeac3e78ed100f5b75e210ba563ee10dbaChristian Maeder forall a . (Show a) => [a] -> ShowS
a14767aeac3e78ed100f5b75e210ba563ee10dbaChristian Maederdefault__showsPrec ::
a14767aeac3e78ed100f5b75e210ba563ee10dbaChristian Maeder forall a . (Show a) => Int -> a -> ShowS
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__signum :: forall a . (Num a) => a -> a
3554301a34639efb6c9961a8571775d0061284c9Christian Maederdefault__succ :: forall a . (Enum a) => a -> a
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__toEnum :: forall a . (Enum a) => Int -> a
54ea981a0503c396c2923a1c06421c6235baf27fChristian Maederdefault__toInteger ::
54ea981a0503c396c2923a1c06421c6235baf27fChristian Maeder forall a . (Integral a) => a -> Integer
54ea981a0503c396c2923a1c06421c6235baf27fChristian Maederdefault__toRational ::
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maeder forall a . (Real a) => a -> Rational
db6729e623b4053149084ccf4b35e5308ac7e359Christian Maederdefault__truncate ::
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maederderived__Prelude_Eq_184_27 :: Eq ()
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederderived__Prelude_Eq_188_20 ::
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maeder forall a b . (Eq a) -> (Eq b) -> Eq (a, b)
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maederderived__Prelude_Eq_192_20 ::
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maeder forall a b c .
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maeder (Eq a) -> (Eq b) -> (Eq c) -> Eq (a, b, c)
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Eq_196_20 ::
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maeder forall a b c d .
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder (Eq a) ->
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder (Eq b) -> (Eq c) -> (Eq d) -> Eq (a, b, c, d)
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maederderived__Prelude_Eq_34_65 ::
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder forall a . (Eq a) -> Eq [a]
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Eq_Bool :: Eq Bool
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maederderived__Prelude_Eq_Ordering :: Eq Ordering
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Ord_184_31 :: Ord ()
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Ord_188_24 ::
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder forall a b . (Ord a) -> (Ord b) -> Ord (a, b)
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Ord_192_24 ::
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder forall a b c .
ac34194a668399bb8ef238da77c3a09e93fb253bChristian Maeder (Ord a) -> (Ord b) -> (Ord c) -> Ord (a, b, c)
4fc9de0da898448f1d3597ebbd8c04a066464c21Christian Maederderived__Prelude_Ord_196_24 ::
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder forall a b c d .
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder (Ord a) ->
c208973c890b8f993297720fd0247bc7481d4304Christian Maeder (Ord b) -> (Ord c) -> (Ord d) -> Ord (a, b, c, d)
c208973c890b8f993297720fd0247bc7481d4304Christian Maederderived__Prelude_Ord_34_69 ::
c208973c890b8f993297720fd0247bc7481d4304Christian Maeder forall a . (Ord a) -> Ord [a]
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maederderived__Prelude_Ord_Bool :: Ord Bool
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maederderived__Prelude_Ord_Ordering :: Ord Ordering
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maederderived__Prelude_Show_184_36 :: Show ()
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5Christian Maederderived__Prelude_Show_188_14 ::
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maeder forall a b . (Show a) -> (Show b) -> Show (a, b)
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5Christian Maederderived__Prelude_Show_192_14 ::
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder forall a b c .
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (Show a) -> (Show b) -> (Show c) -> Show (a, b, c)
986d3f255182539098a97ac86da9eeee5b7a72e3Christian Maederderived__Prelude_Show_196_14 ::
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder forall a b c d .
4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maeder (Show a) ->
01e278bdd7dce13b9303ed3d79683d83c89d09f9Liam O'Reilly (Show b) -> (Show c) -> (Show d) -> Show (a, b, c, d)
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederderived__Prelude_Show_34_59 ::
5ad5dffe06818a13e1632b1119fbca7881085fc1Dominik Luecke forall a . (Show a) -> Show [a]
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maederderived__Prelude_Show_Bool :: Show Bool
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maederderived__Prelude_Show_Ordering :: Show Ordering
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maederdiv :: forall a . (Integral a) => a -> a -> a
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai CodescudivMod :: forall a . (Integral a) => a -> a -> (a, a)
31d6d9286988dc31639d105841296759aeb743e0Jonathan von SchroederenumFrom :: forall a . (Enum a) => a -> [a]
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai CodescuenumFromThen :: forall a . (Enum a) => a -> a -> [a]
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von SchroederenumFromThenTo ::
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroeder forall a . (Enum a) => a -> a -> a -> [a]
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von SchroederenumFromTo :: forall a . (Enum a) => a -> a -> [a]
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroedererror :: forall a . String -> a
05a206508bc898f87fe6ab6e069814df3c29d303Dominik Lueckeeven :: forall a . (Integral a) => a -> Bool
05a206508bc898f87fe6ab6e069814df3c29d303Dominik Lueckeflip :: forall a b c . (a -> b -> c) -> b -> a -> c
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederfloor ::
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder forall a b . (RealFrac a, Integral b) => a -> b
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroederfromEnum :: forall a . (Enum a) => a -> Int
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroederfromInteger :: forall a . (Num a) => Integer -> a
d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3Christian MaederfromIntegral ::
d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3Christian Maeder forall a b . (Integral a, Num b) => a -> b
d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3Christian MaederfromRational ::
3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski forall a . (Fractional a) => Rational -> a
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian Maederhead :: forall a . [a] -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederinst__Prelude_Enum_Int :: Enum Int
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maederinst__Prelude_Eq_Char :: Eq Char
0b349288edfa50fdf38fda1a14e1562d03f92574Christian Maederinst__Prelude_Eq_Double :: Eq Double
5afff1a0f62394414c33b06141175b3ab0b117a5Christian Maederinst__Prelude_Eq_Int :: Eq Int
5afff1a0f62394414c33b06141175b3ab0b117a5Christian Maederinst__Prelude_Eq_Integer :: Eq Integer
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederinst__Prelude_Eq_Rational :: Eq Rational
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik Lueckeinst__Prelude_Fractional_Double :: Fractional Double
f04e8f3ff56405901be968fd4c6e9769239f1a9bKlaus Luettichinst__Prelude_Fractional_Rational ::
e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maeder Fractional Rational
f8e1a1eca871a26a535a4ee7d51902ba94b1db1eChristian Maederinst__Prelude_Num_Double :: Num Double
ea3bff3e547a1ac714d4db39c5efef95e02b2e7dChristian Maederinst__Prelude_Num_Int :: Num Int
dd6f22b9dcff2695181b86372e4df03d5b96e92dKristina Sojakovainst__Prelude_Num_Integer :: Num Integer
005e0f0c6b0cc898003b03801158c208f3071fc5Kristina Sojakovainst__Prelude_Num_Rational :: Num Rational
abf2487c3aece95c371ea89ac64319370dcb6483Klaus Luettichinst__Prelude_Ord_Char :: Ord Char
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian Maederinst__Prelude_Ord_Double :: Ord Double
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian Maederinst__Prelude_Ord_Int :: Ord Int
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian Maederinst__Prelude_Ord_Integer :: Ord Integer
76b9b2974795a6fb31f242fd032de3ff66df6204Christian Maederinst__Prelude_Ord_Rational :: Ord Rational
74a992bd019d3319df2f21f9d358ff06cafb5f7eMihaela Turcuinst__Prelude_Show_Char :: Show Char
8a78868bae2ec6838c87366c35c57e109154c51eChristian Maederinst__Prelude_Show_Double :: Show Double
878a5ecd6acf973907e25e5be6e4a792ea19a05eEwaryst Schulzinst__Prelude_Show_Int :: Show Int
878a5ecd6acf973907e25e5be6e4a792ea19a05eEwaryst Schulzinst__Prelude_Show_Integer :: Show Integer
c2e192ace9ef7cfb0e59563f1b24477b2b65cff3Dominik Dietrichinst__Prelude_Show_Rational :: Show Rational
6b75c206b317eb30a08d88a8f27e0295ffeb1546Christian MaederlexOrder :: Ordering -> Ordering -> Ordering
9a4b469ca0a7f44a598e551a973c75195207db58Eugen Kuksamain :: t203
48aa0645e25883048369afc02aac3f49b14a50daChristian Maedermap :: forall a b . (a -> b) -> [a] -> [b]
01645eac73dbc789392674930adc5745c935f3a0Christian Maedermax :: forall a . (Ord a) => a -> a -> a
01645eac73dbc789392674930adc5745c935f3a0Christian MaedermaxBound :: forall a . (Bounded a) => a
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian Maedermin :: forall a . (Ord a) => a -> a -> a
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian MaederminBound :: forall a . (Bounded a) => a
3a9fce5398f4621558ca220c66c87cee59adc258Jonathan von Schroedermod :: forall a . (Integral a) => a -> a -> a
b5da047a9a875dec3f968b6c0df96af326f90fa9Alexis Tsogiasnegate :: forall a . (Num a) => a -> a
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulznot :: Bool -> Bool
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulzodd :: forall a . (Integral a) => a -> Bool
a604cbad8e2202147b5c6bb9f2e06ae61162d654Felix Gabriel Manceotherwise :: Bool
308834907a120fd8771e18292ed2ca9cd767c12dChristian Maederpred :: forall a . (Enum a) => a -> a
80875f917d741946a39d0ec0b5721e46ba609823Till MossakowskiprimError :: forall a . String -> a
7834a982096d93301a4626f444dd9ea5f9fe17eaChristian MaederproperFraction ::
1f9274bb2aa44ea236327814dce99946be52e348Felix Gabriel Mance forall a b . (RealFrac a, Integral b) => a -> (b, a)
80875f917d741946a39d0ec0b5721e46ba609823Till Mossakowskiquot :: forall a . (Integral a) => a -> a -> a
bab2d88d650448628730ed3b65c9f99c52500e8cChristian MaederquotRem ::
8fd6a3f938496a502bc62f1923ff7c15f59acf91Christian Maeder forall a . (Integral a) => a -> a -> (a, a)
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian Maederrecip :: forall a . (Fractional a) => a -> a
d62661e54e2662d53b583ae48609f5037701078dcmaederrem :: forall a . (Integral a) => a -> a -> a
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegariround ::
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa forall a b . (RealFrac a, Integral b) => a -> b
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksashow :: forall a . (Show a) => a -> String
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedershowArgument ::
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder forall a . (Show a) => a -> String -> String
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedershowChar :: Char -> ShowS
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedershowList :: forall a . (Show a) => [a] -> ShowS
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedershowParen :: Bool -> ShowS -> ShowS
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedershowParenArg :: Int -> ShowS -> ShowS
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedershowString :: String -> ShowS
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedershows :: forall a . (Show a) => a -> ShowS
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedershowsPrec :: forall a . (Show a) => Int -> a -> ShowS
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedersignum :: forall a . (Num a) => a -> a
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroedersubtract :: forall a . (Num a) => a -> a -> a
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroedersucc :: forall a . (Enum a) => a -> a
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroedertail :: forall a . [a] -> [a]
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai CodescutoEnum :: forall a . (Enum a) => Int -> a
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai CodescutoInteger :: forall a . (Integral a) => a -> Integer
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai CodescutoRational :: forall a . (Real a) => a -> Rational
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai Codescutruncate ::
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder() :: ()
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder(,) :: forall a b . a -> b -> (a, b)
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.(,,) ::
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder forall a b c . a -> b -> c -> (a, b, c)
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.(,,,) ::
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder forall a b c d . a -> b -> c -> d -> (a, b, c, d)
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder(:) :: forall a . a -> [a] -> [a]
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederEQ :: Ordering
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroederFalse :: Bool
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroederGT :: Ordering
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroederLT :: Ordering
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroederTrue :: Bool
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder[] :: forall a . [a]
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederscope:
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.&& |-> Prelude.&&, Value
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder() |-> Prelude.(), Type [()] []
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder() |-> Prelude.(), con of ()
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder(,) |-> Prelude.(,), Type [(,)] []
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder(,) |-> Prelude.(,), con of (,)
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.(,,) |-> Prelude.(,,), Type [(,,)] []
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.(,,) |-> Prelude.(,,), con of (,,)
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.(,,,) |-> Prelude.(,,,), Type [(,,,)] []
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.(,,,) |-> Prelude.(,,,), con of (,,,)
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.* |-> Prelude.*, method of Num
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.+ |-> Prelude.+, method of Num
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.++ |-> Prelude.++, Value
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.- |-> Prelude.-, method of Num
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder(->) |-> Prelude.->, Type [] []
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.. |-> Prelude.., Value
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude./ |-> Prelude./, method of Fractional
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude./= |-> Prelude./=, method of Eq
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.: |-> Prelude.:, con of []
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.< |-> Prelude.<, method of Ord
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.<= |-> Prelude.<=, method of Ord
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.== |-> Prelude.==, method of Eq
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.> |-> Prelude.>, method of Ord
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.>= |-> Prelude.>=, method of Ord
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.Bool |-> Prelude.Bool, Type [False, True] []
5199920ca3b698b2149c8cb9d2ce2e98a280ff9dChristian MaederPrelude.Bounded |-> Prelude.Bounded, Class [minBound,
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder maxBound]
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.Char |-> Prelude.Char, Type [] []
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.Double |-> Prelude.Double, Type [] []
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.EQ |-> Prelude.EQ, con of Ordering
9f85afecbd79b3df5a0bb17bd28cd0b288dc3213Kristina SojakovaPrelude.Enum |-> Prelude.Enum, Class [succ, pred,
48aa0645e25883048369afc02aac3f49b14a50daChristian Maeder toEnum, fromEnum, enumFrom, enumFromThen,
9f85afecbd79b3df5a0bb17bd28cd0b288dc3213Kristina Sojakova enumFromTo, enumFromThenTo]
79834070d6d3c63a098e570b12fa3405c607dc70Kristina SojakovaPrelude.Eq |-> Prelude.Eq, Class [==, /=]
79834070d6d3c63a098e570b12fa3405c607dc70Kristina SojakovaPrelude.False |-> Prelude.False, con of Bool
79834070d6d3c63a098e570b12fa3405c607dc70Kristina SojakovaPrelude.Fractional |-> Prelude.Fractional, Class [/,
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian Maeder recip, fromRational]
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian MaederPrelude.GT |-> Prelude.GT, con of Ordering
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian MaederPrelude.Int |-> Prelude.Int, Type [] []
8a78868bae2ec6838c87366c35c57e109154c51eChristian MaederPrelude.Integer |-> Prelude.Integer, Type [] []
8a78868bae2ec6838c87366c35c57e109154c51eChristian MaederPrelude.Integral |-> Prelude.Integral, Class [quot,
8a78868bae2ec6838c87366c35c57e109154c51eChristian Maeder rem, div, mod, quotRem, divMod,
624e6701e0deb7ac6c03c0cba0190fbc5033cf93Ewaryst Schulz toInteger]
624e6701e0deb7ac6c03c0cba0190fbc5033cf93Ewaryst SchulzPrelude.LT |-> Prelude.LT, con of Ordering
c2e192ace9ef7cfb0e59563f1b24477b2b65cff3Dominik DietrichPrelude.Num |-> Prelude.Num, Class [+, -, *, negate,
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl Luc abs, signum, fromInteger]
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucPrelude.Ord |-> Prelude.Ord, Class [compare, <, <=,
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl Luc >=, >, max, min]
01645eac73dbc789392674930adc5745c935f3a0Christian MaederPrelude.Ordering |-> Prelude.Ordering, Type [LT, EQ,
01645eac73dbc789392674930adc5745c935f3a0Christian Maeder GT] []
01645eac73dbc789392674930adc5745c935f3a0Christian MaederPrelude.Rational |-> Prelude.Rational, Type [] []
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian MaederPrelude.Real |-> Prelude.Real, Class [toRational]
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian MaederPrelude.RealFrac |-> Prelude.RealFrac, Class [properFraction,
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian Maeder truncate, round, ceiling, floor]
b5da047a9a875dec3f968b6c0df96af326f90fa9Alexis TsogiasPrelude.Show |-> Prelude.Show, Class [showsPrec,
fc09e0a6af734edbd944dd8082bb51985c233b43Alexis Tsogias show, showList]
b5da047a9a875dec3f968b6c0df96af326f90fa9Alexis TsogiasPrelude.ShowS |-> Prelude.ShowS, Type [] []
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst SchulzPrelude.String |-> Prelude.String, Type [] []
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst SchulzPrelude.True |-> Prelude.True, con of Bool
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulz[] |-> Prelude.[], Type [[], :] [head, tail]
bab2d88d650448628730ed3b65c9f99c52500e8cChristian Maeder[] |-> Prelude.[], con of []
18d370f8341357f5d6a4068f4bb6981173ece70fFelix Gabriel MancePrelude.abs |-> Prelude.abs, method of Num
7834a982096d93301a4626f444dd9ea5f9fe17eaChristian MaederPrelude.ceiling |-> Prelude.ceiling, method of RealFrac
ed1b8e97e72b2e3e92edaf2eb22a4b5373d705f1Felix Gabriel MancePrelude.compare |-> Prelude.compare, method of Ord
ed1b8e97e72b2e3e92edaf2eb22a4b5373d705f1Felix Gabriel MancePrelude.div |-> Prelude.div, method of Integral
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst SchulzPrelude.divMod |-> Prelude.divMod, method of Integral
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian MaederPrelude.enumFrom |-> Prelude.enumFrom, method of Enum
fc1bf40b1196cf62c6ce5c971633b5ebfc5936efChristian MaederPrelude.enumFromThen |-> Prelude.enumFromThen, method of Enum
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian MaederPrelude.enumFromThenTo |-> Prelude.enumFromThenTo, method of Enum
d62661e54e2662d53b583ae48609f5037701078dcmaederPrelude.enumFromTo |-> Prelude.enumFromTo, method of Enum
d62661e54e2662d53b583ae48609f5037701078dcmaederPrelude.error |-> Prelude.error, Value
d62661e54e2662d53b583ae48609f5037701078dcmaederPrelude.even |-> Prelude.even, Value
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel CalegariPrelude.flip |-> Prelude.flip, Value
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen KuksaPrelude.floor |-> Prelude.floor, method of RealFrac
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen KuksaPrelude.fromEnum |-> Prelude.fromEnum, method of Enum
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen KuksaPrelude.fromInteger |-> Prelude.fromInteger, method of Num
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.fromIntegral |-> Prelude.fromIntegral, Value
c70ef4c3b3a62764f715510c9fd67dde3acfe454Christian MaederPrelude.fromRational |-> Prelude.fromRational, method of Fractional
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederPrelude.head |-> Prelude.head, field of []
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederPrelude.lexOrder |-> Prelude.lexOrder, Value
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersPrelude.main |-> Prelude.main, Value
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.map |-> Prelude.map, Value
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.max |-> Prelude.max, method of Ord
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.maxBound |-> Prelude.maxBound, method of Bounded
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.min |-> Prelude.min, method of Ord
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederPrelude.minBound |-> Prelude.minBound, method of Bounded
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPrelude.mod |-> Prelude.mod, method of Integral
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.negate |-> Prelude.negate, method of Num
60e6795dd310e10194e12bb660575aadf941328bEugen KuksaPrelude.not |-> Prelude.not, Value
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederPrelude.odd |-> Prelude.odd, Value
360ce9b5c746ac021944db12eb26e3df2697b8c7Christian MaederPrelude.otherwise |-> Prelude.otherwise, Value
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.pred |-> Prelude.pred, method of Enum
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.primError |-> Prelude.primError, Value
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.properFraction |-> Prelude.properFraction, method of RealFrac
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.quot |-> Prelude.quot, method of Integral
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.quotRem |-> Prelude.quotRem, method of Integral
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.recip |-> Prelude.recip, method of Fractional
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.rem |-> Prelude.rem, method of Integral
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerPrelude.round |-> Prelude.round, method of RealFrac
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerPrelude.show |-> Prelude.show, method of Show
60e6795dd310e10194e12bb660575aadf941328bEugen KuksaPrelude.showArgument |-> Prelude.showArgument, Value
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian MaederPrelude.showChar |-> Prelude.showChar, Value
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.showList |-> Prelude.showList, method of Show
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederPrelude.showParen |-> Prelude.showParen, Value
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.showParenArg |-> Prelude.showParenArg, Value
7c99e334446bb97120e30e967baeeddfdd1278deKlaus LuettichPrelude.showString |-> Prelude.showString, Value
f5c9b1e739228c2a2edf055ac419583412569683Christian MaederPrelude.shows |-> Prelude.shows, Value
f5c9b1e739228c2a2edf055ac419583412569683Christian MaederPrelude.showsPrec |-> Prelude.showsPrec, method of Show
f5c9b1e739228c2a2edf055ac419583412569683Christian MaederPrelude.signum |-> Prelude.signum, method of Num
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.subtract |-> Prelude.subtract, Value
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.succ |-> Prelude.succ, method of Enum
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.tail |-> Prelude.tail, field of []
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerPrelude.toEnum |-> Prelude.toEnum, method of Enum
fa21fba9ceb1ddf7b3efd54731a12ed8750191d8Christian MaederPrelude.toInteger |-> Prelude.toInteger, method of Integral
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPrelude.toRational |-> Prelude.toRational, method of Real
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerPrelude.truncate |-> Prelude.truncate, method of RealFrac
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner&& |-> Prelude.&&, Value
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner() |-> Prelude.(), Type [()] []
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner() |-> Prelude.(), con of ()
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner(,) |-> Prelude.(,), Type [(,)] []
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner(,) |-> Prelude.(,), con of (,)
011156728d0d9ae2a044ce2d01e62228720b1aa2cmaeder(,,) |-> Prelude.(,,), Type [(,,)] []
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(,,) |-> Prelude.(,,), con of (,,)
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner(,,,) |-> Prelude.(,,,), Type [(,,,)] []
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner(,,,) |-> Prelude.(,,,), con of (,,,)
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner* |-> Prelude.*, method of Num
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner+ |-> Prelude.+, method of Num
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner++ |-> Prelude.++, Value
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner- |-> Prelude.-, method of Num
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner-> |-> Prelude.->, Type [] []
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner. |-> Prelude.., Value
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner/ |-> Prelude./, method of Fractional
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner/= |-> Prelude./=, method of Eq
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner: |-> Prelude.:, con of []
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner< |-> Prelude.<, method of Ord
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner<= |-> Prelude.<=, method of Ord
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner== |-> Prelude.==, method of Eq
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner> |-> Prelude.>, method of Ord
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner>= |-> Prelude.>=, method of Ord
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerBool |-> Prelude.Bool, Type [False, True] []
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerBounded |-> Prelude.Bounded, Class [minBound,
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner maxBound]
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerChar |-> Prelude.Char, Type [] []
fa21fba9ceb1ddf7b3efd54731a12ed8750191d8Christian MaederDouble |-> Prelude.Double, Type [] []
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerEQ |-> Prelude.EQ, con of Ordering
c7ec85d1103173e089aa5048fd7afb2f9b505124Klaus LuettichEnum |-> Prelude.Enum, Class [succ, pred, toEnum,
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner fromEnum, enumFrom, enumFromThen, enumFromTo,
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner enumFromThenTo]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerEq |-> Prelude.Eq, Class [==, /=]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerFalse |-> Prelude.False, con of Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerFractional |-> Prelude.Fractional, Class [/, recip,
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner fromRational]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerGT |-> Prelude.GT, con of Ordering
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerInt |-> Prelude.Int, Type [] []
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerInteger |-> Prelude.Integer, Type [] []
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerIntegral |-> Prelude.Integral, Class [quot, rem, div,
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner mod, quotRem, divMod, toInteger]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerLT |-> Prelude.LT, con of Ordering
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerNum |-> Prelude.Num, Class [+, -, *, negate, abs,
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner signum, fromInteger]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerOrd |-> Prelude.Ord, Class [compare, <, <=, >=, >,
b905126bab9454b89041f92b3c50bb9efc85e427Klaus Luettich max, min]
756f31c6dd0843b4435c0ca66485ec19139eb1a8Eugen KuksaOrdering |-> Prelude.Ordering, Type [LT, EQ, GT] []
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerRational |-> Prelude.Rational, Type [] []
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederReal |-> Prelude.Real, Class [toRational]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerRealFrac |-> Prelude.RealFrac, Class [properFraction,
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner truncate, round, ceiling, floor]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerShow |-> Prelude.Show, Class [showsPrec, show,
0a5571c8adeddd27548445546491725beb224dddChristian Maeder showList]
0a5571c8adeddd27548445546491725beb224dddChristian MaederShowS |-> Prelude.ShowS, Type [] []
0a5571c8adeddd27548445546491725beb224dddChristian MaederString |-> Prelude.String, Type [] []
0a5571c8adeddd27548445546491725beb224dddChristian MaederTrue |-> Prelude.True, con of Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner[] |-> Prelude.[], Type [[], :] [head, tail]
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner[] |-> Prelude.[], con of []
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknerabs |-> Prelude.abs, method of Num
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerceiling |-> Prelude.ceiling, method of RealFrac
e642ad0e782f9bb9ba310164358220402eec8cd8Christian Maedercompare |-> Prelude.compare, method of Ord
f38b3687c5558128515e34fb85d8b466d22dc300Christian Maederdiv |-> Prelude.div, method of Integral
f38b3687c5558128515e34fb85d8b466d22dc300Christian MaederdivMod |-> Prelude.divMod, method of Integral
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerenumFrom |-> Prelude.enumFrom, method of Enum
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerenumFromThen |-> Prelude.enumFromThen, method of Enum
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederenumFromThenTo |-> Prelude.enumFromThenTo, method of Enum
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederenumFromTo |-> Prelude.enumFromTo, method of Enum
aebb0b18fe5e6ba7dd7e4c66a16a905611ef7ba9Christian Maedererror |-> Prelude.error, Value
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknereven |-> Prelude.even, Value
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maederflip |-> Prelude.flip, Value
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederfloor |-> Prelude.floor, method of RealFrac
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerfromEnum |-> Prelude.fromEnum, method of Enum
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerfromInteger |-> Prelude.fromInteger, method of Num
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerfromIntegral |-> Prelude.fromIntegral, Value
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerfromRational |-> Prelude.fromRational, method of Fractional
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederhead |-> Prelude.head, field of []
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederlexOrder |-> Prelude.lexOrder, Value
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknermain |-> Prelude.main, Value
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroedermap |-> Prelude.map, Value
aebb0b18fe5e6ba7dd7e4c66a16a905611ef7ba9Christian Maedermax |-> Prelude.max, method of Ord
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknermaxBound |-> Prelude.maxBound, method of Bounded
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknermin |-> Prelude.min, method of Ord
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerminBound |-> Prelude.minBound, method of Bounded
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maedermod |-> Prelude.mod, method of Integral
1dfba1f850f6a43094962b459998d1ea11472461Christian Maedernegate |-> Prelude.negate, method of Num
1dfba1f850f6a43094962b459998d1ea11472461Christian Maedernot |-> Prelude.not, Value
1dfba1f850f6a43094962b459998d1ea11472461Christian Maederodd |-> Prelude.odd, Value
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederotherwise |-> Prelude.otherwise, Value
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichpred |-> Prelude.pred, method of Enum
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichprimError |-> Prelude.primError, Value
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichproperFraction |-> Prelude.properFraction, method of RealFrac
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichquot |-> Prelude.quot, method of Integral
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichquotRem |-> Prelude.quotRem, method of Integral
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerrecip |-> Prelude.recip, method of Fractional
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerrem |-> Prelude.rem, method of Integral
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerround |-> Prelude.round, method of RealFrac
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknershow |-> Prelude.show, method of Show
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknershowArgument |-> Prelude.showArgument, Value
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichshowChar |-> Prelude.showChar, Value
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedershowList |-> Prelude.showList, method of Show
ab4256496e72886018b78571057331f373da6883Eugen KuksashowParen |-> Prelude.showParen, Value
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksashowParenArg |-> Prelude.showParenArg, Value
ab4256496e72886018b78571057331f373da6883Eugen KuksashowString |-> Prelude.showString, Value
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedershows |-> Prelude.shows, Value
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknershowsPrec |-> Prelude.showsPrec, method of Show
a80c28bb8b7a23ccdf7e08d0fe216fc19cc97273Klaus Luettichsignum |-> Prelude.signum, method of Num
91432c9a2d813a8322dea3a3f54924c796897f09Eugen Kuksasubtract |-> Prelude.subtract, Value
91432c9a2d813a8322dea3a3f54924c796897f09Eugen Kuksasucc |-> Prelude.succ, method of Enum
a80c28bb8b7a23ccdf7e08d0fe216fc19cc97273Klaus Luettichtail |-> Prelude.tail, field of []
b09b9ccdfda2e80094a70dd29514ba42b2f6145eEugen KuksatoEnum |-> Prelude.toEnum, method of Enum
b09b9ccdfda2e80094a70dd29514ba42b2f6145eEugen KuksatoInteger |-> Prelude.toInteger, method of Integral
91432c9a2d813a8322dea3a3f54924c796897f09Eugen KuksatoRational |-> Prelude.toRational, method of Real
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknertruncate |-> Prelude.truncate, method of RealFrac
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder-}
b9625461755578f3eed04676d42a63fd2caebd0cChristian Maedermodule Dummy where
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maederimport Prelude (error, Show, Eq, Ord)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerimport MyLogic
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerotherwise = True
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerlexOrder EQ o = o
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerlexOrder o _ = o
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknershowArgument d191 x
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder = (.){-String String String-} (showChar ' ')
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (showsPrec{-t186-} d191
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian Maeder (fromInteger{-Int-} inst__Prelude_Num_Int 10)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner x)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknermain
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = myid{-t203-}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner ((myid{-(t203 -> t203)-} myid{-t203-})
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (myid{-t203-} (fromInteger{-t203-} d202 7)))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner myid = \ x -> x
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
62f5e02856861853dcc9ffb8c0a688835eb729aeJens Elkner myid :: forall a . a -> a
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner -}
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichdata Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdata Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdata Double
1365c420ef71be3d52796ebd369dc2defdedc822Christian Maederdata Char
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdata Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdata a -> b
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdata Bool = False | True deriving (Show, Eq, Ord)
62f5e02856861853dcc9ffb8c0a688835eb729aeJens Elknernot :: Bool -> Bool
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedernot True = False
e420b3848a0e15a9e074b08c413996cbeb5ab06dChristian Maedernot False = True
ab4256496e72886018b78571057331f373da6883Eugen Kuksa(&&) :: Bool -> Bool -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner(&&) a b = if a then True else b
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknerdata Ordering = LT | EQ | GT deriving (Show, Eq, Ord)
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknerclass Eq a where (==),(/=) :: a -> a -> Bool
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner($--/=) d213 x y = not ((==){-a-} d213 x y)
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner($--==) d219 x y = not ((/=){-a-} d219 x y)
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknerdata [a]
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = [] | (:) {head :: a, tail :: [a]}
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder deriving (Show, Eq, Ord)
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(++) :: [a] -> [a] -> [a]
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner(++) [] ys = ys
4c7cb5671b356d873d67829ec8062a5083c1ee0eEugen Kuksa(++) ((:){-a-} x xs) ys
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder = (:){-a-} x ((++){-a-} xs ys)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknermap :: (a -> b) -> [a] -> [b]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknermap f [] = []
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknermap f ((:){-a-} x xs)
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = (:){-b-} (f x) (map{-a b-} f xs)
e284004f10a315dbdb624c8b2522f65d485eaa48Martin Kühltype String = String
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederforeign import primError :: String -> a
50515239e7e190f4a34ca581dd685d002148fbddChristian Maedererror :: String -> a
50515239e7e190f4a34ca581dd685d002148fbddChristian Maedererror = primError{-a-}
0b349288edfa50fdf38fda1a14e1562d03f92574Christian Maeder(.) :: (b -> c) -> (a -> b) -> a -> c
0b349288edfa50fdf38fda1a14e1562d03f92574Christian Maeder(.) f g = \ x -> f (g x)
0b349288edfa50fdf38fda1a14e1562d03f92574Christian Maedertype ShowS = String -> String
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclass Eq a => Ord a
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder where
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder compare :: a -> a -> Ordering
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder (<),(<=),(>=),(>) :: a -> a -> Bool
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder max,min :: a -> a -> a
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdefault__compare d259 x y
8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till Mossakowski | (==){-a-} d256 x y = EQ
8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till Mossakowski | (<=){-a-} d259 x y = LT
8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till Mossakowski | otherwise = GT
bcaf979d9babe6346aa343687aa7d596e2894cccPaolo Torrini where
df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian Maeder d256 = super1_Ord{-a-} d259
bcaf979d9babe6346aa343687aa7d596e2894cccPaolo Torrini {-
5ce19352a9cc47d982819cc889a71cd0a61ac171Christian Maeder d256 :: Eq a
5ce19352a9cc47d982819cc889a71cd0a61ac171Christian Maeder -}
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner($--<=) d267 x y
bcaf979d9babe6346aa343687aa7d596e2894cccPaolo Torrini = (/=){-Ordering-} derived__Prelude_Eq_Ordering
23ab8855c58adfbd03a0730584b917b24c603901Christian Maeder (compare{-a-} d267 x y)
df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian Maeder GT
23ab8855c58adfbd03a0730584b917b24c603901Christian Maeder($--<) d275 x y
e50e41135ece589f7202bd4ef8d6b97531c2a56eKlaus Luettich = (==){-Ordering-} derived__Prelude_Eq_Ordering
47b0e9f3cb008cb7997f4e3bae26e4d62dcc887aChristian Maeder (compare{-a-} d275 x y)
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder LT
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder($-->=) d283 x y
431d34c7007a787331c4e5ec997badb0f8190fc7Christian Maeder = (/=){-Ordering-} derived__Prelude_Eq_Ordering
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder (compare{-a-} d283 x y)
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder LT
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner($-->) d291 x y
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = (==){-Ordering-} derived__Prelude_Eq_Ordering
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (compare{-a-} d291 x y)
9096f6c6aaded6cd8288656ceccd4c7b3bd0747eChristian Maeder GT
9096f6c6aaded6cd8288656ceccd4c7b3bd0747eChristian Maederdefault__max d297 x y
e112e83352048f3db8c8f93ae104193e7338c10fChristian Maeder | (<=){-a-} d297 x y = y
e112e83352048f3db8c8f93ae104193e7338c10fChristian Maeder | otherwise = x
e62d49c0dc2893da75faad896bd135e2e9a7087bKlaus Luettichdefault__min d303 x y
e62d49c0dc2893da75faad896bd135e2e9a7087bKlaus Luettich | (<=){-a-} d303 x y = x
e62d49c0dc2893da75faad896bd135e2e9a7087bKlaus Luettich | otherwise = y
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedershows :: Show a => a -> ShowS
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknershows d312
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder = showsPrec{-a-} d312
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder (fromInteger{-Int-} inst__Prelude_Num_Int 0)
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaedershowChar :: Char -> ShowS
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedershowChar = (:){-Char-}
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedershowString :: String -> ShowS
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksashowString = (++){-Char-}
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknershowParen :: Bool -> ShowS -> ShowS
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknershowParen b p
c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian Maeder = if b
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder then (.){-String String String-}
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder ((.){-String String String-} (showChar '(') p)
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner (showChar ')')
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder else p
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedershowParenArg :: Int -> ShowS -> ShowS
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedershowParenArg d
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = showParen
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder ((<=){-Int-} inst__Prelude_Ord_Int
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder (fromInteger{-Int-} inst__Prelude_Num_Int 10)
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner d)
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclass Show a
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder where
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder showsPrec :: Int -> a -> ShowS
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner show :: a -> String
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder showList :: [a] -> ShowS
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdefault__showsPrec d339 _ x s
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = (++){-Char-} (show{-a-} d339 x) s
1a6464613c59e35072b90ca296ae402cbe956144Christian Maederdefault__show d347 x
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder = showsPrec{-a-} d347
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder (fromInteger{-Int-} inst__Prelude_Num_Int 0)
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder x
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder ""
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maederdefault__showList d377 [] = showString "[]"
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maederdefault__showList d377 ((:){-a-} x xs)
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder = (.){-String String String-}
f78ce817f35574674d54e30ad1861a9b4ced20caChristian Maeder ((.){-String String String-} (showChar '[')
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (shows{-a-} d377 x))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (showl{-a-} d377 xs)
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner showl d365 [] = showChar ']'
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner showl d365 ((:){-t354-} x xs)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = (.){-String String String-}
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner ((.){-String String String-} (showChar ',')
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner (shows{-t354-} d365 x))
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner (showl{-t354-} d365 xs)
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner {-
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner showl ::
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner forall a . (Show a) => [a] -> String -> String
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner -}
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknerclass (Eq a, Show a) => Num a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner where
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner (+),(-),(*) :: a -> a -> a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner negate :: a -> a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner abs,signum :: a -> a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner fromInteger :: Integer -> a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner($--+) d386
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = error{-(a -> a -> a)-} "No default for method +"
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner($---) d389
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = error{-(a -> a -> a)-} "No default for method -"
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner($--*) d392
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = error{-(a -> a -> a)-} "No default for method *"
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknerdefault__negate d395
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = error{-(a -> a)-} "No default for method negate"
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdefault__abs d398
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = error{-(a -> a)-} "No default for method abs"
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdefault__signum d401
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = error{-(a -> a)-} "No default for method signum"
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknerdefault__fromInteger d404
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = error{-(Integer -> a)-}
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner "No default for method fromInteger"
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknerclass Num a => Fractional a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner where
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner (/) :: a -> a -> a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner recip :: a -> a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner fromRational :: Rational -> a
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner($--/) d409
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = error{-(a -> a -> a)-} "No default for method /"
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknerdefault__recip d412
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = error{-(a -> a)-} "No default for method recip"
961087225d1d2b9534152a346d1a3755ed952fcdJens Elknerdefault__fromRational d415
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = error{-(Rational -> a)-}
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu "No default for method fromRational"
b446bf54c1dc78690aa12e86aadc49cdd8585847Christian Maederinstance Num Int
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksa where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super1_Num = super{-(Eq Int)-} inst__Prelude_Eq_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super2_Num
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = super{-(Show Int)-} inst__Prelude_Show_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (+) = ($--+){-Int-} inst__Prelude_Num_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (-) = ($---){-Int-} inst__Prelude_Num_Int
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksa (*) = ($--*){-Int-} inst__Prelude_Num_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner negate = default__negate{-Int-} inst__Prelude_Num_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner abs = default__abs{-Int-} inst__Prelude_Num_Int
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner signum = default__signum{-Int-} inst__Prelude_Num_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner fromInteger
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner = default__fromInteger{-Int-} inst__Prelude_Num_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super1_Num :: Eq Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super2_Num :: Show Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (+) :: Int -> Int -> Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (-) :: Int -> Int -> Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (*) :: Int -> Int -> Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner negate :: Int -> Int
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner abs :: Int -> Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner signum :: Int -> Int
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner fromInteger :: Integer -> Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner -}
ce39be56aeedc8d333b72b1662548d36097fa22fJens Elknerinstance Num Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super1_Num
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = super{-(Eq Integer)-} inst__Prelude_Eq_Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super2_Num
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = super{-(Show Integer)-} inst__Prelude_Show_Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (+) = ($--+){-Integer-} inst__Prelude_Num_Integer
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner (-) = ($---){-Integer-} inst__Prelude_Num_Integer
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner (*) = ($--*){-Integer-} inst__Prelude_Num_Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner negate
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__negate{-Integer-}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner inst__Prelude_Num_Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner abs = default__abs{-Integer-}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner inst__Prelude_Num_Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner signum
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__signum{-Integer-}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner inst__Prelude_Num_Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner fromInteger
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__fromInteger{-Integer-}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner inst__Prelude_Num_Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super1_Num :: Eq Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super2_Num :: Show Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (+) :: Integer -> Integer -> Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (-) :: Integer -> Integer -> Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (*) :: Integer -> Integer -> Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner negate :: Integer -> Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner abs :: Integer -> Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner signum :: Integer -> Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner fromInteger :: Integer -> Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner -}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerinstance Num Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super1_Num
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = super{-(Eq Rational)-} inst__Prelude_Eq_Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super2_Num
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = super{-(Show Rational)-}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner inst__Prelude_Show_Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (+) = ($--+){-Rational-} inst__Prelude_Num_Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (-) = ($---){-Rational-} inst__Prelude_Num_Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (*) = ($--*){-Rational-} inst__Prelude_Num_Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner negate
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__negate{-Rational-}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner inst__Prelude_Num_Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner abs = default__abs{-Rational-}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner inst__Prelude_Num_Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner signum
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__signum{-Rational-}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner inst__Prelude_Num_Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner fromInteger
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__fromInteger{-Rational-}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner inst__Prelude_Num_Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super1_Num :: Eq Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super2_Num :: Show Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (+) :: Rational -> Rational -> Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (-) :: Rational -> Rational -> Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (*) :: Rational -> Rational -> Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner negate :: Rational -> Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner abs :: Rational -> Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner signum :: Rational -> Rational
ce39be56aeedc8d333b72b1662548d36097fa22fJens Elkner fromInteger :: Integer -> Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner -}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerinstance Num Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super1_Num
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = super{-(Eq Double)-} inst__Prelude_Eq_Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super2_Num
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = super{-(Show Double)-} inst__Prelude_Show_Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (+) = ($--+){-Double-} inst__Prelude_Num_Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (-) = ($---){-Double-} inst__Prelude_Num_Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (*) = ($--*){-Double-} inst__Prelude_Num_Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner negate
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__negate{-Double-} inst__Prelude_Num_Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner abs = default__abs{-Double-} inst__Prelude_Num_Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner signum
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__signum{-Double-} inst__Prelude_Num_Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner fromInteger
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__fromInteger{-Double-}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner inst__Prelude_Num_Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super1_Num :: Eq Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super2_Num :: Show Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (+) :: Double -> Double -> Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (-) :: Double -> Double -> Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (*) :: Double -> Double -> Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner negate :: Double -> Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner abs :: Double -> Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner signum :: Double -> Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner fromInteger :: Integer -> Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner -}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerinstance Eq Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (==) = ($--==){-Int-} inst__Prelude_Eq_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (/=) = ($--/=){-Int-} inst__Prelude_Eq_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (==) :: Int -> Int -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (/=) :: Int -> Int -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner -}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerinstance Ord Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super1_Ord = super{-(Eq Int)-} inst__Prelude_Eq_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner compare
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__compare{-Int-} inst__Prelude_Ord_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (<) = ($--<){-Int-} inst__Prelude_Ord_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (<=) = ($--<=){-Int-} inst__Prelude_Ord_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (>=) = ($-->=){-Int-} inst__Prelude_Ord_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (>) = ($-->){-Int-} inst__Prelude_Ord_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner max = default__max{-Int-} inst__Prelude_Ord_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner min = default__min{-Int-} inst__Prelude_Ord_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super1_Ord :: Eq Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner compare :: Int -> Int -> Ordering
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (<) :: Int -> Int -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (<=) :: Int -> Int -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (>=) :: Int -> Int -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (>) :: Int -> Int -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner max :: Int -> Int -> Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner min :: Int -> Int -> Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner -}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerinstance Enum Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner succ = default__succ{-Int-} inst__Prelude_Enum_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner pred = default__pred{-Int-} inst__Prelude_Enum_Int
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa toEnum
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__toEnum{-Int-} inst__Prelude_Enum_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner fromEnum
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__fromEnum{-Int-} inst__Prelude_Enum_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner enumFrom
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__enumFrom{-Int-} inst__Prelude_Enum_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner enumFromThen
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__enumFromThen{-Int-} inst__Prelude_Enum_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner enumFromTo
62f5e02856861853dcc9ffb8c0a688835eb729aeJens Elkner = default__enumFromTo{-Int-} inst__Prelude_Enum_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner enumFromThenTo
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner = default__enumFromThenTo{-Int-}
62f5e02856861853dcc9ffb8c0a688835eb729aeJens Elkner inst__Prelude_Enum_Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner succ :: Int -> Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner pred :: Int -> Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner toEnum :: Int -> Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner fromEnum :: Int -> Int
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner enumFrom :: Int -> [Int]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner enumFromThen :: Int -> Int -> [Int]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner enumFromTo :: Int -> Int -> [Int]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner enumFromThenTo :: Int -> Int -> Int -> [Int]
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner -}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerinstance Eq Char
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (==) = ($--==){-Char-} inst__Prelude_Eq_Char
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (/=) = ($--/=){-Char-} inst__Prelude_Eq_Char
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (==) :: Char -> Char -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (/=) :: Char -> Char -> Bool
d1f37f9074c9ccba31385b3cb4eb212ae443b310Jens Elkner -}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerinstance Eq Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (==) = ($--==){-Integer-} inst__Prelude_Eq_Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (/=) = ($--/=){-Integer-} inst__Prelude_Eq_Integer
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (==) :: Integer -> Integer -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (/=) :: Integer -> Integer -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner -}
d1f37f9074c9ccba31385b3cb4eb212ae443b310Jens Elknerinstance Eq Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (==) = ($--==){-Rational-} inst__Prelude_Eq_Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (/=) = ($--/=){-Rational-} inst__Prelude_Eq_Rational
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (==) :: Rational -> Rational -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (/=) :: Rational -> Rational -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner -}
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerinstance Eq Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (==) = ($--==){-Double-} inst__Prelude_Eq_Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (/=) = ($--/=){-Double-} inst__Prelude_Eq_Double
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner {-
62f5e02856861853dcc9ffb8c0a688835eb729aeJens Elkner (==) :: Double -> Double -> Bool
62f5e02856861853dcc9ffb8c0a688835eb729aeJens Elkner (/=) :: Double -> Double -> Bool
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner -}
62f5e02856861853dcc9ffb8c0a688835eb729aeJens Elknerinstance Ord Char
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner super1_Ord = super{-(Eq Char)-} inst__Prelude_Eq_Char
compare
= default__compare{-Char-} inst__Prelude_Ord_Char
(<) = ($--<){-Char-} inst__Prelude_Ord_Char
(<=) = ($--<=){-Char-} inst__Prelude_Ord_Char
(>=) = ($-->=){-Char-} inst__Prelude_Ord_Char
(>) = ($-->){-Char-} inst__Prelude_Ord_Char
max = default__max{-Char-} inst__Prelude_Ord_Char
min = default__min{-Char-} inst__Prelude_Ord_Char
{-
super1_Ord :: Eq Char
compare :: Char -> Char -> Ordering
(<) :: Char -> Char -> Bool
(<=) :: Char -> Char -> Bool
(>=) :: Char -> Char -> Bool
(>) :: Char -> Char -> Bool
max :: Char -> Char -> Char
min :: Char -> Char -> Char
-}
instance Ord Integer
where
super1_Ord
= super{-(Eq Integer)-} inst__Prelude_Eq_Integer
compare
= default__compare{-Integer-}
inst__Prelude_Ord_Integer
(<) = ($--<){-Integer-} inst__Prelude_Ord_Integer
(<=) = ($--<=){-Integer-} inst__Prelude_Ord_Integer
(>=) = ($-->=){-Integer-} inst__Prelude_Ord_Integer
(>) = ($-->){-Integer-} inst__Prelude_Ord_Integer
max = default__max{-Integer-}
inst__Prelude_Ord_Integer
min = default__min{-Integer-}
inst__Prelude_Ord_Integer
{-
super1_Ord :: Eq Integer
compare :: Integer -> Integer -> Ordering
(<) :: Integer -> Integer -> Bool
(<=) :: Integer -> Integer -> Bool
(>=) :: Integer -> Integer -> Bool
(>) :: Integer -> Integer -> Bool
max :: Integer -> Integer -> Integer
min :: Integer -> Integer -> Integer
-}
instance Ord Rational
where
super1_Ord
= super{-(Eq Rational)-} inst__Prelude_Eq_Rational
compare
= default__compare{-Rational-}
inst__Prelude_Ord_Rational
(<) = ($--<){-Rational-} inst__Prelude_Ord_Rational
(<=) = ($--<=){-Rational-} inst__Prelude_Ord_Rational
(>=) = ($-->=){-Rational-} inst__Prelude_Ord_Rational
(>) = ($-->){-Rational-} inst__Prelude_Ord_Rational
max = default__max{-Rational-}
inst__Prelude_Ord_Rational
min = default__min{-Rational-}
inst__Prelude_Ord_Rational
{-
super1_Ord :: Eq Rational
compare :: Rational -> Rational -> Ordering
(<) :: Rational -> Rational -> Bool
(<=) :: Rational -> Rational -> Bool
(>=) :: Rational -> Rational -> Bool
(>) :: Rational -> Rational -> Bool
max :: Rational -> Rational -> Rational
min :: Rational -> Rational -> Rational
-}
instance Ord Double
where
super1_Ord
= super{-(Eq Double)-} inst__Prelude_Eq_Double
compare
= default__compare{-Double-} inst__Prelude_Ord_Double
(<) = ($--<){-Double-} inst__Prelude_Ord_Double
(<=) = ($--<=){-Double-} inst__Prelude_Ord_Double
(>=) = ($-->=){-Double-} inst__Prelude_Ord_Double
(>) = ($-->){-Double-} inst__Prelude_Ord_Double
max = default__max{-Double-} inst__Prelude_Ord_Double
min = default__min{-Double-} inst__Prelude_Ord_Double
{-
super1_Ord :: Eq Double
compare :: Double -> Double -> Ordering
(<) :: Double -> Double -> Bool
(<=) :: Double -> Double -> Bool
(>=) :: Double -> Double -> Bool
(>) :: Double -> Double -> Bool
max :: Double -> Double -> Double
min :: Double -> Double -> Double
-}
instance Show Int
where
showsPrec
= default__showsPrec{-Int-} inst__Prelude_Show_Int
show = default__show{-Int-} inst__Prelude_Show_Int
showList
= default__showList{-Int-} inst__Prelude_Show_Int
{-
showsPrec :: Int -> Int -> ShowS
show :: Int -> String
showList :: [Int] -> ShowS
-}
instance Show Char
where
showsPrec
= default__showsPrec{-Char-} inst__Prelude_Show_Char
show = default__show{-Char-} inst__Prelude_Show_Char
showList
= default__showList{-Char-} inst__Prelude_Show_Char
{-
showsPrec :: Int -> Char -> ShowS
show :: Char -> String
showList :: String -> ShowS
-}
instance Show Integer
where
showsPrec
= default__showsPrec{-Integer-}
inst__Prelude_Show_Integer
show
= default__show{-Integer-} inst__Prelude_Show_Integer
showList
= default__showList{-Integer-}
inst__Prelude_Show_Integer
{-
showsPrec :: Int -> Integer -> ShowS
show :: Integer -> String
showList :: [Integer] -> ShowS
-}
instance Show Rational
where
showsPrec
= default__showsPrec{-Rational-}
inst__Prelude_Show_Rational
show
= default__show{-Rational-}
inst__Prelude_Show_Rational
showList
= default__showList{-Rational-}
inst__Prelude_Show_Rational
{-
showsPrec :: Int -> Rational -> ShowS
show :: Rational -> String
showList :: [Rational] -> ShowS
-}
instance Show Double
where
showsPrec
= default__showsPrec{-Double-}
inst__Prelude_Show_Double
show
= default__show{-Double-} inst__Prelude_Show_Double
showList
= default__showList{-Double-}
inst__Prelude_Show_Double
{-
showsPrec :: Int -> Double -> ShowS
show :: Double -> String
showList :: [Double] -> ShowS
-}
instance Fractional Rational
where
super1_Fractional
= super{-(Num Rational)-} inst__Prelude_Num_Rational
(/) = ($--/){-Rational-}
inst__Prelude_Fractional_Rational
recip
= default__recip{-Rational-}
inst__Prelude_Fractional_Rational
fromRational
= default__fromRational{-Rational-}
inst__Prelude_Fractional_Rational
{-
super1_Fractional :: Num Rational
(/) :: Rational -> Rational -> Rational
recip :: Rational -> Rational
fromRational :: Rational -> Rational
-}
instance Fractional Double
where
super1_Fractional
= super{-(Num Double)-} inst__Prelude_Num_Double
(/) = ($--/){-Double-}
inst__Prelude_Fractional_Double
recip
= default__recip{-Double-}
inst__Prelude_Fractional_Double
fromRational
= default__fromRational{-Double-}
inst__Prelude_Fractional_Double
{-
super1_Fractional :: Num Double
(/) :: Double -> Double -> Double
recip :: Double -> Double
fromRational :: Rational -> Double
-}
subtract :: Num a => a -> a -> a
subtract d775 = flip{-a a a-} ((-){-a-} d775)
flip :: (a -> b -> c) -> b -> a -> c
flip f x y = f y x
class Enum a
where
succ,pred :: a -> a
toEnum :: Int -> a
fromEnum :: a -> Int
enumFrom :: a -> [a]
enumFromThen :: a -> a -> [a]
enumFromTo :: a -> a -> [a]
enumFromThenTo :: a -> a -> a -> [a]
default__succ d800
= (.){-Int a a-}
((.){-Int a Int-} (toEnum{-a-} d800)
(flip{-Int Int Int-}
((+){-Int-} inst__Prelude_Num_Int)
(fromInteger{-Int-} inst__Prelude_Num_Int 1)))
(fromEnum{-a-} d800)
default__pred d816
= (.){-Int a a-}
((.){-Int a Int-} (toEnum{-a-} d816)
(subtract{-Int-} inst__Prelude_Num_Int
(fromInteger{-Int-} inst__Prelude_Num_Int 1)))
(fromEnum{-a-} d816)
default__enumFrom d827 x
= map{-Int a-} (toEnum{-a-} d827)
(enumFrom{-Int-} inst__Prelude_Enum_Int
(fromEnum{-a-} d827 x))
default__enumFromTo d841 x y
= map{-Int a-} (toEnum{-a-} d841)
(enumFromTo{-Int-} inst__Prelude_Enum_Int
(fromEnum{-a-} d841 x)
(fromEnum{-a-} d841 y))
default__enumFromThen d855 x y
= map{-Int a-} (toEnum{-a-} d855)
(enumFromThen{-Int-} inst__Prelude_Enum_Int
(fromEnum{-a-} d855 x)
(fromEnum{-a-} d855 y))
default__enumFromThenTo d872 x y z
= map{-Int a-} (toEnum{-a-} d872)
(enumFromThenTo{-Int-} inst__Prelude_Enum_Int
(fromEnum{-a-} d872 x)
(fromEnum{-a-} d872 y)
(fromEnum{-a-} d872 z))
default__toEnum d875
= error{-(Int -> a)-} "No default for method toEnum"
default__fromEnum d878
= error{-(a -> Int)-}
"No default for method fromEnum"
class Bounded a
where
minBound :: a
maxBound :: a
default__minBound d888
= error{-a-} "No default for method minBound"
default__maxBound d891
= error{-a-} "No default for method maxBound"
data () = () deriving (Eq, Ord, Show)
data (a, b) = (,) a b deriving (Show, Eq, Ord)
data (a, b, c)
= Prelude.(,,) a b c deriving (Show, Eq, Ord)
data (a, b, c, d)
= Prelude.(,,,) a b c d deriving (Show, Eq, Ord)
class (Num a, Ord a) => Real a
where toRational :: a -> Rational
default__toRational d895
= error{-(a -> Rational)-}
"No default for method toRational"
class (Real a, Enum a) => Integral a
where
quot,rem :: a -> a -> a
div,mod :: a -> a -> a
quotRem,divMod :: a -> a -> (a, a)
toInteger :: a -> Integer
default__quot d900
= error{-(a -> a -> a)-} "No default for method quot"
default__rem d903
= error{-(a -> a -> a)-} "No default for method rem"
default__div d906
= error{-(a -> a -> a)-} "No default for method div"
default__mod d909
= error{-(a -> a -> a)-} "No default for method mod"
default__quotRem d912
= error{-(a -> a -> (a, a))-}
"No default for method quotRem"
default__divMod d915
= error{-(a -> a -> (a, a))-}
"No default for method divMod"
default__toInteger d918
= error{-(a -> Integer)-}
"No default for method toInteger"
fromIntegral :: (Integral a, Num b) => a -> b
fromIntegral d932 d933
= (.){-Integer b a-} (fromInteger{-b-} d933)
(toInteger{-a-} d932)
even,odd :: Integral a => a -> Bool
even d944 n
= (==){-a-} d937
(rem{-a-} d944 n (fromInteger{-a-} d941 2))
(fromInteger{-a-} d941 0)
where
d941 = super1_Real{-a-} (super1_Integral{-a-} d944)
d937
= super1_Num{-a-}
(super1_Real{-a-} (super1_Integral{-a-} d944))
{-
d941 :: Num a
d937 :: Eq a
-}
odd d949 n = not (even{-a-} d949 n)
class (Real a, Fractional a) => RealFrac a
where
properFraction :: Integral b => a -> (b, a)
truncate,round :: Integral b => a -> b
ceiling,floor :: Integral b => a -> b
default__truncate d958 d959 x
= m
where
(m, _) = properFraction{-a b-} d958 d959 x
{-
m :: b
-}
default__round d999 d1000 x
= let (n, r) = properFraction{-a b-} d999 d1000 x
m = if (<){-a-} d970 r (fromInteger{-a-} d972 0)
then (-){-b-} d974 n (fromInteger{-b-} d974 1)
else (+){-b-} d974 n (fromInteger{-b-} d974 1)
{-
r :: a
n :: b
m :: b
-}
in case signum{-a-} d972
((-){-a-} d972 (abs{-a-} d972 r)
(fromRational{-a-} d988 1 % 2)) of
negate{-a-} d990 (fromInteger{-a-} d992 1) -> n
fromInteger{-a-} d994 0
-> if even{-b-} d1000 n then n else m
fromInteger{-a-} d998 1 -> m
where
d988 = super2_RealFrac{-a-} d999
d974 = super1_Real{-b-} (super1_Integral{-b-} d1000)
d972 = super1_Real{-a-} (super1_RealFrac{-a-} d999)
d970 = super2_Real{-a-} (super1_RealFrac{-a-} d999)
{-
d988 :: Fractional a
d974 :: Num b
d972 :: Num a
d970 :: Ord a
-}
default__ceiling d1017 d1018 x
= if (>){-a-} d1010 r (fromInteger{-a-} d1012 0)
then (+){-b-} d1014 n (fromInteger{-b-} d1014 1)
else n
where
d1014 = super1_Real{-b-} (super1_Integral{-b-} d1018)
d1012 = super1_Real{-a-} (super1_RealFrac{-a-} d1017)
d1010 = super2_Real{-a-} (super1_RealFrac{-a-} d1017)
(n, r) = properFraction{-a b-} d1017 d1018 x
{-
d1014 :: Num b
d1012 :: Num a
d1010 :: Ord a
r :: a
n :: b
-}
default__floor d1035 d1036 x
= if (<){-a-} d1028 r (fromInteger{-a-} d1030 0)
then (-){-b-} d1032 n (fromInteger{-b-} d1032 1)
else n
where
d1032 = super1_Real{-b-} (super1_Integral{-b-} d1036)
d1030 = super1_Real{-a-} (super1_RealFrac{-a-} d1035)
d1028 = super2_Real{-a-} (super1_RealFrac{-a-} d1035)
(n, r) = properFraction{-a b-} d1035 d1036 x
{-
d1032 :: Num b
d1030 :: Num a
d1028 :: Ord a
r :: a
n :: b
-}
default__properFraction d1039 d1040
= error{-(a -> (b, a))-}
"No default for method properFraction"
instance Eq Bool
where
(==) False False = True
(==) True True = True
(==) _ _ = False
(/=) = ($--/=){-Bool-} derived__Prelude_Eq_Bool
{-
(==) :: Bool -> Bool -> Bool
(/=) :: Bool -> Bool -> Bool
-}
instance Ord Bool
where
super1_Ord
= super{-(Eq Bool)-} derived__Prelude_Eq_Bool
compare x y
= let cno False
= let t1066 :: Int
t1066 = fromInteger{-Int-} inst__Prelude_Num_Int 0
{- t1066 :: Int -}
in t1066
cno True = fromInteger{-Int-} inst__Prelude_Num_Int 1
{- cno :: Bool -> Int -}
in compare{-Int-} inst__Prelude_Ord_Int (cno x)
(cno y)
(<) = ($--<){-Bool-} derived__Prelude_Ord_Bool
(<=) = ($--<=){-Bool-} derived__Prelude_Ord_Bool
(>=) = ($-->=){-Bool-} derived__Prelude_Ord_Bool
(>) = ($-->){-Bool-} derived__Prelude_Ord_Bool
max = default__max{-Bool-} derived__Prelude_Ord_Bool
min = default__min{-Bool-} derived__Prelude_Ord_Bool
{-
super1_Ord :: Eq Bool
compare :: Bool -> Bool -> Ordering
(<) :: Bool -> Bool -> Bool
(<=) :: Bool -> Bool -> Bool
(>=) :: Bool -> Bool -> Bool
(>) :: Bool -> Bool -> Bool
max :: Bool -> Bool -> Bool
min :: Bool -> Bool -> Bool
-}
instance Show Bool
where
showsPrec d False = showString "False"
showsPrec d True = showString "True"
show
= default__show{-Bool-} derived__Prelude_Show_Bool
showList
= default__showList{-Bool-}
derived__Prelude_Show_Bool
{-
showsPrec :: Int -> Bool -> ShowS
show :: Bool -> String
showList :: [Bool] -> ShowS
-}
instance Eq Ordering
where
(==) LT LT = True
(==) EQ EQ = True
(==) GT GT = True
(==) _ _ = False
(/=)
= ($--/=){-Ordering-} derived__Prelude_Eq_Ordering
{-
(==) :: Ordering -> Ordering -> Bool
(/=) :: Ordering -> Ordering -> Bool
-}
instance Ord Ordering
where
super1_Ord
= super{-(Eq Ordering)-} derived__Prelude_Eq_Ordering
compare x y
= let cno LT
= let t1117 :: Int
t1117 = fromInteger{-Int-} inst__Prelude_Num_Int 0
{- t1117 :: Int -}
in t1117
cno EQ = fromInteger{-Int-} inst__Prelude_Num_Int 1
cno GT = fromInteger{-Int-} inst__Prelude_Num_Int 2
{- cno :: Ordering -> Int -}
in compare{-Int-} inst__Prelude_Ord_Int (cno x)
(cno y)
(<) = ($--<){-Ordering-}
derived__Prelude_Ord_Ordering
(<=)
= ($--<=){-Ordering-} derived__Prelude_Ord_Ordering
(>=)
= ($-->=){-Ordering-} derived__Prelude_Ord_Ordering
(>) = ($-->){-Ordering-}
derived__Prelude_Ord_Ordering
max = default__max{-Ordering-}
derived__Prelude_Ord_Ordering
min = default__min{-Ordering-}
derived__Prelude_Ord_Ordering
{-
super1_Ord :: Eq Ordering
compare :: Ordering -> Ordering -> Ordering
(<) :: Ordering -> Ordering -> Bool
(<=) :: Ordering -> Ordering -> Bool
(>=) :: Ordering -> Ordering -> Bool
(>) :: Ordering -> Ordering -> Bool
max :: Ordering -> Ordering -> Ordering
min :: Ordering -> Ordering -> Ordering
-}
instance Show Ordering
where
showsPrec d LT = showString "LT"
showsPrec d EQ = showString "EQ"
showsPrec d GT = showString "GT"
show
= default__show{-Ordering-}
derived__Prelude_Show_Ordering
showList
= default__showList{-Ordering-}
derived__Prelude_Show_Ordering
{-
showsPrec :: Int -> Ordering -> ShowS
show :: Ordering -> String
showList :: [Ordering] -> ShowS
-}
instance Eq a => Eq [a]
where
(==) d1173 []{-a-} []{-a-} = True
(==) d1173 ((:){-a-} x1 x2) ((:){-a-} y1 y2)
= (&&) ((==){-a-} d1173 x1 y1)
((==){-[a]-} d1169 x2 y2)
where
d1169 = derived__Prelude_Eq_34_65{-a-} d1173
{-
d1169 :: Eq [a]
-}
(==) d1173 _ _ = False
(/=) d1177
= ($--/=){-[a]-} d1176
where
d1176 = derived__Prelude_Eq_34_65{-a-} d1177
{-
d1176 :: Eq [a]
-}
{-
(==) :: forall a . (Eq a) => [a] -> [a] -> Bool
(/=) :: forall a . (Eq a) => [a] -> [a] -> Bool
-}
instance Ord a => Ord [a]
where
super1_Ord d1182
= super{-(Eq [a])-} d1181
where
d1183 = super1_Ord{-a-} d1182
d1181 = derived__Prelude_Eq_34_65{-a-} d1183
{-
d1183 :: Eq a
d1181 :: Eq [a]
-}
compare d1216 ((:){-a-} x1 x2) ((:){-a-} y1 y2)
= lexOrder (compare{-a-} d1216 x1 y1)
(compare{-[a]-} d1194 x2 y2)
where
d1194 = derived__Prelude_Ord_34_69{-a-} d1216
{-
d1194 :: Ord [a]
-}
compare d1216 x y
= let cno []{-t1207-}
= let t1200 :: Int
t1200 = fromInteger{-Int-} inst__Prelude_Num_Int 0
{- t1200 :: Int -}
in t1200
cno ((:){-t1207-} _ _)
= fromInteger{-Int-} inst__Prelude_Num_Int 1
{- cno :: forall a . [a] -> Int -}
in compare{-Int-} inst__Prelude_Ord_Int (cno{-a-} x)
(cno{-a-} y)
(<) d1220
= ($--<){-[a]-} d1219
where
d1219 = derived__Prelude_Ord_34_69{-a-} d1220
{-
d1219 :: Ord [a]
-}
(<=) d1225
= ($--<=){-[a]-} d1224
where
d1224 = derived__Prelude_Ord_34_69{-a-} d1225
{-
d1224 :: Ord [a]
-}
(>=) d1230
= ($-->=){-[a]-} d1229
where
d1229 = derived__Prelude_Ord_34_69{-a-} d1230
{-
d1229 :: Ord [a]
-}
(>) d1235
= ($-->){-[a]-} d1234
where
d1234 = derived__Prelude_Ord_34_69{-a-} d1235
{-
d1234 :: Ord [a]
-}
max d1240
= default__max{-[a]-} d1239
where
d1239 = derived__Prelude_Ord_34_69{-a-} d1240
{-
d1239 :: Ord [a]
-}
min d1245
= default__min{-[a]-} d1244
where
d1244 = derived__Prelude_Ord_34_69{-a-} d1245
{-
d1244 :: Ord [a]
-}
{-
super1_Ord :: forall a . (Ord a) => Eq [a]
compare ::
forall a . (Ord a) => [a] -> [a] -> Ordering
(<) :: forall a . (Ord a) => [a] -> [a] -> Bool
(<=) :: forall a . (Ord a) => [a] -> [a] -> Bool
(>=) :: forall a . (Ord a) => [a] -> [a] -> Bool
(>) :: forall a . (Ord a) => [a] -> [a] -> Bool
max :: forall a . (Ord a) => [a] -> [a] -> [a]
min :: forall a . (Ord a) => [a] -> [a] -> [a]
-}
instance Show a => Show [a]
where
showsPrec d1265 d []{-a-} = showString "[]"
showsPrec d1265 d ((:){-a-} x1 x2)
= showParenArg d
((.){-String String String-} (showString ":")
((.){-String String String-}
(showArgument{-a-} d1265 x1)
(showArgument{-[a]-} d1263 x2)))
where
d1263 = derived__Prelude_Show_34_59{-a-} d1265
{-
d1263 :: Show [a]
-}
show d1269
= default__show{-[a]-} d1268
where
d1268 = derived__Prelude_Show_34_59{-a-} d1269
{-
d1268 :: Show [a]
-}
showList d1274
= default__showList{-[a]-} d1273
where
d1273 = derived__Prelude_Show_34_59{-a-} d1274
{-
d1273 :: Show [a]
-}
{-
showsPrec ::
forall a . (Show a) => Int -> [a] -> ShowS
show :: forall a . (Show a) => [a] -> String
showList :: forall a . (Show a) => [[a]] -> ShowS
-}
instance Eq ()
where
(==) () () = True
(/=) = ($--/=){-()-} derived__Prelude_Eq_184_27
{-
(==) :: () -> () -> Bool
(/=) :: () -> () -> Bool
-}
instance Ord ()
where
super1_Ord
= super{-(Eq ())-} derived__Prelude_Eq_184_27
compare x y
= let cno ()
= let t1288 :: Int
t1288 = fromInteger{-Int-} inst__Prelude_Num_Int 0
{- t1288 :: Int -}
in t1288
{- cno :: () -> Int -}
in compare{-Int-} inst__Prelude_Ord_Int (cno x)
(cno y)
(<) = ($--<){-()-} derived__Prelude_Ord_184_31
(<=) = ($--<=){-()-} derived__Prelude_Ord_184_31
(>=) = ($-->=){-()-} derived__Prelude_Ord_184_31
(>) = ($-->){-()-} derived__Prelude_Ord_184_31
max = default__max{-()-} derived__Prelude_Ord_184_31
min = default__min{-()-} derived__Prelude_Ord_184_31
{-
super1_Ord :: Eq ()
compare :: () -> () -> Ordering
(<) :: () -> () -> Bool
(<=) :: () -> () -> Bool
(>=) :: () -> () -> Bool
(>) :: () -> () -> Bool
max :: () -> () -> ()
min :: () -> () -> ()
-}
instance Show ()
where
showsPrec d () = showString "()"
show
= default__show{-()-} derived__Prelude_Show_184_36
showList
= default__showList{-()-}
derived__Prelude_Show_184_36
{-
showsPrec :: Int -> () -> ShowS
show :: () -> String
showList :: [()] -> ShowS
-}
instance (Eq a, Eq b) => Eq (a, b)
where
(==) d1335 d1336 ((,){-a b-} x1 x2)
((,){-a b-} y1 y2)
= (&&) ((==){-a-} d1335 x1 y1)
((==){-b-} d1336 x2 y2)
(/=) d1340 d1341
= ($--/=){-(a, b)-} d1339
where
d1339 = derived__Prelude_Eq_188_20{-a b-} d1340 d1341
{-
d1339 :: Eq (a, b)
-}
{-
(==) ::
forall a b . (Eq a, Eq b) => (a, b) -> (a, b) -> Bool
(/=) ::
forall a b . (Eq a, Eq b) => (a, b) -> (a, b) -> Bool
-}
instance (Ord a, Ord b) => Ord (a, b)
where
super1_Ord d1347 d1348
= super{-(Eq (a, b))-} d1346
where
d1349 = super1_Ord{-a-} d1347
d1350 = super1_Ord{-b-} d1348
d1346 = derived__Prelude_Eq_188_20{-a b-} d1349 d1350
{-
d1349 :: Eq a
d1350 :: Eq b
d1346 :: Eq (a, b)
-}
compare d1364 d1365 ((,){-a b-} x1 x2)
((,){-a b-} y1 y2)
= lexOrder (compare{-a-} d1364 x1 y1)
(compare{-b-} d1365 x2 y2)
(<) d1369 d1370
= ($--<){-(a, b)-} d1368
where
d1368
= derived__Prelude_Ord_188_24{-a b-} d1369 d1370
{-
d1368 :: Ord (a, b)
-}
(<=) d1376 d1377
= ($--<=){-(a, b)-} d1375
where
d1375
= derived__Prelude_Ord_188_24{-a b-} d1376 d1377
{-
d1375 :: Ord (a, b)
-}
(>=) d1383 d1384
= ($-->=){-(a, b)-} d1382
where
d1382
= derived__Prelude_Ord_188_24{-a b-} d1383 d1384
{-
d1382 :: Ord (a, b)
-}
(>) d1390 d1391
= ($-->){-(a, b)-} d1389
where
d1389
= derived__Prelude_Ord_188_24{-a b-} d1390 d1391
{-
d1389 :: Ord (a, b)
-}
max d1397 d1398
= default__max{-(a, b)-} d1396
where
d1396
= derived__Prelude_Ord_188_24{-a b-} d1397 d1398
{-
d1396 :: Ord (a, b)
-}
min d1404 d1405
= default__min{-(a, b)-} d1403
where
d1403
= derived__Prelude_Ord_188_24{-a b-} d1404 d1405
{-
d1403 :: Ord (a, b)
-}
{-
super1_Ord ::
forall a b . (Ord a, Ord b) => Eq (a, b)
compare ::
forall a b .
(Ord a, Ord b) => (a, b) -> (a, b) -> Ordering
(<) ::
forall a b .
(Ord a, Ord b) => (a, b) -> (a, b) -> Bool
(<=) ::
forall a b .
(Ord a, Ord b) => (a, b) -> (a, b) -> Bool
(>=) ::
forall a b .
(Ord a, Ord b) => (a, b) -> (a, b) -> Bool
(>) ::
forall a b .
(Ord a, Ord b) => (a, b) -> (a, b) -> Bool
max ::
forall a b .
(Ord a, Ord b) => (a, b) -> (a, b) -> (a, b)
min ::
forall a b .
(Ord a, Ord b) => (a, b) -> (a, b) -> (a, b)
-}
instance (Show a, Show b) => Show (a, b)
where
showsPrec d1424 d1425 d ((,){-a b-} x1 x2)
= showParenArg d
((.){-String String String-} (showString "(,)")
((.){-String String String-}
(showArgument{-a-} d1424 x1)
(showArgument{-b-} d1425 x2)))
show d1429 d1430
= default__show{-(a, b)-} d1428
where
d1428
= derived__Prelude_Show_188_14{-a b-} d1429 d1430
{-
d1428 :: Show (a, b)
-}
showList d1436 d1437
= default__showList{-(a, b)-} d1435
where
d1435
= derived__Prelude_Show_188_14{-a b-} d1436 d1437
{-
d1435 :: Show (a, b)
-}
{-
showsPrec ::
forall a b .
(Show a, Show b) => Int -> (a, b) -> ShowS
show ::
forall a b . (Show a, Show b) => (a, b) -> String
showList ::
forall a b . (Show a, Show b) => [(a, b)] -> ShowS
-}
instance (Eq a, Eq b, Eq c) => Eq (a, b, c)
where
(==) d1459 d1460 d1461 ((,,){-a b c-} x1 x2 x3)
((,,){-a b c-} y1 y2 y3)
= (&&) ((==){-a-} d1459 x1 y1)
((&&) ((==){-b-} d1460 x2 y2)
((==){-c-} d1461 x3 y3))
(/=) d1465 d1466 d1467
= ($--/=){-(a, b, c)-} d1464
where
d1464
= derived__Prelude_Eq_192_20{-a b c-} d1465 d1466
d1467
{-
d1464 :: Eq (a, b, c)
-}
{-
(==) ::
forall a b c .
(Eq a, Eq b, Eq c) => (a, b, c) -> (a, b, c) -> Bool
(/=) ::
forall a b c .
(Eq a, Eq b, Eq c) => (a, b, c) -> (a, b, c) -> Bool
-}
instance (Ord a, Ord b, Ord c) => Ord (a, b, c)
where
super1_Ord d1474 d1475 d1476
= super{-(Eq (a, b, c))-} d1473
where
d1477 = super1_Ord{-a-} d1474
d1478 = super1_Ord{-b-} d1475
d1479 = super1_Ord{-c-} d1476
d1473
= derived__Prelude_Eq_192_20{-a b c-} d1477 d1478
d1479
{-
d1477 :: Eq a
d1478 :: Eq b
d1479 :: Eq c
d1473 :: Eq (a, b, c)
-}
compare d1499 d1500 d1501 ((,,){-a b c-} x1 x2 x3)
((,,){-a b c-} y1 y2 y3)
= lexOrder (compare{-a-} d1499 x1 y1)
(lexOrder (compare{-b-} d1500 x2 y2)
(compare{-c-} d1501 x3 y3))
(<) d1505 d1506 d1507
= ($--<){-(a, b, c)-} d1504
where
d1504
= derived__Prelude_Ord_192_24{-a b c-} d1505 d1506
d1507
{-
d1504 :: Ord (a, b, c)
-}
(<=) d1514 d1515 d1516
= ($--<=){-(a, b, c)-} d1513
where
d1513
= derived__Prelude_Ord_192_24{-a b c-} d1514 d1515
d1516
{-
d1513 :: Ord (a, b, c)
-}
(>=) d1523 d1524 d1525
= ($-->=){-(a, b, c)-} d1522
where
d1522
= derived__Prelude_Ord_192_24{-a b c-} d1523 d1524
d1525
{-
d1522 :: Ord (a, b, c)
-}
(>) d1532 d1533 d1534
= ($-->){-(a, b, c)-} d1531
where
d1531
= derived__Prelude_Ord_192_24{-a b c-} d1532 d1533
d1534
{-
d1531 :: Ord (a, b, c)
-}
max d1541 d1542 d1543
= default__max{-(a, b, c)-} d1540
where
d1540
= derived__Prelude_Ord_192_24{-a b c-} d1541 d1542
d1543
{-
d1540 :: Ord (a, b, c)
-}
min d1550 d1551 d1552
= default__min{-(a, b, c)-} d1549
where
d1549
= derived__Prelude_Ord_192_24{-a b c-} d1550 d1551
d1552
{-
d1549 :: Ord (a, b, c)
-}
{-
super1_Ord ::
forall a b c . (Ord a, Ord b, Ord c) => Eq (a, b, c)
compare ::
forall a b c .
(Ord a, Ord b, Ord c) =>
(a, b, c) -> (a, b, c) -> Ordering
(<) ::
forall a b c .
(Ord a, Ord b, Ord c) =>
(a, b, c) -> (a, b, c) -> Bool
(<=) ::
forall a b c .
(Ord a, Ord b, Ord c) =>
(a, b, c) -> (a, b, c) -> Bool
(>=) ::
forall a b c .
(Ord a, Ord b, Ord c) =>
(a, b, c) -> (a, b, c) -> Bool
(>) ::
forall a b c .
(Ord a, Ord b, Ord c) =>
(a, b, c) -> (a, b, c) -> Bool
max ::
forall a b c .
(Ord a, Ord b, Ord c) =>
(a, b, c) -> (a, b, c) -> (a, b, c)
min ::
forall a b c .
(Ord a, Ord b, Ord c) =>
(a, b, c) -> (a, b, c) -> (a, b, c)
-}
instance (Show a, Show b, Show c) => Show (a, b, c)
where
showsPrec d1579 d1580 d1581 d
((,,){-a b c-} x1 x2 x3)
= showParenArg d
((.){-String String String-} (showString "(,,)")
((.){-String String String-}
(showArgument{-a-} d1579 x1)
((.){-String String String-}
(showArgument{-b-} d1580 x2)
(showArgument{-c-} d1581 x3))))
show d1585 d1586 d1587
= default__show{-(a, b, c)-} d1584
where
d1584
= derived__Prelude_Show_192_14{-a b c-} d1585 d1586
d1587
{-
d1584 :: Show (a, b, c)
-}
showList d1594 d1595 d1596
= default__showList{-(a, b, c)-} d1593
where
d1593
= derived__Prelude_Show_192_14{-a b c-} d1594 d1595
d1596
{-
d1593 :: Show (a, b, c)
-}
{-
showsPrec ::
forall a b c .
(Show a, Show b, Show c) => Int -> (a, b, c) -> ShowS
show ::
forall a b c .
(Show a, Show b, Show c) => (a, b, c) -> String
showList ::
forall a b c .
(Show a, Show b, Show c) => [(a, b, c)] -> ShowS
-}
instance (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)
where
(==) d1625 d1626 d1627 d1628
((,,,){-a b c d-} x1 x2 x3 x4)
((,,,){-a b c d-} y1 y2 y3 y4)
= (&&) ((==){-a-} d1625 x1 y1)
((&&) ((==){-b-} d1626 x2 y2)
((&&) ((==){-c-} d1627 x3 y3)
((==){-d-} d1628 x4 y4)))
(/=) d1632 d1633 d1634 d1635
= ($--/=){-(a, b, c, d)-} d1631
where
d1631
= derived__Prelude_Eq_196_20{-a b c d-} d1632 d1633
d1634
d1635
{-
d1631 :: Eq (a, b, c, d)
-}
{-
(==) ::
forall a b c d .
(Eq a, Eq b, Eq c, Eq d) =>
(a, b, c, d) -> (a, b, c, d) -> Bool
(/=) ::
forall a b c d .
(Eq a, Eq b, Eq c, Eq d) =>
(a, b, c, d) -> (a, b, c, d) -> Bool
-}
instance (Ord a, Ord b, Ord c, Ord d) =>
Ord (a, b, c, d)
where
super1_Ord d1643 d1644 d1645 d1646
= super{-(Eq (a, b, c, d))-} d1642
where
d1647 = super1_Ord{-a-} d1643
d1648 = super1_Ord{-b-} d1644
d1649 = super1_Ord{-c-} d1645
d1650 = super1_Ord{-d-} d1646
d1642
= derived__Prelude_Eq_196_20{-a b c d-} d1647 d1648
d1649
d1650
{-
d1647 :: Eq a
d1648 :: Eq b
d1649 :: Eq c
d1650 :: Eq d
d1642 :: Eq (a, b, c, d)
-}
compare d1676 d1677 d1678 d1679
((,,,){-a b c d-} x1 x2 x3 x4)
((,,,){-a b c d-} y1 y2 y3 y4)
= lexOrder (compare{-a-} d1676 x1 y1)
(lexOrder (compare{-b-} d1677 x2 y2)
(lexOrder (compare{-c-} d1678 x3 y3)
(compare{-d-} d1679 x4 y4)))
(<) d1683 d1684 d1685 d1686
= ($--<){-(a, b, c, d)-} d1682
where
d1682
= derived__Prelude_Ord_196_24{-a b c d-} d1683
d1684
d1685
d1686
{-
d1682 :: Ord (a, b, c, d)
-}
(<=) d1694 d1695 d1696 d1697
= ($--<=){-(a, b, c, d)-} d1693
where
d1693
= derived__Prelude_Ord_196_24{-a b c d-} d1694
d1695
d1696
d1697
{-
d1693 :: Ord (a, b, c, d)
-}
(>=) d1705 d1706 d1707 d1708
= ($-->=){-(a, b, c, d)-} d1704
where
d1704
= derived__Prelude_Ord_196_24{-a b c d-} d1705
d1706
d1707
d1708
{-
d1704 :: Ord (a, b, c, d)
-}
(>) d1716 d1717 d1718 d1719
= ($-->){-(a, b, c, d)-} d1715
where
d1715
= derived__Prelude_Ord_196_24{-a b c d-} d1716
d1717
d1718
d1719
{-
d1715 :: Ord (a, b, c, d)
-}
max d1727 d1728 d1729 d1730
= default__max{-(a, b, c, d)-} d1726
where
d1726
= derived__Prelude_Ord_196_24{-a b c d-} d1727
d1728
d1729
d1730
{-
d1726 :: Ord (a, b, c, d)
-}
min d1738 d1739 d1740 d1741
= default__min{-(a, b, c, d)-} d1737
where
d1737
= derived__Prelude_Ord_196_24{-a b c d-} d1738
d1739
d1740
d1741
{-
d1737 :: Ord (a, b, c, d)
-}
{-
super1_Ord ::
forall a b c d .
(Ord a, Ord b, Ord c, Ord d) => Eq (a, b, c, d)
compare ::
forall a b c d .
(Ord a, Ord b, Ord c, Ord d) =>
(a, b, c, d) -> (a, b, c, d) -> Ordering
(<) ::
forall a b c d .
(Ord a, Ord b, Ord c, Ord d) =>
(a, b, c, d) -> (a, b, c, d) -> Bool
(<=) ::
forall a b c d .
(Ord a, Ord b, Ord c, Ord d) =>
(a, b, c, d) -> (a, b, c, d) -> Bool
(>=) ::
forall a b c d .
(Ord a, Ord b, Ord c, Ord d) =>
(a, b, c, d) -> (a, b, c, d) -> Bool
(>) ::
forall a b c d .
(Ord a, Ord b, Ord c, Ord d) =>
(a, b, c, d) -> (a, b, c, d) -> Bool
max ::
forall a b c d .
(Ord a, Ord b, Ord c, Ord d) =>
(a, b, c, d) -> (a, b, c, d) -> (a, b, c, d)
min ::
forall a b c d .
(Ord a, Ord b, Ord c, Ord d) =>
(a, b, c, d) -> (a, b, c, d) -> (a, b, c, d)
-}
instance (Show a, Show b, Show c, Show d) =>
Show (a, b, c, d)
where
showsPrec d1776 d1777 d1778 d1779 d
((,,,){-a b c d-} x1 x2 x3 x4)
= showParenArg d
((.){-String String String-} (showString "(,,,)")
((.){-String String String-}
(showArgument{-a-} d1776 x1)
((.){-String String String-}
(showArgument{-b-} d1777 x2)
((.){-String String String-}
(showArgument{-c-} d1778 x3)
(showArgument{-d-} d1779 x4)))))
show d1783 d1784 d1785 d1786
= default__show{-(a, b, c, d)-} d1782
where
d1782
= derived__Prelude_Show_196_14{-a b c d-} d1783
d1784
d1785
d1786
{-
d1782 :: Show (a, b, c, d)
-}
showList d1794 d1795 d1796 d1797
= default__showList{-(a, b, c, d)-} d1793
where
d1793
= derived__Prelude_Show_196_14{-a b c d-} d1794
d1795
d1796
d1797
{-
d1793 :: Show (a, b, c, d)
-}
{-
showsPrec ::
forall a b c d .
(Show a, Show b, Show c, Show d) =>
Int -> (a, b, c, d) -> ShowS
show ::
forall a b c d .
(Show a, Show b, Show c, Show d) =>
(a, b, c, d) -> String
showList ::
forall a b c d .
(Show a, Show b, Show c, Show d) =>
[(a, b, c, d)] -> ShowS
-}