Compose.hs.out revision c72c1e75a969ff4c336e77481c2a8e42603f13ee
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder{-
c63ebf815c8a874525cf18670ad74847f7fc7b26Christian Maederinstances:
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder(Num Int, (inst__Prelude_Num_Int, []))
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Num Integer, (inst__Prelude_Num_Integer, []))
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder(Num Rational, (inst__Prelude_Num_Rational, []))
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Num Double, (inst__Prelude_Num_Double, []))
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Eq Int, (inst__Prelude_Eq_Int, []))
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Ord Int, (inst__Prelude_Ord_Int, []))
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder(Enum Int, (inst__Prelude_Enum_Int, []))
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Eq Char, (inst__Prelude_Eq_Char, []))
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maeder(Eq Integer, (inst__Prelude_Eq_Integer, []))
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maeder(Eq Rational, (inst__Prelude_Eq_Rational, []))
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian Maeder(Eq Double, (inst__Prelude_Eq_Double, []))
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian Maeder(Ord Char, (inst__Prelude_Ord_Char, []))
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder(Ord Integer, (inst__Prelude_Ord_Integer, []))
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder(Ord Rational, (inst__Prelude_Ord_Rational, []))
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(Ord Double, (inst__Prelude_Ord_Double, []))
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(Show Int, (inst__Prelude_Show_Int, []))
a1ed34933c266ce85066acb0d7b20c90cb8eb213Christian Maeder(Show Char, (inst__Prelude_Show_Char, []))
c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder(Show Integer, (inst__Prelude_Show_Integer, []))
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich(Show Rational, (inst__Prelude_Show_Rational, []))
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian Maeder(Show Double, (inst__Prelude_Show_Double, []))
ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder(Fractional Rational, (inst__Prelude_Fractional_Rational, []))
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich(Fractional Double, (inst__Prelude_Fractional_Double, []))
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(Eq Bool, (derived__Prelude_Eq_Bool, []))
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder(Ord Bool, (derived__Prelude_Ord_Bool, []))
1a38107941725211e7c3f051f7a8f5e12199f03acmaeder(Show Bool, (derived__Prelude_Show_Bool, []))
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian Maeder(Eq Ordering, (derived__Prelude_Eq_Ordering, []))
bab2d88d650448628730ed3b65c9f99c52500e8cChristian Maeder(Ord Ordering, (derived__Prelude_Ord_Ordering, []))
3e8b136f23ed57d40ee617f49bcac37830b58cabChristian Maeder(Show Ordering, (derived__Prelude_Show_Ordering, []))
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian Maeder(Eq [a], (derived__Prelude_Eq_34_65, [Eq a]))
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(Ord [a], (derived__Prelude_Ord_34_69, [Ord a]))
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(Show [a], (derived__Prelude_Show_34_59, [Show a]))
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Eq (), (derived__Prelude_Eq_184_27, []))
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder(Ord (), (derived__Prelude_Ord_184_31, []))
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder(Show (), (derived__Prelude_Show_184_36, []))
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder(Eq (a, b), (derived__Prelude_Eq_188_20, [Eq a,
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder Eq b]))
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder(Ord (a, b), (derived__Prelude_Ord_188_24, [Ord a,
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder Ord b]))
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder(Show (a, b), (derived__Prelude_Show_188_14, [Show a,
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder Show b]))
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder(Eq (a, b, c), (derived__Prelude_Eq_192_20, [Eq a,
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder Eq b, Eq c]))
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder(Ord (a, b, c), (derived__Prelude_Ord_192_24, [Ord a,
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002Christian Maeder Ord b, Ord c]))
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder(Show (a, b,
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder c), (derived__Prelude_Show_192_14, [Show a, Show b,
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder Show c]))
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder(Eq (a, b, c, d), (derived__Prelude_Eq_196_20, [Eq a,
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder Eq b, Eq c, Eq d]))
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder(Ord (a, b, c,
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder d), (derived__Prelude_Ord_196_24, [Ord a, Ord b,
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder Ord c, Ord d]))
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian Maeder(Show (a, b, c,
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian Maeder d), (derived__Prelude_Show_196_14, [Show a, Show b,
308834907a120fd8771e18292ed2ca9cd767c12dChristian Maeder Show c, Show d]))
bab2d88d650448628730ed3b65c9f99c52500e8cChristian Maeder
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegaritypes:
8cacad2a09782249243b80985f28e9387019fe40Christian Maeder() :: (*, data)
6a2dad705deefd1b7a7e09b84fd2d75f2213be47Christian Maeder(,) :: (*->*->*, data)
a7c27282e71cf4505026645f96d4f5cb8a284e32Christian MaederPrelude.(,,) :: (*->*->*->*, data)
363939beade943a02b31004cea09dec34fa8a6d9Christian MaederPrelude.(,,,) :: (*->*->*->*->*, data)
014dc30f64ec25e4790cca987d4d1e6635430510Christian Maeder((->)) :: (*->*->*, data)
f04e8f3ff56405901be968fd4c6e9769239f1a9bKlaus LuettichBool :: (*, data)
6aea82c63ba1d2efc0329bc784a14e521469ec20Christian MaederBounded ::
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian Maeder (*->Pred, class _ a
feca1d35123d8c31aee238c9ce79947b0bf65494Christian Maeder where
431d34c7007a787331c4e5ec997badb0f8190fc7Christian Maeder minBound :: a
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder maxBound :: a)
f5c0884429b01e74c6e658ded921fb2e16dfb478Christian MaederChar :: (*, data)
db675e8302ddb0d6528088ce68f5e98a00e890e3Christian MaederDouble :: (*, data)
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian MaederEnum ::
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder (*->Pred, class _ a
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder where
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder succ :: a -> a
23ffcc44ca8612feccbd8fda63fa5be7ab5f9dc3Christian Maeder pred :: a -> a
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder toEnum :: Int -> a
c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder fromEnum :: a -> Int
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder enumFrom :: a -> [a]
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder enumFromThen :: a -> a -> [a]
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder enumFromTo :: a -> a -> [a]
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder enumFromThenTo :: a -> a -> a -> [a])
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederEq ::
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder (*->Pred, class _ a
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder where
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder (==) :: a -> a -> Bool
a3c6d8e0670bf2aa71bc8e2a3b1f45d56dd65e4cChristian Maeder (/=) :: a -> a -> Bool)
dc679edd4ca027663212afdf00926ae2ce19b555Christian MaederFractional ::
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (*->Pred, class Num a => _ a
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder where
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (/) :: a -> a -> a
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder recip :: a -> a
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder fromRational :: Rational -> a)
ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederInt :: (*, data)
4017ebc0f692820736d796af3110c3b3018c108aChristian MaederInteger :: (*, data)
b568982efd0997d877286faa592d81b03c8c67b8Christian MaederIntegral ::
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder (*->Pred, class (Real a, Enum a) => _ a
0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich where
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder quot :: a -> a -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder rem :: a -> a -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder div :: a -> a -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder mod :: a -> a -> a
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maeder quotRem :: a -> a -> (a, a)
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder divMod :: a -> a -> (a, a)
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder toInteger :: a -> Integer)
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian MaederNum ::
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder (*->Pred, class (Eq a, Show a) => _ a
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder where
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (+) :: a -> a -> a
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder (-) :: a -> a -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (*) :: a -> a -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder negate :: a -> a
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder abs :: a -> a
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder signum :: a -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder fromInteger :: Integer -> a)
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederOrd ::
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder (*->Pred, class Eq a => _ a
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder where
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder compare :: a -> a -> Ordering
3e8b136f23ed57d40ee617f49bcac37830b58cabChristian Maeder (<) :: a -> a -> Bool
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder (<=) :: a -> a -> Bool
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder (>=) :: a -> a -> Bool
58b96b17bf8e32c0b0d773380a5e62f992eef2bcChristian Maeder (>) :: a -> a -> Bool
e6d5dbbc3308f05197868806e0b860f4f53875f1Christian Maeder max :: a -> a -> a
363939beade943a02b31004cea09dec34fa8a6d9Christian Maeder min :: a -> a -> a)
58b96b17bf8e32c0b0d773380a5e62f992eef2bcChristian MaederOrdering :: (*, data)
e4f4d096e5e6d60dd91c746d0e833d0ac7a29c50Christian MaederRational :: (*, data)
eb74267cf39e4e95f9eeb5c765f4c8dac33971b4Christian MaederReal ::
eb74267cf39e4e95f9eeb5c765f4c8dac33971b4Christian Maeder (*->Pred, class (Num a, Ord a) => _ a
e4f4d096e5e6d60dd91c746d0e833d0ac7a29c50Christian Maeder where
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder toRational :: a -> Rational)
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederRealFrac ::
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder (*->Pred, class (Real a, Fractional a) => _ a
8d178ae08a52d61379e6b8074f61646499bc88bbChristian Maeder where
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder properFraction ::
6cd33d6101fb1b93baa6d86fac158af18a115108Christian Maeder forall a . (Integral a) => a -> (a, a)
6cd33d6101fb1b93baa6d86fac158af18a115108Christian Maeder truncate :: forall a . (Integral a) => a -> a
6cd33d6101fb1b93baa6d86fac158af18a115108Christian Maeder round :: forall a . (Integral a) => a -> a
6cd33d6101fb1b93baa6d86fac158af18a115108Christian Maeder ceiling :: forall a . (Integral a) => a -> a
6cd33d6101fb1b93baa6d86fac158af18a115108Christian Maeder floor :: forall a . (Integral a) => a -> a)
b2ac5a92cf36382e8deea5661c1964566caf72b3Christian MaederShow ::
ea5432ff6f61c64469b11d9352b23fef4ff152e8Christian Maeder (*->Pred, class _ a
b2ac5a92cf36382e8deea5661c1964566caf72b3Christian Maeder where
b2ac5a92cf36382e8deea5661c1964566caf72b3Christian Maeder showsPrec :: Int -> a -> ShowS
7d0ee72ee91ec305408688b969c43f07b9667c80Christian Maeder show :: a -> String
7d0ee72ee91ec305408688b969c43f07b9667c80Christian Maeder showList :: [a] -> ShowS)
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederShowS :: (*, type _ = String -> String)
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederString :: (*, type _ = String)
0e5b095a19790411e5352fa7cf57cb0388e70472Christian Maeder[] :: (*->*, data)
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedervalues:
f1a913f880e409e7327b5deae95738b5448379a1Christian Maeder($--*) :: forall a . (Num a) => a -> a -> a
f1a913f880e409e7327b5deae95738b5448379a1Christian Maeder($--+) :: forall a . (Num a) => a -> a -> a
f1a913f880e409e7327b5deae95738b5448379a1Christian Maeder($---) :: forall a . (Num a) => a -> a -> a
f1a913f880e409e7327b5deae95738b5448379a1Christian Maeder($--/) :: forall a . (Fractional a) => a -> a -> a
14c56dc499da4bbeaeebeb558ceb755150ae341cChristian Maeder($--/=) :: forall a . (Eq a) => a -> a -> Bool
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian Maeder($--<) :: forall a . (Ord a) => a -> a -> Bool
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder($--<=) :: forall a . (Ord a) => a -> a -> Bool
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder($--==) :: forall a . (Eq a) => a -> a -> Bool
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder($-->) :: forall a . (Ord a) => a -> a -> Bool
93f5b72fdb9ee734caa750b43dd79bbb590dcd73Christian Maeder($-->=) :: forall a . (Ord a) => a -> a -> Bool
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder(&&) :: Bool -> Bool -> Bool
93f5b72fdb9ee734caa750b43dd79bbb590dcd73Christian Maeder(*) :: forall a . (Num a) => a -> a -> a
93f5b72fdb9ee734caa750b43dd79bbb590dcd73Christian Maeder(+) :: forall a . (Num a) => a -> a -> a
328a85c807f2a95c3f147d10b05927eaf862ebebChristian Maeder(++) :: forall a . [a] -> [a] -> [a]
8fb127028cb7dd361e348a3252e33487f73428bcJonathan von Schroeder(-) :: forall a . (Num a) => a -> a -> a
06dd4e7c29f33f6122a910719e3bd9062256e397Andy Gimblett(.) :: forall a b c . (a -> b) -> (c -> a) -> c -> b
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maeder(/) :: forall a . (Fractional a) => a -> a -> a
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian Maeder(/=) :: forall a . (Eq a) => a -> a -> Bool
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian Maeder(<) :: forall a . (Ord a) => a -> a -> Bool
5b818f10e11fc79def1fdd5c8a080d64a6438d87Christian Maeder(<=) :: forall a . (Ord a) => a -> a -> Bool
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers(==) :: forall a . (Eq a) => a -> a -> Bool
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder(>) :: forall a . (Ord a) => a -> a -> Bool
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maeder(>=) :: forall a . (Ord a) => a -> a -> Bool
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederabs :: forall a . (Num a) => a -> a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederceiling ::
140287998aa8592c9c403bd9e308e447ba92ae11Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b
c208973c890b8f993297720fd0247bc7481d4304Christian Maedercompare :: forall a . (Ord a) => a -> a -> Ordering
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maedercompose ::
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder forall a b c . (a -> b) -> (c -> a) -> c -> b
3554301a34639efb6c9961a8571775d0061284c9Christian Maederdefault__abs :: forall a . (Num a) => a -> a
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersdefault__ceiling ::
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b
9e748851c150e1022fb952bab3315e869aaf0214Christian Maederdefault__compare ::
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a . (Ord a) => a -> a -> Ordering
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederdefault__div ::
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder forall a . (Integral a) => a -> a -> a
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__divMod ::
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maeder forall a . (Integral a) => a -> a -> (a, a)
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__enumFrom :: forall a . (Enum a) => a -> [a]
3554301a34639efb6c9961a8571775d0061284c9Christian Maederdefault__enumFromThen ::
3554301a34639efb6c9961a8571775d0061284c9Christian Maeder forall a . (Enum a) => a -> a -> [a]
3554301a34639efb6c9961a8571775d0061284c9Christian Maederdefault__enumFromThenTo ::
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maeder forall a . (Enum a) => a -> a -> a -> [a]
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederdefault__enumFromTo ::
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder forall a . (Enum a) => a -> a -> [a]
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederdefault__floor ::
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder forall a b . (RealFrac a, Integral b) => a -> b
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederdefault__fromEnum :: forall a . (Enum a) => a -> Int
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederdefault__fromInteger ::
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maeder forall a . (Num a) => Integer -> a
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__fromRational ::
a14767aeac3e78ed100f5b75e210ba563ee10dbaChristian Maeder forall a . (Fractional a) => Rational -> a
a14767aeac3e78ed100f5b75e210ba563ee10dbaChristian Maederdefault__max :: forall a . (Ord a) => a -> a -> a
a14767aeac3e78ed100f5b75e210ba563ee10dbaChristian Maederdefault__maxBound :: forall a . (Bounded a) => a
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__min :: forall a . (Ord a) => a -> a -> a
3554301a34639efb6c9961a8571775d0061284c9Christian Maederdefault__minBound :: forall a . (Bounded a) => a
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__mod ::
54ea981a0503c396c2923a1c06421c6235baf27fChristian Maeder forall a . (Integral a) => a -> a -> a
54ea981a0503c396c2923a1c06421c6235baf27fChristian Maederdefault__negate :: forall a . (Num a) => a -> a
54ea981a0503c396c2923a1c06421c6235baf27fChristian Maederdefault__pred :: forall a . (Enum a) => a -> a
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maederdefault__properFraction ::
db6729e623b4053149084ccf4b35e5308ac7e359Christian Maeder forall a b . (RealFrac a, Integral b) => a -> (b, a)
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maederdefault__quot ::
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maeder forall a . (Integral a) => a -> a -> a
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederdefault__quotRem ::
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maeder forall a . (Integral a) => a -> a -> (a, a)
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maederdefault__recip :: forall a . (Fractional a) => a -> a
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maederdefault__rem ::
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maeder forall a . (Integral a) => a -> a -> a
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__round ::
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__show :: forall a . (Show a) => a -> String
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__showList ::
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maeder forall a . (Show a) => [a] -> ShowS
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__showsPrec ::
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder forall a . (Show a) => Int -> a -> ShowS
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maederdefault__signum :: forall a . (Num a) => a -> a
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__succ :: forall a . (Enum a) => a -> a
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__toEnum :: forall a . (Enum a) => Int -> a
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederdefault__toInteger ::
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder forall a . (Integral a) => a -> Integer
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__toRational ::
ac34194a668399bb8ef238da77c3a09e93fb253bChristian Maeder forall a . (Real a) => a -> Rational
4fc9de0da898448f1d3597ebbd8c04a066464c21Christian Maederdefault__truncate ::
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder forall a b . (RealFrac a, Integral b) => a -> b
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Eq_184_27 :: Eq ()
c208973c890b8f993297720fd0247bc7481d4304Christian Maederderived__Prelude_Eq_188_20 ::
c208973c890b8f993297720fd0247bc7481d4304Christian Maeder forall a b . (Eq a) -> (Eq b) -> Eq (a, b)
c208973c890b8f993297720fd0247bc7481d4304Christian Maederderived__Prelude_Eq_192_20 ::
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maeder forall a b c .
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maeder (Eq a) -> (Eq b) -> (Eq c) -> Eq (a, b, c)
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maederderived__Prelude_Eq_196_20 ::
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5Christian Maeder forall a b c d .
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maeder (Eq a) ->
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5Christian Maeder (Eq b) -> (Eq c) -> (Eq d) -> Eq (a, b, c, d)
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederderived__Prelude_Eq_34_65 ::
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a . (Eq a) -> Eq [a]
986d3f255182539098a97ac86da9eeee5b7a72e3Christian Maederderived__Prelude_Eq_Bool :: Eq Bool
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederderived__Prelude_Eq_Ordering :: Eq Ordering
4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maederderived__Prelude_Ord_184_31 :: Ord ()
01e278bdd7dce13b9303ed3d79683d83c89d09f9Liam O'Reillyderived__Prelude_Ord_188_24 ::
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder forall a b . (Ord a) -> (Ord b) -> Ord (a, b)
5ad5dffe06818a13e1632b1119fbca7881085fc1Dominik Lueckederived__Prelude_Ord_192_24 ::
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maeder forall a b c .
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maeder (Ord a) -> (Ord b) -> (Ord c) -> Ord (a, b, c)
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maederderived__Prelude_Ord_196_24 ::
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai Codescu forall a b c d .
31d6d9286988dc31639d105841296759aeb743e0Jonathan von Schroeder (Ord a) ->
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai Codescu (Ord b) -> (Ord c) -> (Ord d) -> Ord (a, b, c, d)
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroederderived__Prelude_Ord_34_69 ::
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroeder forall a . (Ord a) -> Ord [a]
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroederderived__Prelude_Ord_Bool :: Ord Bool
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroederderived__Prelude_Ord_Ordering :: Ord Ordering
05a206508bc898f87fe6ab6e069814df3c29d303Dominik Lueckederived__Prelude_Show_184_36 :: Show ()
05a206508bc898f87fe6ab6e069814df3c29d303Dominik Lueckederived__Prelude_Show_188_14 ::
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a b . (Show a) -> (Show b) -> Show (a, b)
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroederderived__Prelude_Show_192_14 ::
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder forall a b c .
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder (Show a) -> (Show b) -> (Show c) -> Show (a, b, c)
d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3Christian Maederderived__Prelude_Show_196_14 ::
d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3Christian Maeder forall a b c d .
d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3Christian Maeder (Show a) ->
3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski (Show b) -> (Show c) -> (Show d) -> Show (a, b, c, d)
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian Maederderived__Prelude_Show_34_59 ::
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a . (Show a) -> Show [a]
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maederderived__Prelude_Show_Bool :: Show Bool
0b349288edfa50fdf38fda1a14e1562d03f92574Christian Maederderived__Prelude_Show_Ordering :: Show Ordering
5afff1a0f62394414c33b06141175b3ab0b117a5Christian Maederdiv :: forall a . (Integral a) => a -> a -> a
5afff1a0f62394414c33b06141175b3ab0b117a5Christian MaederdivMod :: forall a . (Integral a) => a -> a -> (a, a)
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederdouble :: Int -> Int
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik LueckeenumFrom :: forall a . (Enum a) => a -> [a]
f04e8f3ff56405901be968fd4c6e9769239f1a9bKlaus LuettichenumFromThen :: forall a . (Enum a) => a -> a -> [a]
e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian MaederenumFromThenTo ::
f8e1a1eca871a26a535a4ee7d51902ba94b1db1eChristian Maeder forall a . (Enum a) => a -> a -> a -> [a]
ea3bff3e547a1ac714d4db39c5efef95e02b2e7dChristian MaederenumFromTo :: forall a . (Enum a) => a -> a -> [a]
dd6f22b9dcff2695181b86372e4df03d5b96e92dKristina Sojakovaerror :: forall a . String -> a
005e0f0c6b0cc898003b03801158c208f3071fc5Kristina Sojakovaeven :: forall a . (Integral a) => a -> Bool
abf2487c3aece95c371ea89ac64319370dcb6483Klaus Luettichflip :: forall a b c . (a -> b -> c) -> b -> a -> c
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian Maederfloor ::
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian MaederfromEnum :: forall a . (Enum a) => a -> Int
76b9b2974795a6fb31f242fd032de3ff66df6204Christian MaederfromInteger :: forall a . (Num a) => Integer -> a
74a992bd019d3319df2f21f9d358ff06cafb5f7eMihaela TurcufromIntegral ::
8a78868bae2ec6838c87366c35c57e109154c51eChristian Maeder forall a b . (Integral a, Num b) => a -> b
878a5ecd6acf973907e25e5be6e4a792ea19a05eEwaryst SchulzfromRational ::
878a5ecd6acf973907e25e5be6e4a792ea19a05eEwaryst Schulz forall a . (Fractional a) => Rational -> a
c2e192ace9ef7cfb0e59563f1b24477b2b65cff3Dominik DietrichfunctionList :: [Int -> Int]
6b75c206b317eb30a08d88a8f27e0295ffeb1546Christian Maederhead :: forall a . [a] -> a
9a4b469ca0a7f44a598e551a973c75195207db58Eugen Kuksainc :: Int -> Int
48aa0645e25883048369afc02aac3f49b14a50daChristian Maederinst__Prelude_Enum_Int :: Enum Int
01645eac73dbc789392674930adc5745c935f3a0Christian Maederinst__Prelude_Eq_Char :: Eq Char
01645eac73dbc789392674930adc5745c935f3a0Christian Maederinst__Prelude_Eq_Double :: Eq Double
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian Maederinst__Prelude_Eq_Int :: Eq Int
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian Maederinst__Prelude_Eq_Integer :: Eq Integer
3a9fce5398f4621558ca220c66c87cee59adc258Jonathan von Schroederinst__Prelude_Eq_Rational :: Eq Rational
b5da047a9a875dec3f968b6c0df96af326f90fa9Alexis Tsogiasinst__Prelude_Fractional_Double :: Fractional Double
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulzinst__Prelude_Fractional_Rational ::
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulz Fractional Rational
a604cbad8e2202147b5c6bb9f2e06ae61162d654Felix Gabriel Manceinst__Prelude_Num_Double :: Num Double
308834907a120fd8771e18292ed2ca9cd767c12dChristian Maederinst__Prelude_Num_Int :: Num Int
308834907a120fd8771e18292ed2ca9cd767c12dChristian Maederinst__Prelude_Num_Integer :: Num Integer
7834a982096d93301a4626f444dd9ea5f9fe17eaChristian Maederinst__Prelude_Num_Rational :: Num Rational
1f9274bb2aa44ea236327814dce99946be52e348Felix Gabriel Manceinst__Prelude_Ord_Char :: Ord Char
1f9274bb2aa44ea236327814dce99946be52e348Felix Gabriel Manceinst__Prelude_Ord_Double :: Ord Double
bab2d88d650448628730ed3b65c9f99c52500e8cChristian Maederinst__Prelude_Ord_Int :: Ord Int
8fd6a3f938496a502bc62f1923ff7c15f59acf91Christian Maederinst__Prelude_Ord_Integer :: Ord Integer
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian Maederinst__Prelude_Ord_Rational :: Ord Rational
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegariinst__Prelude_Show_Char :: Show Char
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegariinst__Prelude_Show_Double :: Show Double
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederinst__Prelude_Show_Int :: Show Int
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederinst__Prelude_Show_Integer :: Show Integer
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederinst__Prelude_Show_Rational :: Show Rational
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederlexOrder :: Ordering -> Ordering -> Ordering
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedermain :: Int
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedermap :: forall a b . (a -> b) -> [a] -> [b]
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedermax :: forall a . (Ord a) => a -> a -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedermaxBound :: forall a . (Bounded a) => a
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedermin :: forall a . (Ord a) => a -> a -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederminBound :: forall a . (Bounded a) => a
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroedermod :: forall a . (Integral a) => a -> a -> a
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroedernegate :: forall a . (Num a) => a -> a
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroedernot :: Bool -> Bool
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai Codescuodd :: forall a . (Integral a) => a -> Bool
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai Codescuotherwise :: Bool
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai Codescupred :: forall a . (Enum a) => a -> a
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai CodescuprimError :: forall a . String -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederproperFraction ::
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder forall a b . (RealFrac a, Integral b) => a -> (b, a)
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederquot :: forall a . (Integral a) => a -> a -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederquotRem ::
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder forall a . (Integral a) => a -> a -> (a, a)
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederrecip :: forall a . (Fractional a) => a -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederrem :: forall a . (Integral a) => a -> a -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederround ::
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroedershow :: forall a . (Show a) => a -> String
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroedershowArgument ::
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder forall a . (Show a) => a -> String -> String
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroedershowChar :: Char -> ShowS
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroedershowList :: forall a . (Show a) => [a] -> ShowS
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroedershowParen :: 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
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedersubtract :: forall a . (Num a) => a -> a -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedersucc :: forall a . (Enum a) => a -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedertail :: forall a . [a] -> [a]
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedertoEnum :: forall a . (Enum a) => Int -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedertoInteger :: forall a . (Integral a) => a -> Integer
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedertoRational :: forall a . (Real a) => a -> Rational
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedertruncate ::
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
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederFalse :: Bool
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederGT :: Ordering
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederLT :: Ordering
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederTrue :: Bool
5199920ca3b698b2149c8cb9d2ce2e98a280ff9dChristian Maeder[] :: forall a . [a]
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederscope:
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.&& |-> Prelude.&&, Value
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder() |-> Prelude.(), Type [()] []
9f85afecbd79b3df5a0bb17bd28cd0b288dc3213Kristina Sojakova() |-> Prelude.(), con of ()
48aa0645e25883048369afc02aac3f49b14a50daChristian Maeder(,) |-> Prelude.(,), Type [(,)] []
9f85afecbd79b3df5a0bb17bd28cd0b288dc3213Kristina Sojakova(,) |-> Prelude.(,), con of (,)
79834070d6d3c63a098e570b12fa3405c607dc70Kristina SojakovaPrelude.(,,) |-> Prelude.(,,), Type [(,,)] []
79834070d6d3c63a098e570b12fa3405c607dc70Kristina SojakovaPrelude.(,,) |-> Prelude.(,,), con of (,,)
79834070d6d3c63a098e570b12fa3405c607dc70Kristina SojakovaPrelude.(,,,) |-> Prelude.(,,,), Type [(,,,)] []
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian MaederPrelude.(,,,) |-> Prelude.(,,,), con of (,,,)
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian MaederPrelude.* |-> Prelude.*, method of Num
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian MaederPrelude.+ |-> Prelude.+, method of Num
8a78868bae2ec6838c87366c35c57e109154c51eChristian MaederPrelude.++ |-> Prelude.++, Value
8a78868bae2ec6838c87366c35c57e109154c51eChristian MaederPrelude.- |-> Prelude.-, method of Num
8a78868bae2ec6838c87366c35c57e109154c51eChristian Maeder(->) |-> Prelude.->, Type [] []
624e6701e0deb7ac6c03c0cba0190fbc5033cf93Ewaryst SchulzPrelude.. |-> Prelude.., Value
624e6701e0deb7ac6c03c0cba0190fbc5033cf93Ewaryst SchulzPrelude./ |-> Prelude./, method of Fractional
c2e192ace9ef7cfb0e59563f1b24477b2b65cff3Dominik DietrichPrelude./= |-> Prelude./=, method of Eq
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucPrelude.: |-> Prelude.:, con of []
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucPrelude.< |-> Prelude.<, method of Ord
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucPrelude.<= |-> Prelude.<=, method of Ord
01645eac73dbc789392674930adc5745c935f3a0Christian MaederPrelude.== |-> Prelude.==, method of Eq
01645eac73dbc789392674930adc5745c935f3a0Christian MaederPrelude.> |-> Prelude.>, method of Ord
01645eac73dbc789392674930adc5745c935f3a0Christian MaederPrelude.>= |-> Prelude.>=, method of Ord
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian MaederPrelude.Bool |-> Prelude.Bool, Type [False, True] []
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian MaederPrelude.Bounded |-> Prelude.Bounded, Class [minBound,
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian Maeder maxBound]
b5da047a9a875dec3f968b6c0df96af326f90fa9Alexis TsogiasPrelude.Char |-> Prelude.Char, Type [] []
fc09e0a6af734edbd944dd8082bb51985c233b43Alexis TsogiasPrelude.Double |-> Prelude.Double, Type [] []
b5da047a9a875dec3f968b6c0df96af326f90fa9Alexis TsogiasPrelude.EQ |-> Prelude.EQ, con of Ordering
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst SchulzPrelude.Enum |-> Prelude.Enum, Class [succ, pred,
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulz toEnum, fromEnum, enumFrom, enumFromThen,
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulz enumFromTo, enumFromThenTo]
bab2d88d650448628730ed3b65c9f99c52500e8cChristian MaederPrelude.Eq |-> Prelude.Eq, Class [==, /=]
18d370f8341357f5d6a4068f4bb6981173ece70fFelix Gabriel MancePrelude.False |-> Prelude.False, con of Bool
7834a982096d93301a4626f444dd9ea5f9fe17eaChristian MaederPrelude.Fractional |-> Prelude.Fractional, Class [/,
ed1b8e97e72b2e3e92edaf2eb22a4b5373d705f1Felix Gabriel Mance recip, fromRational]
ed1b8e97e72b2e3e92edaf2eb22a4b5373d705f1Felix Gabriel MancePrelude.GT |-> Prelude.GT, con of Ordering
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst SchulzPrelude.Int |-> Prelude.Int, Type [] []
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian MaederPrelude.Integer |-> Prelude.Integer, Type [] []
fc1bf40b1196cf62c6ce5c971633b5ebfc5936efChristian MaederPrelude.Integral |-> Prelude.Integral, Class [quot,
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian Maeder rem, div, mod, quotRem, divMod,
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegari toInteger]
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel CalegariPrelude.LT |-> Prelude.LT, con of Ordering
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel CalegariPrelude.Num |-> Prelude.Num, Class [+, -, *, negate,
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder abs, signum, fromInteger]
c70ef4c3b3a62764f715510c9fd67dde3acfe454Christian MaederPrelude.Ord |-> Prelude.Ord, Class [compare, <, <=,
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder >=, >, max, min]
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederPrelude.Ordering |-> Prelude.Ordering, Type [LT, EQ,
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers GT] []
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.Rational |-> Prelude.Rational, Type [] []
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.Real |-> Prelude.Real, Class [toRational]
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.RealFrac |-> Prelude.RealFrac, Class [properFraction,
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder truncate, round, ceiling, floor]
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederPrelude.Show |-> Prelude.Show, Class [showsPrec,
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder show, showList]
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.ShowS |-> Prelude.ShowS, Type [] []
67d711ed8d639b1c6e123896e7133d03911c1128Christian MaederPrelude.String |-> Prelude.String, Type [] []
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederPrelude.True |-> Prelude.True, con of Bool
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder[] |-> Prelude.[], Type [[], :] [head, tail]
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder[] |-> Prelude.[], con of []
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPrelude.abs |-> Prelude.abs, method of Num
360ce9b5c746ac021944db12eb26e3df2697b8c7Christian MaederPrelude.ceiling |-> Prelude.ceiling, method of RealFrac
360ce9b5c746ac021944db12eb26e3df2697b8c7Christian MaederPrelude.compare |-> Prelude.compare, method of Ord
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.compose |-> Prelude.compose, Value
50c3cc2b79207355522c5b096172b3c6b7bec300Christian MaederPrelude.div |-> Prelude.div, method of Integral
f443a57f2a8e0ca3daa7431b0c89a18ba52c337aChristian MaederPrelude.divMod |-> Prelude.divMod, method of Integral
f5c9b1e739228c2a2edf055ac419583412569683Christian MaederPrelude.double |-> Prelude.double, Value
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian MaederPrelude.enumFrom |-> Prelude.enumFrom, method of Enum
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederPrelude.enumFromThen |-> Prelude.enumFromThen, method of Enum
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederPrelude.enumFromThenTo |-> Prelude.enumFromThenTo, method of Enum
37a9d042e9f85a1d6e229eb80b48f93df810f155Christian MaederPrelude.enumFromTo |-> Prelude.enumFromTo, method of Enum
7c99e334446bb97120e30e967baeeddfdd1278deKlaus LuettichPrelude.error |-> Prelude.error, Value
f5c9b1e739228c2a2edf055ac419583412569683Christian MaederPrelude.even |-> Prelude.even, Value
f5c9b1e739228c2a2edf055ac419583412569683Christian MaederPrelude.flip |-> Prelude.flip, Value
f5c9b1e739228c2a2edf055ac419583412569683Christian MaederPrelude.floor |-> Prelude.floor, method of RealFrac
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederPrelude.fromEnum |-> Prelude.fromEnum, method of Enum
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederPrelude.fromInteger |-> Prelude.fromInteger, method of Num
33d042fe6a9eb27a4c48f840b80838f3e7d98e34Christian MaederPrelude.fromIntegral |-> Prelude.fromIntegral, Value
83394c6b6e6de128e71b67c9251ed7a84485d082Christian MaederPrelude.fromRational |-> Prelude.fromRational, method of Fractional
fa21fba9ceb1ddf7b3efd54731a12ed8750191d8Christian MaederPrelude.functionList |-> Prelude.functionList, Value
fa21fba9ceb1ddf7b3efd54731a12ed8750191d8Christian MaederPrelude.head |-> Prelude.head, field of []
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederPrelude.inc |-> Prelude.inc, Value
0c355dd0b739631ee472f9a656e266be27fa4e64Christian MaederPrelude.lexOrder |-> Prelude.lexOrder, Value
fa21fba9ceb1ddf7b3efd54731a12ed8750191d8Christian MaederPrelude.main |-> Prelude.main, Value
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederPrelude.map |-> Prelude.map, Value
c7ec85d1103173e089aa5048fd7afb2f9b505124Klaus LuettichPrelude.max |-> Prelude.max, method of Ord
c7ec85d1103173e089aa5048fd7afb2f9b505124Klaus LuettichPrelude.maxBound |-> Prelude.maxBound, method of Bounded
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.min |-> Prelude.min, method of Ord
c7ec85d1103173e089aa5048fd7afb2f9b505124Klaus LuettichPrelude.minBound |-> Prelude.minBound, method of Bounded
c7ec85d1103173e089aa5048fd7afb2f9b505124Klaus LuettichPrelude.mod |-> Prelude.mod, method of Integral
810746aea00b81c1eec27dae84d73a43599ff056Christian MaederPrelude.negate |-> Prelude.negate, method of Num
a883cd4d01fe39d23219cf5333425f195be24d8bChristian MaederPrelude.not |-> Prelude.not, Value
b905126bab9454b89041f92b3c50bb9efc85e427Klaus LuettichPrelude.odd |-> Prelude.odd, Value
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederPrelude.otherwise |-> Prelude.otherwise, Value
33d042fe6a9eb27a4c48f840b80838f3e7d98e34Christian MaederPrelude.pred |-> Prelude.pred, method of Enum
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPrelude.primError |-> Prelude.primError, Value
0a5571c8adeddd27548445546491725beb224dddChristian MaederPrelude.properFraction |-> Prelude.properFraction, method of RealFrac
0a5571c8adeddd27548445546491725beb224dddChristian MaederPrelude.quot |-> Prelude.quot, method of Integral
0a5571c8adeddd27548445546491725beb224dddChristian MaederPrelude.quotRem |-> Prelude.quotRem, method of Integral
0a5571c8adeddd27548445546491725beb224dddChristian MaederPrelude.recip |-> Prelude.recip, method of Fractional
0a5571c8adeddd27548445546491725beb224dddChristian MaederPrelude.rem |-> Prelude.rem, method of Integral
f38b3687c5558128515e34fb85d8b466d22dc300Christian MaederPrelude.round |-> Prelude.round, method of RealFrac
e112e83352048f3db8c8f93ae104193e7338c10fChristian MaederPrelude.show |-> Prelude.show, method of Show
f38b3687c5558128515e34fb85d8b466d22dc300Christian MaederPrelude.showArgument |-> Prelude.showArgument, Value
f38b3687c5558128515e34fb85d8b466d22dc300Christian MaederPrelude.showChar |-> Prelude.showChar, Value
e642ad0e782f9bb9ba310164358220402eec8cd8Christian MaederPrelude.showList |-> Prelude.showList, method of Show
f38b3687c5558128515e34fb85d8b466d22dc300Christian MaederPrelude.showParen |-> Prelude.showParen, Value
f38b3687c5558128515e34fb85d8b466d22dc300Christian MaederPrelude.showParenArg |-> Prelude.showParenArg, Value
db3016fbc6065fc0d57e68c28ae280e6ac95a39aChristian MaederPrelude.showString |-> Prelude.showString, Value
ef67402074be14deb95e4ff564737d5593144130Klaus LuettichPrelude.shows |-> Prelude.shows, Value
e112e83352048f3db8c8f93ae104193e7338c10fChristian MaederPrelude.showsPrec |-> Prelude.showsPrec, method of Show
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederPrelude.signum |-> Prelude.signum, method of Num
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederPrelude.subtract |-> Prelude.subtract, Value
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederPrelude.succ |-> Prelude.succ, method of Enum
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederPrelude.tail |-> Prelude.tail, field of []
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederPrelude.toEnum |-> Prelude.toEnum, method of Enum
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederPrelude.toInteger |-> Prelude.toInteger, method of Integral
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederPrelude.toRational |-> Prelude.toRational, method of Real
ddbf07996361d7e88cf23858a8f85595fa493514Jonathan von SchroederPrelude.truncate |-> Prelude.truncate, method of RealFrac
aebb0b18fe5e6ba7dd7e4c66a16a905611ef7ba9Christian Maeder&& |-> Prelude.&&, Value
e05fd774e0181e93963d4302303b20698603a505Christian Maeder() |-> Prelude.(), Type [()] []
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maeder() |-> Prelude.(), con of ()
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder(,) |-> Prelude.(,), Type [(,)] []
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002Christian Maeder(,) |-> Prelude.(,), con of (,)
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002Christian Maeder(,,) |-> Prelude.(,,), Type [(,,)] []
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002Christian Maeder(,,) |-> Prelude.(,,), con of (,,)
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002Christian Maeder(,,,) |-> Prelude.(,,,), Type [(,,,)] []
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder(,,,) |-> Prelude.(,,,), con of (,,,)
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder* |-> Prelude.*, method of Num
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder+ |-> Prelude.+, method of Num
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder++ |-> Prelude.++, Value
aebb0b18fe5e6ba7dd7e4c66a16a905611ef7ba9Christian Maeder- |-> Prelude.-, method of Num
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maeder-> |-> Prelude.->, Type [] []
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder. |-> Prelude.., Value
e05fd774e0181e93963d4302303b20698603a505Christian Maeder/ |-> Prelude./, method of Fractional
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maeder/= |-> Prelude./=, method of Eq
1dfba1f850f6a43094962b459998d1ea11472461Christian Maeder: |-> Prelude.:, con of []
1dfba1f850f6a43094962b459998d1ea11472461Christian Maeder< |-> Prelude.<, method of Ord
1dfba1f850f6a43094962b459998d1ea11472461Christian Maeder<= |-> Prelude.<=, method of Ord
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder== |-> Prelude.==, method of Eq
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder> |-> Prelude.>, method of Ord
99afa6000472f3d291fdf9193ea19d334a58658dChristian Maeder>= |-> Prelude.>=, method of Ord
8e58704c1752afd6adbc58ad4c163144aeafa64bcmaederBool |-> Prelude.Bool, Type [False, True] []
99afa6000472f3d291fdf9193ea19d334a58658dChristian MaederBounded |-> Prelude.Bounded, Class [minBound,
5bb7eeaca10ea76595229375f907a5a388b7c882Christian Maeder maxBound]
5bb7eeaca10ea76595229375f907a5a388b7c882Christian MaederChar |-> Prelude.Char, Type [] []
5bb7eeaca10ea76595229375f907a5a388b7c882Christian MaederDouble |-> Prelude.Double, Type [] []
cd36bffee51c77cdadcb9f916b34fa512e311946Christian MaederEQ |-> Prelude.EQ, con of Ordering
1014251688a34ab6de17bf6f8b839a7a4b959586Christian MaederEnum |-> Prelude.Enum, Class [succ, pred, toEnum,
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maeder fromEnum, enumFrom, enumFromThen, enumFromTo,
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder enumFromThenTo]
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichEq |-> Prelude.Eq, Class [==, /=]
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichFalse |-> Prelude.False, con of Bool
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichFractional |-> Prelude.Fractional, Class [/, recip,
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettich fromRational]
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichGT |-> Prelude.GT, con of Ordering
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichInt |-> Prelude.Int, Type [] []
36f63902db2b3463faa9f59912ad106e2d5aaa24Klaus LuettichInteger |-> Prelude.Integer, Type [] []
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichIntegral |-> Prelude.Integral, Class [quot, rem, div,
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettich mod, quotRem, divMod, toInteger]
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichLT |-> Prelude.LT, con of Ordering
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichNum |-> Prelude.Num, Class [+, -, *, negate, abs,
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettich signum, fromInteger]
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederOrd |-> Prelude.Ord, Class [compare, <, <=, >=, >,
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder max, min]
810746aea00b81c1eec27dae84d73a43599ff056Christian MaederOrdering |-> Prelude.Ordering, Type [LT, EQ, GT] []
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian MaederRational |-> Prelude.Rational, Type [] []
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersReal |-> Prelude.Real, Class [toRational]
1365c420ef71be3d52796ebd369dc2defdedc822Christian MaederRealFrac |-> Prelude.RealFrac, Class [properFraction,
a80c28bb8b7a23ccdf7e08d0fe216fc19cc97273Klaus Luettich truncate, round, ceiling, floor]
82e29b77f0ef4cccd7ed734692c5e1e93dbbc645Christian MaederShow |-> Prelude.Show, Class [showsPrec, show,
a80c28bb8b7a23ccdf7e08d0fe216fc19cc97273Klaus Luettich showList]
5f0e3e4cb7dd31033c9682cafa712d2a66b2f3bcChristian MaederShowS |-> Prelude.ShowS, Type [] []
120145afbf940aff243cb3e847188383d6d622b6Christian MaederString |-> Prelude.String, Type [] []
5f0e3e4cb7dd31033c9682cafa712d2a66b2f3bcChristian MaederTrue |-> Prelude.True, con of Bool
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder[] |-> Prelude.[], Type [[], :] [head, tail]
b9625461755578f3eed04676d42a63fd2caebd0cChristian Maeder[] |-> Prelude.[], con of []
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maederabs |-> Prelude.abs, method of Num
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederceiling |-> Prelude.ceiling, method of RealFrac
d0652648f9879c67a194f8b03baafe2700c68eb4Christian Maedercompare |-> Prelude.compare, method of Ord
363939beade943a02b31004cea09dec34fa8a6d9Christian Maedercompose |-> Prelude.compose, Value
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdiv |-> Prelude.div, method of Integral
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian MaederdivMod |-> Prelude.divMod, method of Integral
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichdouble |-> Prelude.double, Value
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichenumFrom |-> Prelude.enumFrom, method of Enum
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian MaederenumFromThen |-> Prelude.enumFromThen, method of Enum
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian MaederenumFromThenTo |-> Prelude.enumFromThenTo, method of Enum
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian MaederenumFromTo |-> Prelude.enumFromTo, method of Enum
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian Maedererror |-> Prelude.error, Value
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian Maedereven |-> Prelude.even, Value
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichflip |-> Prelude.flip, Value
1365c420ef71be3d52796ebd369dc2defdedc822Christian Maederfloor |-> Prelude.floor, method of RealFrac
308834907a120fd8771e18292ed2ca9cd767c12dChristian MaederfromEnum |-> Prelude.fromEnum, method of Enum
308834907a120fd8771e18292ed2ca9cd767c12dChristian MaederfromInteger |-> Prelude.fromInteger, method of Num
1365c420ef71be3d52796ebd369dc2defdedc822Christian MaederfromIntegral |-> Prelude.fromIntegral, Value
83394c6b6e6de128e71b67c9251ed7a84485d082Christian MaederfromRational |-> Prelude.fromRational, method of Fractional
36f63902db2b3463faa9f59912ad106e2d5aaa24Klaus LuettichfunctionList |-> Prelude.functionList, Value
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhead |-> Prelude.head, field of []
e420b3848a0e15a9e074b08c413996cbeb5ab06dChristian Maederinc |-> Prelude.inc, Value
68d10d143f29fcff3c637ba24f90e983995ceae6Christian MaederlexOrder |-> Prelude.lexOrder, Value
42ce525125971c5e8ff32a38de5d7ea174d6508cChristian Maedermain |-> Prelude.main, Value
cc07a598b995acc9436651e66fd18009509047efChristian Maedermap |-> Prelude.map, Value
cc07a598b995acc9436651e66fd18009509047efChristian Maedermax |-> Prelude.max, method of Ord
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002Christian MaedermaxBound |-> Prelude.maxBound, method of Bounded
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002Christian Maedermin |-> Prelude.min, method of Ord
3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichminBound |-> Prelude.minBound, method of Bounded
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian Maedermod |-> Prelude.mod, method of Integral
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedernegate |-> Prelude.negate, method of Num
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedernot |-> Prelude.not, Value
2c619a4dfdc1df27573eba98e81ed1ace906941dChristian Maederodd |-> Prelude.odd, Value
5580ab3e64410186ccd36cde8a94282d8757ac0dChristian Maederotherwise |-> Prelude.otherwise, Value
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederpred |-> Prelude.pred, method of Enum
e284004f10a315dbdb624c8b2522f65d485eaa48Martin KühlprimError |-> Prelude.primError, Value
b446bf54c1dc78690aa12e86aadc49cdd8585847Christian MaederproperFraction |-> Prelude.properFraction, method of RealFrac
e284004f10a315dbdb624c8b2522f65d485eaa48Martin Kühlquot |-> Prelude.quot, method of Integral
e284004f10a315dbdb624c8b2522f65d485eaa48Martin KühlquotRem |-> Prelude.quotRem, method of Integral
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederrecip |-> Prelude.recip, method of Fractional
50515239e7e190f4a34ca581dd685d002148fbddChristian Maederrem |-> Prelude.rem, method of Integral
50515239e7e190f4a34ca581dd685d002148fbddChristian Maederround |-> Prelude.round, method of RealFrac
0b349288edfa50fdf38fda1a14e1562d03f92574Christian Maedershow |-> Prelude.show, method of Show
0b349288edfa50fdf38fda1a14e1562d03f92574Christian MaedershowArgument |-> Prelude.showArgument, Value
0b349288edfa50fdf38fda1a14e1562d03f92574Christian MaedershowChar |-> Prelude.showChar, Value
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedershowList |-> Prelude.showList, method of Show
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedershowParen |-> Prelude.showParen, Value
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedershowParenArg |-> Prelude.showParenArg, Value
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedershowString |-> Prelude.showString, Value
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedershows |-> Prelude.shows, Value
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedershowsPrec |-> Prelude.showsPrec, method of Show
8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till Mossakowskisignum |-> Prelude.signum, method of Num
8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till Mossakowskisubtract |-> Prelude.subtract, Value
8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till Mossakowskisucc |-> Prelude.succ, method of Enum
bcaf979d9babe6346aa343687aa7d596e2894cccPaolo Torrinitail |-> Prelude.tail, field of []
df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian MaedertoEnum |-> Prelude.toEnum, method of Enum
bcaf979d9babe6346aa343687aa7d596e2894cccPaolo TorrinitoInteger |-> Prelude.toInteger, method of Integral
5ce19352a9cc47d982819cc889a71cd0a61ac171Christian MaedertoRational |-> Prelude.toRational, method of Real
5ce19352a9cc47d982819cc889a71cd0a61ac171Christian Maedertruncate |-> Prelude.truncate, method of RealFrac
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian Maeder-}
bcaf979d9babe6346aa343687aa7d596e2894cccPaolo Torrinimodule Dummy where
23ab8855c58adfbd03a0730584b917b24c603901Christian Maederimport Prelude (error, Show, Eq, Ord)
df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian Maederimport MyLogic
23ab8855c58adfbd03a0730584b917b24c603901Christian Maederotherwise = True
e50e41135ece589f7202bd4ef8d6b97531c2a56eKlaus LuettichlexOrder EQ o = o
47b0e9f3cb008cb7997f4e3bae26e4d62dcc887aChristian MaederlexOrder o _ = o
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedershowArgument d195 x
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder = (.){-String String String-} (showChar ' ')
431d34c7007a787331c4e5ec997badb0f8190fc7Christian Maeder (showsPrec{-t190-} d195
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder (fromInteger{-Int-} inst__Prelude_Num_Int 10)
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder x)
99afa6000472f3d291fdf9193ea19d334a58658dChristian Maederdata Integer
39bc7bbfc84f8b49f8434d299ec3a602c0437581Christian Maederdata Rational
88318aafc287e92931dceffbb943d58a9310001dChristian Maederdata Double
24ddb6d7cde9dd6ab04b8631b1b0104e0861ec5fChristian Maederdata Char
39bc7bbfc84f8b49f8434d299ec3a602c0437581Christian Maederdata Int
88318aafc287e92931dceffbb943d58a9310001dChristian Maederdata a -> b
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdata Bool = False | True deriving (Show, Eq, Ord)
39bc7bbfc84f8b49f8434d299ec3a602c0437581Christian Maedernot :: Bool -> Bool
39bc7bbfc84f8b49f8434d299ec3a602c0437581Christian Maedernot True = False
a6091cb14d14a9273e8eacdfe33be1247b26c689Christian Maedernot False = True
39bc7bbfc84f8b49f8434d299ec3a602c0437581Christian Maeder(&&) :: Bool -> Bool -> Bool
50c3cc2b79207355522c5b096172b3c6b7bec300Christian Maeder(&&) a b = if a then True else b
e62d49c0dc2893da75faad896bd135e2e9a7087bKlaus Luettichdata Ordering = LT | EQ | GT deriving (Show, Eq, Ord)
9096f6c6aaded6cd8288656ceccd4c7b3bd0747eChristian Maederclass Eq a where (==),(/=) :: a -> a -> Bool
9096f6c6aaded6cd8288656ceccd4c7b3bd0747eChristian Maeder($--/=) d207 x y = not ((==){-a-} d207 x y)
e112e83352048f3db8c8f93ae104193e7338c10fChristian Maeder($--==) d213 x y = not ((/=){-a-} d213 x y)
e112e83352048f3db8c8f93ae104193e7338c10fChristian Maederdata [a]
e62d49c0dc2893da75faad896bd135e2e9a7087bKlaus Luettich = [] | (:) {head :: a, tail :: [a]}
e62d49c0dc2893da75faad896bd135e2e9a7087bKlaus Luettich deriving (Show, Eq, Ord)
e62d49c0dc2893da75faad896bd135e2e9a7087bKlaus Luettich(++) :: [a] -> [a] -> [a]
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder(++) [] ys = ys
e112e83352048f3db8c8f93ae104193e7338c10fChristian Maeder(++) ((:){-a-} x xs) ys
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder = (:){-a-} x ((++){-a-} xs ys)
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedermap :: (a -> b) -> [a] -> [b]
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maedermap f [] = []
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermap f ((:){-a-} x xs)
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder = (:){-b-} (f x) (map{-a b-} f xs)
f5c9b1e739228c2a2edf055ac419583412569683Christian Maedertype String = String
363939beade943a02b31004cea09dec34fa8a6d9Christian Maederforeign import primError :: String -> a
c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian Maedererror :: String -> a
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maedererror = primError{-a-}
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder(.) :: (b -> c) -> (a -> b) -> a -> c
88318aafc287e92931dceffbb943d58a9310001dChristian Maeder(.) f g = \ x -> f (g x)
7767474aba4fa2dc51a6c68017d3bcef3b773001Christian Maedertype ShowS = String -> String
88318aafc287e92931dceffbb943d58a9310001dChristian Maederclass Eq a => Ord a
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder where
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder compare :: a -> a -> Ordering
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder (<),(<=),(>=),(>) :: a -> a -> Bool
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus Luettich max,min :: a -> a -> a
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdefault__compare d253 x y
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder | (==){-a-} d250 x y = EQ
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus Luettich | (<=){-a-} d253 x y = LT
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder | otherwise = GT
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder where
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder d250 = super1_Ord{-a-} d253
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder {-
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder d250 :: Eq a
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder -}
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder($--<=) d261 x y
1a6464613c59e35072b90ca296ae402cbe956144Christian Maeder = (/=){-Ordering-} derived__Prelude_Eq_Ordering
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder (compare{-a-} d261 x y)
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder GT
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder($--<) d269 x y
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder = (==){-Ordering-} derived__Prelude_Eq_Ordering
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder (compare{-a-} d269 x y)
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder LT
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder($-->=) d277 x y
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder = (/=){-Ordering-} derived__Prelude_Eq_Ordering
f78ce817f35574674d54e30ad1861a9b4ced20caChristian Maeder (compare{-a-} d277 x y)
f78ce817f35574674d54e30ad1861a9b4ced20caChristian Maeder LT
f78ce817f35574674d54e30ad1861a9b4ced20caChristian Maeder($-->) d285 x y
f78ce817f35574674d54e30ad1861a9b4ced20caChristian Maeder = (==){-Ordering-} derived__Prelude_Eq_Ordering
fd2c22348e5a69231f92fb44e35a9970b47c4e93Christian Maeder (compare{-a-} d285 x y)
f78ce817f35574674d54e30ad1861a9b4ced20caChristian Maeder GT
f78ce817f35574674d54e30ad1861a9b4ced20caChristian Maederdefault__max d291 x y
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder | (<=){-a-} d291 x y = y
89c9d707aa817684b88036a2dad66c3437840677Heng Jiang | otherwise = x
f78ce817f35574674d54e30ad1861a9b4ced20caChristian Maederdefault__min d297 x y
f78ce817f35574674d54e30ad1861a9b4ced20caChristian Maeder | (<=){-a-} d297 x y = x
f78ce817f35574674d54e30ad1861a9b4ced20caChristian Maeder | otherwise = y
f041c9a6bda23de33a38490e35b831ae18d96b45Christian Maedershows :: Show a => a -> ShowS
f041c9a6bda23de33a38490e35b831ae18d96b45Christian Maedershows d306
f041c9a6bda23de33a38490e35b831ae18d96b45Christian Maeder = showsPrec{-a-} d306
bea81dabd203833818cb4a5f3758977c695728cdHeng Jiang (fromInteger{-Int-} inst__Prelude_Num_Int 0)
bf7b17b0e19362e9228672782218678cab275d1eDominik LueckeshowChar :: Char -> ShowS
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaedershowChar = (:){-Char-}
49d647f58ec5bf482da541eec62f531848c49036Christian MaedershowString :: String -> ShowS
7834a982096d93301a4626f444dd9ea5f9fe17eaChristian MaedershowString = (++){-Char-}
6f21da274060a2aa02923c5beca3485456a4b9a0Christian MaedershowParen :: Bool -> ShowS -> ShowS
409fdf3eb3a0824ab032c4bc1f00f5838fd54d4cChristian MaedershowParen b p
409fdf3eb3a0824ab032c4bc1f00f5838fd54d4cChristian Maeder = if b
5c0b769e33f643e5f0b06328ba0eb03e5bd6e18eChristian Maeder then (.){-String String String-}
f9442174f64331ccf0bf08178632af7302ccfc96Christian Maeder ((.){-String String String-} (showChar '(') p)
f9442174f64331ccf0bf08178632af7302ccfc96Christian Maeder (showChar ')')
c802a1041ed9251f8ad79139454267e802900e2aChristian Maeder else p
53bbc1c9a4e986d1ee9c081d6f0ac7b9546f212bDominik LueckeshowParenArg :: Int -> ShowS -> ShowS
bf7b17b0e19362e9228672782218678cab275d1eDominik LueckeshowParenArg d
bf7b17b0e19362e9228672782218678cab275d1eDominik Luecke = showParen
bf7b17b0e19362e9228672782218678cab275d1eDominik Luecke ((<=){-Int-} inst__Prelude_Ord_Int
bf7b17b0e19362e9228672782218678cab275d1eDominik Luecke (fromInteger{-Int-} inst__Prelude_Num_Int 10)
bf7b17b0e19362e9228672782218678cab275d1eDominik Luecke d)
bf7b17b0e19362e9228672782218678cab275d1eDominik Lueckeclass Show a
bf7b17b0e19362e9228672782218678cab275d1eDominik Luecke where
75b0c0c2cbfb7edd3f4c0555227aabbe6c1aa195Christian Maeder showsPrec :: Int -> a -> ShowS
bf7b17b0e19362e9228672782218678cab275d1eDominik Luecke show :: a -> String
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu showList :: [a] -> ShowS
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiudefault__showsPrec d333 _ x s
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = (++){-Char-} (show{-a-} d333 x) s
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiudefault__show d341 x
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = showsPrec{-a-} d341
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu (fromInteger{-Int-} inst__Prelude_Num_Int 0)
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu x
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu ""
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiudefault__showList d371 [] = showString "[]"
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiudefault__showList d371 ((:){-a-} x xs)
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = (.){-String String String-}
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu ((.){-String String String-} (showChar '[')
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu (shows{-a-} d371 x))
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu (showl{-a-} d371 xs)
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu where
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu showl d359 [] = showChar ']'
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu showl d359 ((:){-t348-} x xs)
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = (.){-String String String-}
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu ((.){-String String String-} (showChar ',')
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu (shows{-t348-} d359 x))
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu (showl{-t348-} d359 xs)
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu {-
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu showl ::
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu forall a . (Show a) => [a] -> String -> String
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu -}
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiuclass (Eq a, Show a) => Num a
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu where
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu (+),(-),(*) :: a -> a -> a
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu negate :: a -> a
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu abs,signum :: a -> a
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu fromInteger :: Integer -> a
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu($--+) d380
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = error{-(a -> a -> a)-} "No default for method +"
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu($---) d383
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = error{-(a -> a -> a)-} "No default for method -"
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu($--*) d386
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = error{-(a -> a -> a)-} "No default for method *"
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiudefault__negate d389
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = error{-(a -> a)-} "No default for method negate"
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiudefault__abs d392
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = error{-(a -> a)-} "No default for method abs"
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiudefault__signum d395
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = error{-(a -> a)-} "No default for method signum"
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiudefault__fromInteger d398
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = error{-(Integer -> a)-}
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu "No default for method fromInteger"
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiuclass Num a => Fractional a
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu where
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu (/) :: a -> a -> a
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu recip :: a -> a
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu fromRational :: Rational -> a
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu($--/) d403
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = error{-(a -> a -> a)-} "No default for method /"
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiudefault__recip d406
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = error{-(a -> a)-} "No default for method recip"
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiudefault__fromRational d409
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = error{-(Rational -> a)-}
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu "No default for method fromRational"
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiuinstance Num Int
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu where
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu super1_Num = super{-(Eq Int)-} inst__Prelude_Eq_Int
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu super2_Num
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu = super{-(Show Int)-} inst__Prelude_Show_Int
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0Francisc Nicolae Bungiu (+) = ($--+){-Int-} inst__Prelude_Num_Int
b446bf54c1dc78690aa12e86aadc49cdd8585847Christian Maeder (-) = ($---){-Int-} inst__Prelude_Num_Int
3b5814dc6ac813faf8a12ecddf4b727ca7b666a8Francisc Nicolae Bungiu (*) = ($--*){-Int-} inst__Prelude_Num_Int
3b5814dc6ac813faf8a12ecddf4b727ca7b666a8Francisc Nicolae Bungiu negate = default__negate{-Int-} inst__Prelude_Num_Int
e7cf29d9f71f4724aed05916d93a0b656d7104e6Francisc Nicolae Bungiu abs = default__abs{-Int-} inst__Prelude_Num_Int
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegari signum = default__signum{-Int-} inst__Prelude_Num_Int
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegari fromInteger
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegari = default__fromInteger{-Int-} inst__Prelude_Num_Int
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegari {-
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegari super1_Num :: Eq Int
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegari super2_Num :: Show Int
9f226cec9f978edaba67aee4c4e04e3d3b994b87Daniel Calegari (+) :: Int -> Int -> Int
(-) :: Int -> Int -> Int
(*) :: Int -> Int -> Int
negate :: Int -> Int
abs :: Int -> Int
signum :: Int -> Int
fromInteger :: Integer -> Int
-}
instance Num Integer
where
super1_Num
= super{-(Eq Integer)-} inst__Prelude_Eq_Integer
super2_Num
= super{-(Show Integer)-} inst__Prelude_Show_Integer
(+) = ($--+){-Integer-} inst__Prelude_Num_Integer
(-) = ($---){-Integer-} inst__Prelude_Num_Integer
(*) = ($--*){-Integer-} inst__Prelude_Num_Integer
negate
= default__negate{-Integer-}
inst__Prelude_Num_Integer
abs = default__abs{-Integer-}
inst__Prelude_Num_Integer
signum
= default__signum{-Integer-}
inst__Prelude_Num_Integer
fromInteger
= default__fromInteger{-Integer-}
inst__Prelude_Num_Integer
{-
super1_Num :: Eq Integer
super2_Num :: Show Integer
(+) :: Integer -> Integer -> Integer
(-) :: Integer -> Integer -> Integer
(*) :: Integer -> Integer -> Integer
negate :: Integer -> Integer
abs :: Integer -> Integer
signum :: Integer -> Integer
fromInteger :: Integer -> Integer
-}
instance Num Rational
where
super1_Num
= super{-(Eq Rational)-} inst__Prelude_Eq_Rational
super2_Num
= super{-(Show Rational)-}
inst__Prelude_Show_Rational
(+) = ($--+){-Rational-} inst__Prelude_Num_Rational
(-) = ($---){-Rational-} inst__Prelude_Num_Rational
(*) = ($--*){-Rational-} inst__Prelude_Num_Rational
negate
= default__negate{-Rational-}
inst__Prelude_Num_Rational
abs = default__abs{-Rational-}
inst__Prelude_Num_Rational
signum
= default__signum{-Rational-}
inst__Prelude_Num_Rational
fromInteger
= default__fromInteger{-Rational-}
inst__Prelude_Num_Rational
{-
super1_Num :: Eq Rational
super2_Num :: Show Rational
(+) :: Rational -> Rational -> Rational
(-) :: Rational -> Rational -> Rational
(*) :: Rational -> Rational -> Rational
negate :: Rational -> Rational
abs :: Rational -> Rational
signum :: Rational -> Rational
fromInteger :: Integer -> Rational
-}
instance Num Double
where
super1_Num
= super{-(Eq Double)-} inst__Prelude_Eq_Double
super2_Num
= super{-(Show Double)-} inst__Prelude_Show_Double
(+) = ($--+){-Double-} inst__Prelude_Num_Double
(-) = ($---){-Double-} inst__Prelude_Num_Double
(*) = ($--*){-Double-} inst__Prelude_Num_Double
negate
= default__negate{-Double-} inst__Prelude_Num_Double
abs = default__abs{-Double-} inst__Prelude_Num_Double
signum
= default__signum{-Double-} inst__Prelude_Num_Double
fromInteger
= default__fromInteger{-Double-}
inst__Prelude_Num_Double
{-
super1_Num :: Eq Double
super2_Num :: Show Double
(+) :: Double -> Double -> Double
(-) :: Double -> Double -> Double
(*) :: Double -> Double -> Double
negate :: Double -> Double
abs :: Double -> Double
signum :: Double -> Double
fromInteger :: Integer -> Double
-}
instance Eq Int
where
(==) = ($--==){-Int-} inst__Prelude_Eq_Int
(/=) = ($--/=){-Int-} inst__Prelude_Eq_Int
{-
(==) :: Int -> Int -> Bool
(/=) :: Int -> Int -> Bool
-}
instance Ord Int
where
super1_Ord = super{-(Eq Int)-} inst__Prelude_Eq_Int
compare
= default__compare{-Int-} inst__Prelude_Ord_Int
(<) = ($--<){-Int-} inst__Prelude_Ord_Int
(<=) = ($--<=){-Int-} inst__Prelude_Ord_Int
(>=) = ($-->=){-Int-} inst__Prelude_Ord_Int
(>) = ($-->){-Int-} inst__Prelude_Ord_Int
max = default__max{-Int-} inst__Prelude_Ord_Int
min = default__min{-Int-} inst__Prelude_Ord_Int
{-
super1_Ord :: Eq Int
compare :: Int -> Int -> Ordering
(<) :: Int -> Int -> Bool
(<=) :: Int -> Int -> Bool
(>=) :: Int -> Int -> Bool
(>) :: Int -> Int -> Bool
max :: Int -> Int -> Int
min :: Int -> Int -> Int
-}
instance Enum Int
where
succ = default__succ{-Int-} inst__Prelude_Enum_Int
pred = default__pred{-Int-} inst__Prelude_Enum_Int
toEnum
= default__toEnum{-Int-} inst__Prelude_Enum_Int
fromEnum
= default__fromEnum{-Int-} inst__Prelude_Enum_Int
enumFrom
= default__enumFrom{-Int-} inst__Prelude_Enum_Int
enumFromThen
= default__enumFromThen{-Int-} inst__Prelude_Enum_Int
enumFromTo
= default__enumFromTo{-Int-} inst__Prelude_Enum_Int
enumFromThenTo
= default__enumFromThenTo{-Int-}
inst__Prelude_Enum_Int
{-
succ :: Int -> Int
pred :: Int -> Int
toEnum :: Int -> Int
fromEnum :: Int -> Int
enumFrom :: Int -> [Int]
enumFromThen :: Int -> Int -> [Int]
enumFromTo :: Int -> Int -> [Int]
enumFromThenTo :: Int -> Int -> Int -> [Int]
-}
instance Eq Char
where
(==) = ($--==){-Char-} inst__Prelude_Eq_Char
(/=) = ($--/=){-Char-} inst__Prelude_Eq_Char
{-
(==) :: Char -> Char -> Bool
(/=) :: Char -> Char -> Bool
-}
instance Eq Integer
where
(==) = ($--==){-Integer-} inst__Prelude_Eq_Integer
(/=) = ($--/=){-Integer-} inst__Prelude_Eq_Integer
{-
(==) :: Integer -> Integer -> Bool
(/=) :: Integer -> Integer -> Bool
-}
instance Eq Rational
where
(==) = ($--==){-Rational-} inst__Prelude_Eq_Rational
(/=) = ($--/=){-Rational-} inst__Prelude_Eq_Rational
{-
(==) :: Rational -> Rational -> Bool
(/=) :: Rational -> Rational -> Bool
-}
instance Eq Double
where
(==) = ($--==){-Double-} inst__Prelude_Eq_Double
(/=) = ($--/=){-Double-} inst__Prelude_Eq_Double
{-
(==) :: Double -> Double -> Bool
(/=) :: Double -> Double -> Bool
-}
instance Ord Char
where
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 d769 = flip{-a a a-} ((-){-a-} d769)
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 d794
= (.){-Int a a-}
((.){-Int a Int-} (toEnum{-a-} d794)
(flip{-Int Int Int-}
((+){-Int-} inst__Prelude_Num_Int)
(fromInteger{-Int-} inst__Prelude_Num_Int 1)))
(fromEnum{-a-} d794)
default__pred d810
= (.){-Int a a-}
((.){-Int a Int-} (toEnum{-a-} d810)
(subtract{-Int-} inst__Prelude_Num_Int
(fromInteger{-Int-} inst__Prelude_Num_Int 1)))
(fromEnum{-a-} d810)
default__enumFrom d821 x
= map{-Int a-} (toEnum{-a-} d821)
(enumFrom{-Int-} inst__Prelude_Enum_Int
(fromEnum{-a-} d821 x))
default__enumFromTo d835 x y
= map{-Int a-} (toEnum{-a-} d835)
(enumFromTo{-Int-} inst__Prelude_Enum_Int
(fromEnum{-a-} d835 x)
(fromEnum{-a-} d835 y))
default__enumFromThen d849 x y
= map{-Int a-} (toEnum{-a-} d849)
(enumFromThen{-Int-} inst__Prelude_Enum_Int
(fromEnum{-a-} d849 x)
(fromEnum{-a-} d849 y))
default__enumFromThenTo d866 x y z
= map{-Int a-} (toEnum{-a-} d866)
(enumFromThenTo{-Int-} inst__Prelude_Enum_Int
(fromEnum{-a-} d866 x)
(fromEnum{-a-} d866 y)
(fromEnum{-a-} d866 z))
default__toEnum d869
= error{-(Int -> a)-} "No default for method toEnum"
default__fromEnum d872
= error{-(a -> Int)-}
"No default for method fromEnum"
class Bounded a
where
minBound :: a
maxBound :: a
default__minBound d882
= error{-a-} "No default for method minBound"
default__maxBound d885
= 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 d889
= 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 d894
= error{-(a -> a -> a)-} "No default for method quot"
default__rem d897
= error{-(a -> a -> a)-} "No default for method rem"
default__div d900
= error{-(a -> a -> a)-} "No default for method div"
default__mod d903
= error{-(a -> a -> a)-} "No default for method mod"
default__quotRem d906
= error{-(a -> a -> (a, a))-}
"No default for method quotRem"
default__divMod d909
= error{-(a -> a -> (a, a))-}
"No default for method divMod"
default__toInteger d912
= error{-(a -> Integer)-}
"No default for method toInteger"
fromIntegral :: (Integral a, Num b) => a -> b
fromIntegral d926 d927
= (.){-Integer b a-} (fromInteger{-b-} d927)
(toInteger{-a-} d926)
even,odd :: Integral a => a -> Bool
even d938 n
= (==){-a-} d931
(rem{-a-} d938 n (fromInteger{-a-} d935 2))
(fromInteger{-a-} d935 0)
where
d935 = super1_Real{-a-} (super1_Integral{-a-} d938)
d931
= super1_Num{-a-}
(super1_Real{-a-} (super1_Integral{-a-} d938))
{-
d935 :: Num a
d931 :: Eq a
-}
odd d943 n = not (even{-a-} d943 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 d952 d953 x
= m
where
(m, _) = properFraction{-a b-} d952 d953 x
{-
m :: b
-}
default__round d993 d994 x
= let (n, r) = properFraction{-a b-} d993 d994 x
m = if (<){-a-} d964 r (fromInteger{-a-} d966 0)
then (-){-b-} d968 n (fromInteger{-b-} d968 1)
else (+){-b-} d968 n (fromInteger{-b-} d968 1)
{-
r :: a
n :: b
m :: b
-}
in case signum{-a-} d966
((-){-a-} d966 (abs{-a-} d966 r)
(fromRational{-a-} d982 1 % 2)) of
negate{-a-} d984 (fromInteger{-a-} d986 1) -> n
fromInteger{-a-} d988 0
-> if even{-b-} d994 n then n else m
fromInteger{-a-} d992 1 -> m
where
d982 = super2_RealFrac{-a-} d993
d968 = super1_Real{-b-} (super1_Integral{-b-} d994)
d966 = super1_Real{-a-} (super1_RealFrac{-a-} d993)
d964 = super2_Real{-a-} (super1_RealFrac{-a-} d993)
{-
d982 :: Fractional a
d968 :: Num b
d966 :: Num a
d964 :: Ord a
-}
default__ceiling d1011 d1012 x
= if (>){-a-} d1004 r (fromInteger{-a-} d1006 0)
then (+){-b-} d1008 n (fromInteger{-b-} d1008 1)
else n
where
d1008 = super1_Real{-b-} (super1_Integral{-b-} d1012)
d1006 = super1_Real{-a-} (super1_RealFrac{-a-} d1011)
d1004 = super2_Real{-a-} (super1_RealFrac{-a-} d1011)
(n, r) = properFraction{-a b-} d1011 d1012 x
{-
d1008 :: Num b
d1006 :: Num a
d1004 :: Ord a
r :: a
n :: b
-}
default__floor d1029 d1030 x
= if (<){-a-} d1022 r (fromInteger{-a-} d1024 0)
then (-){-b-} d1026 n (fromInteger{-b-} d1026 1)
else n
where
d1026 = super1_Real{-b-} (super1_Integral{-b-} d1030)
d1024 = super1_Real{-a-} (super1_RealFrac{-a-} d1029)
d1022 = super2_Real{-a-} (super1_RealFrac{-a-} d1029)
(n, r) = properFraction{-a b-} d1029 d1030 x
{-
d1026 :: Num b
d1024 :: Num a
d1022 :: Ord a
r :: a
n :: b
-}
default__properFraction d1033 d1034
= error{-(a -> (b, a))-}
"No default for method properFraction"
main :: Int
main
= (compose{-[Int -> Int] (Int -> Int)
[Int -> Int]-}
head{-(Int -> Int)-}
tail{-(Int -> Int)-}
functionList)
(fromInteger{-Int-} inst__Prelude_Num_Int 4)
inc :: Int -> Int
inc = \ x ->
(+){-Int-} inst__Prelude_Num_Int x
(fromInteger{-Int-} inst__Prelude_Num_Int 1)
double :: Int -> Int
double
= \ y ->
(*){-Int-} inst__Prelude_Num_Int y
(fromInteger{-Int-} inst__Prelude_Num_Int 2)
functionList :: [Int -> Int]
functionList
= [inc, compose{-Int Int Int-} inc double, double]
compose :: (b -> c) -> (a -> b) -> a -> c
compose = \ m -> \ n -> \ o -> m (n o)
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 t1091 :: Int
t1091 = fromInteger{-Int-} inst__Prelude_Num_Int 0
{- t1091 :: Int -}
in t1091
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 t1142 :: Int
t1142 = fromInteger{-Int-} inst__Prelude_Num_Int 0
{- t1142 :: Int -}
in t1142
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
(==) d1198 []{-a-} []{-a-} = True
(==) d1198 ((:){-a-} x1 x2) ((:){-a-} y1 y2)
= (&&) ((==){-a-} d1198 x1 y1)
((==){-[a]-} d1194 x2 y2)
where
d1194 = derived__Prelude_Eq_34_65{-a-} d1198
{-
d1194 :: Eq [a]
-}
(==) d1198 _ _ = False
(/=) d1202
= ($--/=){-[a]-} d1201
where
d1201 = derived__Prelude_Eq_34_65{-a-} d1202
{-
d1201 :: Eq [a]
-}
{-
(==) :: forall a . (Eq a) => [a] -> [a] -> Bool
(/=) :: forall a . (Eq a) => [a] -> [a] -> Bool
-}
instance Ord a => Ord [a]
where
super1_Ord d1207
= super{-(Eq [a])-} d1206
where
d1208 = super1_Ord{-a-} d1207
d1206 = derived__Prelude_Eq_34_65{-a-} d1208
{-
d1208 :: Eq a
d1206 :: Eq [a]
-}
compare d1241 ((:){-a-} x1 x2) ((:){-a-} y1 y2)
= lexOrder (compare{-a-} d1241 x1 y1)
(compare{-[a]-} d1219 x2 y2)
where
d1219 = derived__Prelude_Ord_34_69{-a-} d1241
{-
d1219 :: Ord [a]
-}
compare d1241 x y
= let cno []{-t1232-}
= let t1225 :: Int
t1225 = fromInteger{-Int-} inst__Prelude_Num_Int 0
{- t1225 :: Int -}
in t1225
cno ((:){-t1232-} _ _)
= 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)
(<) d1245
= ($--<){-[a]-} d1244
where
d1244 = derived__Prelude_Ord_34_69{-a-} d1245
{-
d1244 :: Ord [a]
-}
(<=) d1250
= ($--<=){-[a]-} d1249
where
d1249 = derived__Prelude_Ord_34_69{-a-} d1250
{-
d1249 :: Ord [a]
-}
(>=) d1255
= ($-->=){-[a]-} d1254
where
d1254 = derived__Prelude_Ord_34_69{-a-} d1255
{-
d1254 :: Ord [a]
-}
(>) d1260
= ($-->){-[a]-} d1259
where
d1259 = derived__Prelude_Ord_34_69{-a-} d1260
{-
d1259 :: Ord [a]
-}
max d1265
= default__max{-[a]-} d1264
where
d1264 = derived__Prelude_Ord_34_69{-a-} d1265
{-
d1264 :: Ord [a]
-}
min d1270
= default__min{-[a]-} d1269
where
d1269 = derived__Prelude_Ord_34_69{-a-} d1270
{-
d1269 :: 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 d1290 d []{-a-} = showString "[]"
showsPrec d1290 d ((:){-a-} x1 x2)
= showParenArg d
((.){-String String String-} (showString ":")
((.){-String String String-}
(showArgument{-a-} d1290 x1)
(showArgument{-[a]-} d1288 x2)))
where
d1288 = derived__Prelude_Show_34_59{-a-} d1290
{-
d1288 :: Show [a]
-}
show d1294
= default__show{-[a]-} d1293
where
d1293 = derived__Prelude_Show_34_59{-a-} d1294
{-
d1293 :: Show [a]
-}
showList d1299
= default__showList{-[a]-} d1298
where
d1298 = derived__Prelude_Show_34_59{-a-} d1299
{-
d1298 :: 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 t1313 :: Int
t1313 = fromInteger{-Int-} inst__Prelude_Num_Int 0
{- t1313 :: Int -}
in t1313
{- 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
(==) d1360 d1361 ((,){-a b-} x1 x2)
((,){-a b-} y1 y2)
= (&&) ((==){-a-} d1360 x1 y1)
((==){-b-} d1361 x2 y2)
(/=) d1365 d1366
= ($--/=){-(a, b)-} d1364
where
d1364 = derived__Prelude_Eq_188_20{-a b-} d1365 d1366
{-
d1364 :: 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 d1372 d1373
= super{-(Eq (a, b))-} d1371
where
d1374 = super1_Ord{-a-} d1372
d1375 = super1_Ord{-b-} d1373
d1371 = derived__Prelude_Eq_188_20{-a b-} d1374 d1375
{-
d1374 :: Eq a
d1375 :: Eq b
d1371 :: Eq (a, b)
-}
compare d1389 d1390 ((,){-a b-} x1 x2)
((,){-a b-} y1 y2)
= lexOrder (compare{-a-} d1389 x1 y1)
(compare{-b-} d1390 x2 y2)
(<) d1394 d1395
= ($--<){-(a, b)-} d1393
where
d1393
= derived__Prelude_Ord_188_24{-a b-} d1394 d1395
{-
d1393 :: Ord (a, b)
-}
(<=) d1401 d1402
= ($--<=){-(a, b)-} d1400
where
d1400
= derived__Prelude_Ord_188_24{-a b-} d1401 d1402
{-
d1400 :: Ord (a, b)
-}
(>=) d1408 d1409
= ($-->=){-(a, b)-} d1407
where
d1407
= derived__Prelude_Ord_188_24{-a b-} d1408 d1409
{-
d1407 :: Ord (a, b)
-}
(>) d1415 d1416
= ($-->){-(a, b)-} d1414
where
d1414
= derived__Prelude_Ord_188_24{-a b-} d1415 d1416
{-
d1414 :: Ord (a, b)
-}
max d1422 d1423
= default__max{-(a, b)-} d1421
where
d1421
= derived__Prelude_Ord_188_24{-a b-} d1422 d1423
{-
d1421 :: Ord (a, b)
-}
min d1429 d1430
= default__min{-(a, b)-} d1428
where
d1428
= derived__Prelude_Ord_188_24{-a b-} d1429 d1430
{-
d1428 :: 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 d1449 d1450 d ((,){-a b-} x1 x2)
= showParenArg d
((.){-String String String-} (showString "(,)")
((.){-String String String-}
(showArgument{-a-} d1449 x1)
(showArgument{-b-} d1450 x2)))
show d1454 d1455
= default__show{-(a, b)-} d1453
where
d1453
= derived__Prelude_Show_188_14{-a b-} d1454 d1455
{-
d1453 :: Show (a, b)
-}
showList d1461 d1462
= default__showList{-(a, b)-} d1460
where
d1460
= derived__Prelude_Show_188_14{-a b-} d1461 d1462
{-
d1460 :: 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
(==) d1484 d1485 d1486 ((,,){-a b c-} x1 x2 x3)
((,,){-a b c-} y1 y2 y3)
= (&&) ((==){-a-} d1484 x1 y1)
((&&) ((==){-b-} d1485 x2 y2)
((==){-c-} d1486 x3 y3))
(/=) d1490 d1491 d1492
= ($--/=){-(a, b, c)-} d1489
where
d1489
= derived__Prelude_Eq_192_20{-a b c-} d1490 d1491
d1492
{-
d1489 :: 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 d1499 d1500 d1501
= super{-(Eq (a, b, c))-} d1498
where
d1502 = super1_Ord{-a-} d1499
d1503 = super1_Ord{-b-} d1500
d1504 = super1_Ord{-c-} d1501
d1498
= derived__Prelude_Eq_192_20{-a b c-} d1502 d1503
d1504
{-
d1502 :: Eq a
d1503 :: Eq b
d1504 :: Eq c
d1498 :: Eq (a, b, c)
-}
compare d1524 d1525 d1526 ((,,){-a b c-} x1 x2 x3)
((,,){-a b c-} y1 y2 y3)
= lexOrder (compare{-a-} d1524 x1 y1)
(lexOrder (compare{-b-} d1525 x2 y2)
(compare{-c-} d1526 x3 y3))
(<) d1530 d1531 d1532
= ($--<){-(a, b, c)-} d1529
where
d1529
= derived__Prelude_Ord_192_24{-a b c-} d1530 d1531
d1532
{-
d1529 :: Ord (a, b, c)
-}
(<=) d1539 d1540 d1541
= ($--<=){-(a, b, c)-} d1538
where
d1538
= derived__Prelude_Ord_192_24{-a b c-} d1539 d1540
d1541
{-
d1538 :: Ord (a, b, c)
-}
(>=) d1548 d1549 d1550
= ($-->=){-(a, b, c)-} d1547
where
d1547
= derived__Prelude_Ord_192_24{-a b c-} d1548 d1549
d1550
{-
d1547 :: Ord (a, b, c)
-}
(>) d1557 d1558 d1559
= ($-->){-(a, b, c)-} d1556
where
d1556
= derived__Prelude_Ord_192_24{-a b c-} d1557 d1558
d1559
{-
d1556 :: Ord (a, b, c)
-}
max d1566 d1567 d1568
= default__max{-(a, b, c)-} d1565
where
d1565
= derived__Prelude_Ord_192_24{-a b c-} d1566 d1567
d1568
{-
d1565 :: Ord (a, b, c)
-}
min d1575 d1576 d1577
= default__min{-(a, b, c)-} d1574
where
d1574
= derived__Prelude_Ord_192_24{-a b c-} d1575 d1576
d1577
{-
d1574 :: 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 d1604 d1605 d1606 d
((,,){-a b c-} x1 x2 x3)
= showParenArg d
((.){-String String String-} (showString "(,,)")
((.){-String String String-}
(showArgument{-a-} d1604 x1)
((.){-String String String-}
(showArgument{-b-} d1605 x2)
(showArgument{-c-} d1606 x3))))
show d1610 d1611 d1612
= default__show{-(a, b, c)-} d1609
where
d1609
= derived__Prelude_Show_192_14{-a b c-} d1610 d1611
d1612
{-
d1609 :: Show (a, b, c)
-}
showList d1619 d1620 d1621
= default__showList{-(a, b, c)-} d1618
where
d1618
= derived__Prelude_Show_192_14{-a b c-} d1619 d1620
d1621
{-
d1618 :: 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
(==) d1650 d1651 d1652 d1653
((,,,){-a b c d-} x1 x2 x3 x4)
((,,,){-a b c d-} y1 y2 y3 y4)
= (&&) ((==){-a-} d1650 x1 y1)
((&&) ((==){-b-} d1651 x2 y2)
((&&) ((==){-c-} d1652 x3 y3)
((==){-d-} d1653 x4 y4)))
(/=) d1657 d1658 d1659 d1660
= ($--/=){-(a, b, c, d)-} d1656
where
d1656
= derived__Prelude_Eq_196_20{-a b c d-} d1657 d1658
d1659
d1660
{-
d1656 :: 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 d1668 d1669 d1670 d1671
= super{-(Eq (a, b, c, d))-} d1667
where
d1672 = super1_Ord{-a-} d1668
d1673 = super1_Ord{-b-} d1669
d1674 = super1_Ord{-c-} d1670
d1675 = super1_Ord{-d-} d1671
d1667
= derived__Prelude_Eq_196_20{-a b c d-} d1672 d1673
d1674
d1675
{-
d1672 :: Eq a
d1673 :: Eq b
d1674 :: Eq c
d1675 :: Eq d
d1667 :: Eq (a, b, c, d)
-}
compare d1701 d1702 d1703 d1704
((,,,){-a b c d-} x1 x2 x3 x4)
((,,,){-a b c d-} y1 y2 y3 y4)
= lexOrder (compare{-a-} d1701 x1 y1)
(lexOrder (compare{-b-} d1702 x2 y2)
(lexOrder (compare{-c-} d1703 x3 y3)
(compare{-d-} d1704 x4 y4)))
(<) d1708 d1709 d1710 d1711
= ($--<){-(a, b, c, d)-} d1707
where
d1707
= derived__Prelude_Ord_196_24{-a b c d-} d1708
d1709
d1710
d1711
{-
d1707 :: Ord (a, b, c, d)
-}
(<=) d1719 d1720 d1721 d1722
= ($--<=){-(a, b, c, d)-} d1718
where
d1718
= derived__Prelude_Ord_196_24{-a b c d-} d1719
d1720
d1721
d1722
{-
d1718 :: Ord (a, b, c, d)
-}
(>=) d1730 d1731 d1732 d1733
= ($-->=){-(a, b, c, d)-} d1729
where
d1729
= derived__Prelude_Ord_196_24{-a b c d-} d1730
d1731
d1732
d1733
{-
d1729 :: Ord (a, b, c, d)
-}
(>) d1741 d1742 d1743 d1744
= ($-->){-(a, b, c, d)-} d1740
where
d1740
= derived__Prelude_Ord_196_24{-a b c d-} d1741
d1742
d1743
d1744
{-
d1740 :: Ord (a, b, c, d)
-}
max d1752 d1753 d1754 d1755
= default__max{-(a, b, c, d)-} d1751
where
d1751
= derived__Prelude_Ord_196_24{-a b c d-} d1752
d1753
d1754
d1755
{-
d1751 :: Ord (a, b, c, d)
-}
min d1763 d1764 d1765 d1766
= default__min{-(a, b, c, d)-} d1762
where
d1762
= derived__Prelude_Ord_196_24{-a b c d-} d1763
d1764
d1765
d1766
{-
d1762 :: 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 d1801 d1802 d1803 d1804 d
((,,,){-a b c d-} x1 x2 x3 x4)
= showParenArg d
((.){-String String String-} (showString "(,,,)")
((.){-String String String-}
(showArgument{-a-} d1801 x1)
((.){-String String String-}
(showArgument{-b-} d1802 x2)
((.){-String String String-}
(showArgument{-c-} d1803 x3)
(showArgument{-d-} d1804 x4)))))
show d1808 d1809 d1810 d1811
= default__show{-(a, b, c, d)-} d1807
where
d1807
= derived__Prelude_Show_196_14{-a b c d-} d1808
d1809
d1810
d1811
{-
d1807 :: Show (a, b, c, d)
-}
showList d1819 d1820 d1821 d1822
= default__showList{-(a, b, c, d)-} d1818
where
d1818
= derived__Prelude_Show_196_14{-a b c d-} d1819
d1820
d1821
d1822
{-
d1818 :: 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
-}