43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder{-

25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maederinstances:

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(Num Int, (inst__Prelude_Num_Int, []))

25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maeder(Num Integer, (inst__Prelude_Num_Integer, []))

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Num Rational, (inst__Prelude_Num_Rational, []))

43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder(Num Double, (inst__Prelude_Num_Double, []))

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Eq Int, (inst__Prelude_Eq_Int, []))

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Ord Int, (inst__Prelude_Ord_Int, []))

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Enum Int, (inst__Prelude_Enum_Int, []))

43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder(Eq Char, (inst__Prelude_Eq_Char, []))

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Eq Integer, (inst__Prelude_Eq_Integer, []))

d8c71aacc9f1c8cd40a8ad8dcdad9be8854b849fChristian Maeder(Eq Rational, (inst__Prelude_Eq_Rational, []))

f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maeder(Eq Double, (inst__Prelude_Eq_Double, []))

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Ord Char, (inst__Prelude_Ord_Char, []))

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Ord Integer, (inst__Prelude_Ord_Integer, []))

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(Ord Rational, (inst__Prelude_Ord_Rational, []))

dba1eafdf5b025161058f973c44b2c880e6b8241Christian Maeder(Ord Double, (inst__Prelude_Ord_Double, []))

a737caf82de97c1907027c03e4b4509eb492b4b8Christian Maeder(Show Int, (inst__Prelude_Show_Int, []))

a737caf82de97c1907027c03e4b4509eb492b4b8Christian Maeder(Show Char, (inst__Prelude_Show_Char, []))

a737caf82de97c1907027c03e4b4509eb492b4b8Christian Maeder(Show Integer, (inst__Prelude_Show_Integer, []))

a737caf82de97c1907027c03e4b4509eb492b4b8Christian Maeder(Show Rational, (inst__Prelude_Show_Rational, []))

a737caf82de97c1907027c03e4b4509eb492b4b8Christian Maeder(Show Double, (inst__Prelude_Show_Double, []))

a737caf82de97c1907027c03e4b4509eb492b4b8Christian Maeder(Fractional Rational, (inst__Prelude_Fractional_Rational, []))

a737caf82de97c1907027c03e4b4509eb492b4b8Christian Maeder(Fractional Double, (inst__Prelude_Fractional_Double, []))

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettich(Eq Bool, (derived__Prelude_Eq_Bool, []))

96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian Maeder(Ord Bool, (derived__Prelude_Ord_Bool, []))

01e383014b555bbcf639c0ca60c5810b3eff83c0Christian Maeder(Show Bool, (derived__Prelude_Show_Bool, []))

3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski(Eq Ordering, (derived__Prelude_Eq_Ordering, []))

df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian Maeder(Ord Ordering, (derived__Prelude_Ord_Ordering, []))

bd54a9917cd87169b8e40bcc5616c537fed85815Christian Maeder(Show Ordering, (derived__Prelude_Show_Ordering, []))

bd54a9917cd87169b8e40bcc5616c537fed85815Christian Maeder(Eq [a], (derived__Prelude_Eq_34_65, [Eq a]))

ce8b15da31cd181b7e90593cbbca98f47eda29d6Till Mossakowski(Ord [a], (derived__Prelude_Ord_34_69, [Ord a]))

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder(Show [a], (derived__Prelude_Show_34_59, [Show a]))

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder(Eq (), (derived__Prelude_Eq_184_27, []))

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(Ord (), (derived__Prelude_Ord_184_31, []))

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(Show (), (derived__Prelude_Show_184_36, []))

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maeder(Eq (a, b), (derived__Prelude_Eq_188_20, [Eq a,

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder Eq b]))

2e2094a642e3775b0d76b890556407941d3a53b6Christian Maeder(Ord (a, b), (derived__Prelude_Ord_188_24, [Ord a,

2e2094a642e3775b0d76b890556407941d3a53b6Christian Maeder Ord b]))

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder(Show (a, b), (derived__Prelude_Show_188_14, [Show a,

e8db9a65830cf71504e33c6f441a67b4d184a3caChristian Maeder Show b]))

c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder(Eq (a, b, c), (derived__Prelude_Eq_192_20, [Eq a,

8410667510a76409aca9bb24ff0eda0420088274Christian Maeder Eq b, Eq c]))

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder(Ord (a, b, c), (derived__Prelude_Ord_192_24, [Ord a,

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder Ord b, Ord c]))

8410667510a76409aca9bb24ff0eda0420088274Christian Maeder(Show (a, b,

404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich c), (derived__Prelude_Show_192_14, [Show a, Show b,

eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maeder Show c]))

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettich(Eq (a, b, c, d), (derived__Prelude_Eq_196_20, [Eq a,

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettich Eq b, Eq c, Eq d]))

4d56f2fa72e4aec20eb827c11ed49c8cbb7014bdChristian Maeder(Ord (a, b, c,

eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maeder d), (derived__Prelude_Ord_196_24, [Ord a, Ord b,

eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maeder Ord c, Ord d]))

eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maeder(Show (a, b, c,

eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maeder d), (derived__Prelude_Show_196_14, [Show a, Show b,

57a2436f9d44e37042498a3b3dfacd301d91bb6dChristian Maeder Show c, Show d]))

eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maeder

eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maedertypes:

d4892fa7401ceef014ea59d2d900773eaf88fcbdChristian Maeder() :: (*, data)

eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maeder(,) :: (*->*->*, data)

eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian MaederPrelude.(,,) :: (*->*->*->*, data)

eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian MaederPrelude.(,,,) :: (*->*->*->*->*, data)

eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maeder((->)) :: (*->*->*, data)

404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichB :: ((*->*)->*, data)

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederBool :: (*, data)

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederBounded ::

55adfe57a4de1f36adc3e3bfc16f342e44a7d444Christian Maeder (*->Pred, class _ a

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder where

8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maeder minBound :: a

8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maeder maxBound :: a)

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederC :: ((*->*)->*, data)

e593b89bfd4952698dc37feced21cefe869d87a2Christian MaederChar :: (*, data)

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederDouble :: (*, data)

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederEnum ::

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder (*->Pred, class _ a

0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian Maeder where

f13d1e86e58da53680e78043e8df182eed867efbChristian Maeder succ :: a -> a

0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian Maeder pred :: a -> a

96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian Maeder toEnum :: Int -> a

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder fromEnum :: a -> Int

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder enumFrom :: a -> [a]

c6fcd42c6d6d9dae8c7835c24fcb7ce8531a9050Christian Maeder enumFromThen :: a -> a -> [a]

31c49f2fa23d4ac089f35145d80a224deb6ea7e4Till Mossakowski enumFromTo :: a -> a -> [a]

c55a0f77be7e88d3620b419ec8961f4379a586e3Klaus Luettich enumFromThenTo :: a -> a -> a -> [a])

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederEq ::

9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder (*->Pred, class _ a

3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski where

8cacad2a09782249243b80985f28e9387019fe40Christian Maeder (==) :: a -> a -> Bool

50515239e7e190f4a34ca581dd685d002148fbddChristian Maeder (/=) :: a -> a -> Bool)

0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian MaederFractional ::

431d34c7007a787331c4e5ec997badb0f8190fc7Christian Maeder (*->Pred, class Num a => _ a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder where

d3ae0072823e2ef0d41d4431fcc768e66489c20eChristian Maeder (/) :: a -> a -> a

9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder recip :: a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder fromRational :: Rational -> a)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederInt :: (*, data)

9e748851c150e1022fb952bab3315e869aaf0214Christian MaederInteger :: (*, data)

9e748851c150e1022fb952bab3315e869aaf0214Christian MaederIntegral ::

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder (*->Pred, class (Real a, Enum a) => _ a

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder where

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder quot :: a -> a -> a

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder rem :: a -> a -> a

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder div :: a -> a -> a

0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian Maeder mod :: a -> a -> a

9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder quotRem :: a -> a -> (a, a)

9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder divMod :: a -> a -> (a, a)

f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder toInteger :: a -> Integer)

776a1a086df734581431e6edb4343ed4c8d34d55Christian MaederMyType :: (*, data)

f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian MaederNum ::

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (*->Pred, class (Eq a, Show a) => _ a

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder where

c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder (+) :: a -> a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (-) :: a -> a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (*) :: a -> a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder negate :: a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder abs :: a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder signum :: a -> a

9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder fromInteger :: Integer -> a)

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederOrd ::

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder (*->Pred, class Eq a => _ a

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder where

c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder compare :: a -> a -> Ordering

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (<) :: a -> a -> Bool

ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder (<=) :: a -> a -> Bool

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (>=) :: a -> a -> Bool

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder (>) :: a -> a -> Bool

4017ebc0f692820736d796af3110c3b3018c108aChristian Maeder max :: a -> a -> a

62ea3d19927e5ce1318d62931a8427d8930f1576Christian Maeder min :: a -> a -> a)

62ea3d19927e5ce1318d62931a8427d8930f1576Christian MaederOrdering :: (*, data)

4017ebc0f692820736d796af3110c3b3018c108aChristian MaederRational :: (*, data)

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederReal ::

6ff7a91875597d6e4dfaa68c79187d01473e8341Christian Maeder (*->Pred, class (Num a, Ord a) => _ a

6ff7a91875597d6e4dfaa68c79187d01473e8341Christian Maeder where

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder toRational :: a -> Rational)

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederRealFrac ::

4017ebc0f692820736d796af3110c3b3018c108aChristian Maeder (*->Pred, class (Real a, Fractional a) => _ a

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder where

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder properFraction ::

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder forall a . (Integral a) => a -> (a, a)

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder truncate :: forall a . (Integral a) => a -> a

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder round :: forall a . (Integral a) => a -> a

88318aafc287e92931dceffbb943d58a9310001dChristian Maeder ceiling :: forall a . (Integral a) => a -> a

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder floor :: forall a . (Integral a) => a -> a)

a3c6d8e0670bf2aa71bc8e2a3b1f45d56dd65e4cChristian MaederShow ::

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder (*->Pred, class _ a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder where

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder showsPrec :: Int -> a -> ShowS

ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder show :: a -> String

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder showList :: [a] -> ShowS)

ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederShowS :: (*, type _ = String -> String)

ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederString :: (*, type _ = String)

ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder[] :: (*->*, data)

4017ebc0f692820736d796af3110c3b3018c108aChristian Maeder

ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maedervalues:

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich($--*) :: forall a . (Num a) => a -> a -> a

ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder($--+) :: forall a . (Num a) => a -> a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder($---) :: forall a . (Num a) => a -> a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder($--/) :: forall a . (Fractional a) => a -> a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder($--/=) :: forall a . (Eq a) => a -> a -> Bool

f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maeder($--<) :: forall a . (Ord a) => a -> a -> Bool

d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder($--<=) :: forall a . (Ord a) => a -> a -> Bool

d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder($--==) :: forall a . (Eq a) => a -> a -> Bool

d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder($-->) :: forall a . (Ord a) => a -> a -> Bool

d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder($-->=) :: forall a . (Ord a) => a -> a -> Bool

d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder(&&) :: Bool -> Bool -> Bool

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(*) :: forall a . (Num a) => a -> a -> a

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder(+) :: forall a . (Num a) => a -> a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(++) :: forall a . [a] -> [a] -> [a]

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(-) :: forall a . (Num a) => a -> a -> a

ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder(.) :: forall a b c . (a -> b) -> (c -> a) -> c -> b

ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder(/) :: forall a . (Fractional a) => a -> a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(/=) :: forall a . (Eq a) => a -> a -> Bool

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder(<) :: forall a . (Ord a) => a -> a -> Bool

ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder(<=) :: forall a . (Ord a) => a -> a -> Bool

ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder(==) :: forall a . (Eq a) => a -> a -> Bool

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder(>) :: forall a . (Ord a) => a -> a -> Bool

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder(>=) :: forall a . (Ord a) => a -> a -> Bool

f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maederabs :: forall a . (Num a) => a -> a

d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maederceiling ::

d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder forall a b . (RealFrac a, Integral b) => a -> b

89f7631cbfbd1bb99fc152b434bd362a7799d295Christian Maedercompare :: forall a . (Ord a) => a -> a -> Ordering

431d34c7007a787331c4e5ec997badb0f8190fc7Christian Maederdefault__abs :: forall a . (Num a) => a -> a

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederdefault__ceiling ::

f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b

f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus Luettichdefault__compare ::

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder forall a . (Ord a) => a -> a -> Ordering

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdefault__div ::

f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus Luettich forall a . (Integral a) => a -> a -> a

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maederdefault__divMod ::

6b6773cf587b74259178641d811746a235faf056Christian Maeder forall a . (Integral a) => a -> a -> (a, a)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdefault__enumFrom :: forall a . (Enum a) => a -> [a]

2c619a4dfdc1df27573eba98e81ed1ace906941dChristian Maederdefault__enumFromThen ::

2c619a4dfdc1df27573eba98e81ed1ace906941dChristian Maeder forall a . (Enum a) => a -> a -> [a]

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdefault__enumFromThenTo ::

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder forall a . (Enum a) => a -> a -> a -> [a]

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maederdefault__enumFromTo ::

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder forall a . (Enum a) => a -> a -> [a]

d272062059eea4d7479e1c6e8517469f02f61287Christian Maederdefault__floor ::

0cfef6179a1bfec4f07f460686dd629a27b4b778Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederdefault__fromEnum :: forall a . (Enum a) => a -> Int

83394c6b6e6de128e71b67c9251ed7a84485d082Christian Maederdefault__fromInteger ::

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a . (Num a) => Integer -> a

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maederdefault__fromRational ::

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a . (Fractional a) => Rational -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederdefault__max :: forall a . (Ord a) => a -> a -> a

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maederdefault__maxBound :: forall a . (Bounded a) => a

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maederdefault__min :: forall a . (Ord a) => a -> a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederdefault__minBound :: forall a . (Bounded a) => a

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdefault__mod ::

9df11f85fd7f8c4745d64464876e84ec4e263692Christian Maeder forall a . (Integral a) => a -> a -> a

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersdefault__negate :: forall a . (Num a) => a -> a

010c56c4cf12dd7977ca36efe85219b91e265ee3Christian Maederdefault__pred :: forall a . (Enum a) => a -> a

fb328c4f646dd3dd78a9391c5cb58450a3dd0aa9Klaus Luettichdefault__properFraction ::

3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski forall a b . (RealFrac a, Integral b) => a -> (b, a)

5b818f10e11fc79def1fdd5c8a080d64a6438d87Christian Maederdefault__quot ::

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers forall a . (Integral a) => a -> a -> a

819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maederdefault__quotRem ::

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a . (Integral a) => a -> a -> (a, a)

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederdefault__recip :: forall a . (Fractional a) => a -> a

383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__rem ::

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers forall a . (Integral a) => a -> a -> a

9e748851c150e1022fb952bab3315e869aaf0214Christian Maederdefault__round ::

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a b . (RealFrac a, Integral b) => a -> b

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederdefault__show :: forall a . (Show a) => a -> String

383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__showList ::

383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maeder forall a . (Show a) => [a] -> ShowS

383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__showsPrec ::

383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maeder forall a . (Show a) => Int -> a -> ShowS

383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__signum :: forall a . (Num a) => a -> a

383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederdefault__succ :: forall a . (Enum a) => a -> a

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__toEnum :: forall a . (Enum a) => Int -> a

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdefault__toInteger ::

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder forall a . (Integral a) => a -> Integer

819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maederdefault__toRational ::

819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maeder forall a . (Real a) => a -> Rational

819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maederdefault__truncate ::

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Eq_184_27 :: Eq ()

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Eq_188_20 ::

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder forall a b . (Eq a) -> (Eq b) -> Eq (a, b)

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Eq_192_20 ::

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder forall a b c .

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder (Eq a) -> (Eq b) -> (Eq c) -> Eq (a, b, c)

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Eq_196_20 ::

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder forall a b c d .

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder (Eq a) ->

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder (Eq b) -> (Eq c) -> (Eq d) -> Eq (a, b, c, d)

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Eq_34_65 ::

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder forall a . (Eq a) -> Eq [a]

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Eq_Bool :: Eq Bool

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederderived__Prelude_Eq_Ordering :: Eq Ordering

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederderived__Prelude_Ord_184_31 :: Ord ()

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maederderived__Prelude_Ord_188_24 ::

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder forall a b . (Ord a) -> (Ord b) -> Ord (a, b)

4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maederderived__Prelude_Ord_192_24 ::

6fe9628743562678acf97d6730ebcfee5e9e50c2Christian Maeder forall a b c .

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder (Ord a) -> (Ord b) -> (Ord c) -> Ord (a, b, c)

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederderived__Prelude_Ord_196_24 ::

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a b c d .

3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski (Ord a) ->

b565cd55a13dbccc4e66c344316da525c961e4caTill Mossakowski (Ord b) -> (Ord c) -> (Ord d) -> Ord (a, b, c, d)

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederderived__Prelude_Ord_34_69 ::

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder forall a . (Ord a) -> Ord [a]

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederderived__Prelude_Ord_Bool :: Ord Bool

fb328c4f646dd3dd78a9391c5cb58450a3dd0aa9Klaus Luettichderived__Prelude_Ord_Ordering :: Ord Ordering

fb328c4f646dd3dd78a9391c5cb58450a3dd0aa9Klaus Luettichderived__Prelude_Show_184_36 :: Show ()

e96a0bf4040fd789339958c01f145c5057d26db6René Wagnerderived__Prelude_Show_188_14 ::

e96a0bf4040fd789339958c01f145c5057d26db6René Wagner forall a b . (Show a) -> (Show b) -> Show (a, b)

abf2487c3aece95c371ea89ac64319370dcb6483Klaus Luettichderived__Prelude_Show_192_14 ::

abf2487c3aece95c371ea89ac64319370dcb6483Klaus Luettich forall a b c .

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder (Show a) -> (Show b) -> (Show c) -> Show (a, b, c)

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederderived__Prelude_Show_196_14 ::

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder forall a b c d .

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers (Show a) ->

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder (Show b) -> (Show c) -> (Show d) -> Show (a, b, c, d)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederderived__Prelude_Show_34_59 ::

b565cd55a13dbccc4e66c344316da525c961e4caTill Mossakowski forall a . (Show a) -> Show [a]

18a4d5cb6828f080db9c5f9551785c5151027271Christian Maederderived__Prelude_Show_Bool :: Show Bool

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettichderived__Prelude_Show_Ordering :: Show Ordering

9e748851c150e1022fb952bab3315e869aaf0214Christian Maederdiv :: forall a . (Integral a) => a -> a -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederdivMod :: forall a . (Integral a) => a -> a -> (a, a)

fdb2d618144159395f7bf8ce3327b3c112a17dd3Till MossakowskienumFrom :: forall a . (Enum a) => a -> [a]

43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederenumFromThen :: forall a . (Enum a) => a -> a -> [a]

383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederenumFromThenTo ::

3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski forall a . (Enum a) => a -> a -> a -> [a]

61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederenumFromTo :: forall a . (Enum a) => a -> a -> [a]

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maedererror :: forall a . String -> a

c9acb8681bcc512245b4f0d1a9f2b189c60e10d4Christian Maedereven :: forall a . (Integral a) => a -> Bool

38352346eb1a67ba0f4eab8ad6f718528cf0cde0Christian Maederflip :: forall a b c . (a -> b -> c) -> b -> a -> c

8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maederfloor ::

63e50b4c36074d5fb9de872c4007b688b4bce534Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b

63e50b4c36074d5fb9de872c4007b688b4bce534Christian MaederfromEnum :: forall a . (Enum a) => a -> Int

bd54a9917cd87169b8e40bcc5616c537fed85815Christian MaederfromInteger :: forall a . (Num a) => Integer -> a

bd54a9917cd87169b8e40bcc5616c537fed85815Christian MaederfromIntegral ::

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder forall a b . (Integral a, Num b) => a -> b

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederfromRational ::

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder forall a . (Fractional a) => Rational -> a

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederhead :: forall a . [a] -> a

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maederinst__Prelude_Enum_Int :: Enum Int

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederinst__Prelude_Eq_Char :: Eq Char

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederinst__Prelude_Eq_Double :: Eq Double

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederinst__Prelude_Eq_Int :: Eq Int

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederinst__Prelude_Eq_Integer :: Eq Integer

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederinst__Prelude_Eq_Rational :: Eq Rational

6bf24e5eb644064ad650eb3fd9774483fccbf601Christian Maederinst__Prelude_Fractional_Double :: Fractional Double

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederinst__Prelude_Fractional_Rational ::

7fd65519c95c4a8c2e0290ae6346bce134855cadChristian Maeder Fractional Rational

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederinst__Prelude_Num_Double :: Num Double

e8db9a65830cf71504e33c6f441a67b4d184a3caChristian Maederinst__Prelude_Num_Int :: Num Int

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederinst__Prelude_Num_Integer :: Num Integer

1f8a7f8343f7df719768d2b1d7e3077ee291a1caChristian Maederinst__Prelude_Num_Rational :: Num Rational

1f8a7f8343f7df719768d2b1d7e3077ee291a1caChristian Maederinst__Prelude_Ord_Char :: Ord Char

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederinst__Prelude_Ord_Double :: Ord Double

6bf24e5eb644064ad650eb3fd9774483fccbf601Christian Maederinst__Prelude_Ord_Int :: Ord Int

dbe752ee940baae7f9f231f29c62284bb0f90a25Christian Maederinst__Prelude_Ord_Integer :: Ord Integer

53818ced114da21321063fff307aa41c1ab31dd3Achim Mahnkeinst__Prelude_Ord_Rational :: Ord Rational

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederinst__Prelude_Show_Char :: Show Char

53818ced114da21321063fff307aa41c1ab31dd3Achim Mahnkeinst__Prelude_Show_Double :: Show Double

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederinst__Prelude_Show_Int :: Show Int

53818ced114da21321063fff307aa41c1ab31dd3Achim Mahnkeinst__Prelude_Show_Integer :: Show Integer

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederinst__Prelude_Show_Rational :: Show Rational

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederlexOrder :: Ordering -> Ordering -> Ordering

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermap :: forall a b . (a -> b) -> [a] -> [b]

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichmax :: forall a . (Ord a) => a -> a -> a

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichmaxBound :: forall a . (Bounded a) => a

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichmin :: forall a . (Ord a) => a -> a -> a

50515239e7e190f4a34ca581dd685d002148fbddChristian MaederminBound :: forall a . (Bounded a) => a

1f63599faaa311cd024d6413f82bff8caae8de24Christian Maedermod :: forall a . (Integral a) => a -> a -> a

857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian Maedernegate :: forall a . (Num a) => a -> a

fdb2d618144159395f7bf8ce3327b3c112a17dd3Till Mossakowskinot :: Bool -> Bool

7c99e334446bb97120e30e967baeeddfdd1278deKlaus Luettichodd :: forall a . (Integral a) => a -> Bool

4017ebc0f692820736d796af3110c3b3018c108aChristian Maederotherwise :: Bool

4017ebc0f692820736d796af3110c3b3018c108aChristian Maederpred :: forall a . (Enum a) => a -> a

d8c71aacc9f1c8cd40a8ad8dcdad9be8854b849fChristian MaederprimError :: forall a . String -> a

0c355dd0b739631ee472f9a656e266be27fa4e64Christian MaederproperFraction ::

b49276c9f50038e0bd499ad49f7bd6444566a834Christian Maeder forall a b . (RealFrac a, Integral b) => a -> (b, a)

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maederquot :: forall a . (Integral a) => a -> a -> a

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederquotRem ::

33d042fe6a9eb27a4c48f840b80838f3e7d98e34Christian Maeder forall a . (Integral a) => a -> a -> (a, a)

83394c6b6e6de128e71b67c9251ed7a84485d082Christian Maederrecip :: forall a . (Fractional a) => a -> a

fa21fba9ceb1ddf7b3efd54731a12ed8750191d8Christian Maederrem :: forall a . (Integral a) => a -> a -> a

fa21fba9ceb1ddf7b3efd54731a12ed8750191d8Christian Maederround ::

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b

0c355dd0b739631ee472f9a656e266be27fa4e64Christian Maedershow :: forall a . (Show a) => a -> String

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaedershowArgument ::

fa21fba9ceb1ddf7b3efd54731a12ed8750191d8Christian Maeder forall a . (Show a) => a -> String -> String

b49276c9f50038e0bd499ad49f7bd6444566a834Christian MaedershowChar :: Char -> ShowS

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedershowList :: forall a . (Show a) => [a] -> ShowS

b49276c9f50038e0bd499ad49f7bd6444566a834Christian MaedershowParen :: Bool -> ShowS -> ShowS

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedershowParenArg :: Int -> ShowS -> ShowS

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaedershowString :: String -> ShowS

c7ec85d1103173e089aa5048fd7afb2f9b505124Klaus Luettichshows :: forall a . (Show a) => a -> ShowS

c7ec85d1103173e089aa5048fd7afb2f9b505124Klaus LuettichshowsPrec :: forall a . (Show a) => Int -> a -> ShowS

c7ec85d1103173e089aa5048fd7afb2f9b505124Klaus Luettichsignum :: forall a . (Num a) => a -> a

c7ec85d1103173e089aa5048fd7afb2f9b505124Klaus Luettichsubtract :: forall a . (Num a) => a -> a -> a

c7ec85d1103173e089aa5048fd7afb2f9b505124Klaus Luettichsucc :: forall a . (Enum a) => a -> a

b905126bab9454b89041f92b3c50bb9efc85e427Klaus Luettichtail :: forall a . [a] -> [a]

5ea9168eddbfbfe2282ed46dfe107a8962d6727bChristian MaedertoEnum :: forall a . (Enum a) => Int -> a

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus LuettichtoInteger :: forall a . (Integral a) => a -> Integer

5c69cef4668bbd959d721668313a779126014d1eKlaus LuettichtoRational :: forall a . (Real a) => a -> Rational

b905126bab9454b89041f92b3c50bb9efc85e427Klaus Luettichtruncate ::

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder forall a b . (RealFrac a, Integral b) => a -> b

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder() :: ()

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(,) :: forall a b . a -> b -> (a, b)

43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederPrelude.(,,) ::

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder forall a b c . a -> b -> c -> (a, b, c)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPrelude.(,,,) ::

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder forall a b c d . a -> b -> c -> d -> (a, b, c, d)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(:) :: forall a . a -> [a] -> [a]

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederBar :: forall (a::*->*) . B a

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederEQ :: Ordering

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus LuettichFalse :: Bool

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus LuettichFoo :: forall (a::*->*) . (B a) -> (a MyType) -> C a

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus LuettichGT :: Ordering

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus LuettichLT :: Ordering

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus LuettichMyType :: MyType

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus LuettichTrue :: Bool

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus Luettich[] :: forall a . [a]

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus Luettich

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus Luettichscope:

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus LuettichPrelude.&& |-> Prelude.&&, Value

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus Luettich() |-> Prelude.(), Type [()] []

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder() |-> Prelude.(), con of ()

b905126bab9454b89041f92b3c50bb9efc85e427Klaus Luettich(,) |-> Prelude.(,), Type [(,)] []

b905126bab9454b89041f92b3c50bb9efc85e427Klaus Luettich(,) |-> Prelude.(,), con of (,)

b905126bab9454b89041f92b3c50bb9efc85e427Klaus LuettichPrelude.(,,) |-> Prelude.(,,), Type [(,,)] []

b905126bab9454b89041f92b3c50bb9efc85e427Klaus LuettichPrelude.(,,) |-> Prelude.(,,), con of (,,)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPrelude.(,,,) |-> Prelude.(,,,), Type [(,,,)] []

33d042fe6a9eb27a4c48f840b80838f3e7d98e34Christian MaederPrelude.(,,,) |-> Prelude.(,,,), con of (,,,)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPrelude.* |-> Prelude.*, method of Num

dbe752ee940baae7f9f231f29c62284bb0f90a25Christian MaederPrelude.+ |-> Prelude.+, method of Num

1f8a7f8343f7df719768d2b1d7e3077ee291a1caChristian MaederPrelude.++ |-> Prelude.++, Value

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPrelude.- |-> Prelude.-, method of Num

1f8a7f8343f7df719768d2b1d7e3077ee291a1caChristian Maeder(->) |-> Prelude.->, Type [] []

1f8a7f8343f7df719768d2b1d7e3077ee291a1caChristian MaederPrelude.. |-> Prelude.., Value

68aab98a58d1460c77a1573a86c32a891756a420Christian MaederPrelude./ |-> Prelude./, method of Fractional

1f8a7f8343f7df719768d2b1d7e3077ee291a1caChristian MaederPrelude./= |-> Prelude./=, method of Eq

1f8a7f8343f7df719768d2b1d7e3077ee291a1caChristian MaederPrelude.: |-> Prelude.:, con of []

96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian MaederPrelude.< |-> Prelude.<, method of Ord

96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian MaederPrelude.<= |-> Prelude.<=, method of Ord

1f8a7f8343f7df719768d2b1d7e3077ee291a1caChristian MaederPrelude.== |-> Prelude.==, method of Eq

3a7788e09dd23b364a46c9488cbd1522369113dbChristian MaederPrelude.> |-> Prelude.>, method of Ord

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederPrelude.>= |-> Prelude.>=, method of Ord

ef67402074be14deb95e4ff564737d5593144130Klaus LuettichPrelude.B |-> Prelude.B, Type [Bar] []

dbe752ee940baae7f9f231f29c62284bb0f90a25Christian MaederPrelude.Bar |-> Prelude.Bar, con of B

ef67402074be14deb95e4ff564737d5593144130Klaus LuettichPrelude.Bool |-> Prelude.Bool, Type [False, True] []

462d9dc583444aab82732e14a75610684d2dc7e9Christian MaederPrelude.Bounded |-> Prelude.Bounded, Class [minBound,

c9e197862d9d8ef2585270dd08f5194b3aed4a9dKlaus Luettich maxBound]

e7e1ab2ac3f1fded8611bb92ae00e8f3b8c693fbKlaus LuettichPrelude.C |-> Prelude.C, Type [Foo] []

ef67402074be14deb95e4ff564737d5593144130Klaus LuettichPrelude.Char |-> Prelude.Char, Type [] []

1323eba62fc519b068f5aaec4f9d2be05ffabea9Klaus LuettichPrelude.Double |-> Prelude.Double, Type [] []

a80c28bb8b7a23ccdf7e08d0fe216fc19cc97273Klaus LuettichPrelude.EQ |-> Prelude.EQ, con of Ordering

d784803f9c752667b4fcf7393d698002bedf3f89Klaus LuettichPrelude.Enum |-> Prelude.Enum, Class [succ, pred,

1323eba62fc519b068f5aaec4f9d2be05ffabea9Klaus Luettich toEnum, fromEnum, enumFrom, enumFromThen,

1323eba62fc519b068f5aaec4f9d2be05ffabea9Klaus Luettich enumFromTo, enumFromThenTo]

1f8a7f8343f7df719768d2b1d7e3077ee291a1caChristian MaederPrelude.Eq |-> Prelude.Eq, Class [==, /=]

1f8a7f8343f7df719768d2b1d7e3077ee291a1caChristian MaederPrelude.False |-> Prelude.False, con of Bool

462d9dc583444aab82732e14a75610684d2dc7e9Christian MaederPrelude.Foo |-> Prelude.Foo, con of C

5d39c60274aaa76506292d2d9e885fccd27e1eabChristian MaederPrelude.Fractional |-> Prelude.Fractional, Class [/,

5d39c60274aaa76506292d2d9e885fccd27e1eabChristian Maeder recip, fromRational]

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederPrelude.GT |-> Prelude.GT, con of Ordering

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPrelude.Int |-> Prelude.Int, Type [] []

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederPrelude.Integer |-> Prelude.Integer, Type [] []

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederPrelude.Integral |-> Prelude.Integral, Class [quot,

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maeder rem, div, mod, quotRem, divMod,

1f8a7f8343f7df719768d2b1d7e3077ee291a1caChristian Maeder toInteger]

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederPrelude.LT |-> Prelude.LT, con of Ordering

404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichPrelude.MyType |-> Prelude.MyType, Type [MyType] []

404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichPrelude.MyType |-> Prelude.MyType, con of MyType

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederPrelude.Num |-> Prelude.Num, Class [+, -, *, negate,

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maeder abs, signum, fromInteger]

404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichPrelude.Ord |-> Prelude.Ord, Class [compare, <, <=,

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maeder >=, >, max, min]

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederPrelude.Ordering |-> Prelude.Ordering, Type [LT, EQ,

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder GT] []

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederPrelude.Rational |-> Prelude.Rational, Type [] []

2e2094a642e3775b0d76b890556407941d3a53b6Christian MaederPrelude.Real |-> Prelude.Real, Class [toRational]

340706b6c0c6e3dbacdd7003e20e9cab7f9aa765Christian MaederPrelude.RealFrac |-> Prelude.RealFrac, Class [properFraction,

43bb71dfe7ec405f563864d57c1cacdaa8ce9a80Christian Maeder truncate, round, ceiling, floor]

2e2094a642e3775b0d76b890556407941d3a53b6Christian MaederPrelude.Show |-> Prelude.Show, Class [showsPrec,

340706b6c0c6e3dbacdd7003e20e9cab7f9aa765Christian Maeder show, showList]

fdb2d618144159395f7bf8ce3327b3c112a17dd3Till MossakowskiPrelude.ShowS |-> Prelude.ShowS, Type [] []

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederPrelude.String |-> Prelude.String, Type [] []

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederPrelude.True |-> Prelude.True, con of Bool

9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder[] |-> Prelude.[], Type [[], :] [head, tail]

9c3edf2b283c09d33b2820696886d1ed32fcadc8Christian Maeder[] |-> Prelude.[], con of []

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederPrelude.abs |-> Prelude.abs, method of Num

c22d75ec3ea1306219d1c09a5b3e8ff04f753ad6Christian MaederPrelude.ceiling |-> Prelude.ceiling, method of RealFrac

9c3edf2b283c09d33b2820696886d1ed32fcadc8Christian MaederPrelude.compare |-> Prelude.compare, method of Ord

c22d75ec3ea1306219d1c09a5b3e8ff04f753ad6Christian MaederPrelude.div |-> Prelude.div, method of Integral

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederPrelude.divMod |-> Prelude.divMod, method of Integral

68b77966b2cf7bf2e340bf0fb6b9efc3e6a00467Christian MaederPrelude.enumFrom |-> Prelude.enumFrom, method of Enum

83394c6b6e6de128e71b67c9251ed7a84485d082Christian MaederPrelude.enumFromThen |-> Prelude.enumFromThen, method of Enum

5bb7eeaca10ea76595229375f907a5a388b7c882Christian MaederPrelude.enumFromThenTo |-> Prelude.enumFromThenTo, method of Enum

5bb7eeaca10ea76595229375f907a5a388b7c882Christian MaederPrelude.enumFromTo |-> Prelude.enumFromTo, method of Enum

5bb7eeaca10ea76595229375f907a5a388b7c882Christian MaederPrelude.error |-> Prelude.error, Value

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederPrelude.even |-> Prelude.even, Value

5bb7eeaca10ea76595229375f907a5a388b7c882Christian MaederPrelude.flip |-> Prelude.flip, Value

94d3aa05411444596b44ede4531f05dd7ac20fdfChristian MaederPrelude.floor |-> Prelude.floor, method of RealFrac

ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederPrelude.fromEnum |-> Prelude.fromEnum, method of Enum

8410667510a76409aca9bb24ff0eda0420088274Christian MaederPrelude.fromInteger |-> Prelude.fromInteger, method of Num

ddc9315cc0b1f5dd3d8f99a77f1c75064db33b48Christian MaederPrelude.fromIntegral |-> Prelude.fromIntegral, Value

ddc9315cc0b1f5dd3d8f99a77f1c75064db33b48Christian MaederPrelude.fromRational |-> Prelude.fromRational, method of Fractional

5d522dff4d0fabf57dd476d4c3de15d354a89f62Christian MaederPrelude.head |-> Prelude.head, field of []

5d522dff4d0fabf57dd476d4c3de15d354a89f62Christian MaederPrelude.lexOrder |-> Prelude.lexOrder, Value

5d522dff4d0fabf57dd476d4c3de15d354a89f62Christian MaederPrelude.map |-> Prelude.map, Value

8410667510a76409aca9bb24ff0eda0420088274Christian MaederPrelude.max |-> Prelude.max, method of Ord

8410667510a76409aca9bb24ff0eda0420088274Christian MaederPrelude.maxBound |-> Prelude.maxBound, method of Bounded

8410667510a76409aca9bb24ff0eda0420088274Christian MaederPrelude.min |-> Prelude.min, method of Ord

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.minBound |-> Prelude.minBound, method of Bounded

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.mod |-> Prelude.mod, method of Integral

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.negate |-> Prelude.negate, method of Num

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.not |-> Prelude.not, Value

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.odd |-> Prelude.odd, Value

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.otherwise |-> Prelude.otherwise, Value

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.pred |-> Prelude.pred, method of Enum

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.primError |-> Prelude.primError, Value

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.properFraction |-> Prelude.properFraction, method of RealFrac

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.quot |-> Prelude.quot, method of Integral

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.quotRem |-> Prelude.quotRem, method of Integral

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.recip |-> Prelude.recip, method of Fractional

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.rem |-> Prelude.rem, method of Integral

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.round |-> Prelude.round, method of RealFrac

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.show |-> Prelude.show, method of Show

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichPrelude.showArgument |-> Prelude.showArgument, Value

ac43fa22d2d3f91a17674ac164cba3cf39a17795Klaus LuettichPrelude.showChar |-> Prelude.showChar, Value

ac43fa22d2d3f91a17674ac164cba3cf39a17795Klaus LuettichPrelude.showList |-> Prelude.showList, method of Show

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersPrelude.showParen |-> Prelude.showParen, Value

61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederPrelude.showParenArg |-> Prelude.showParenArg, Value

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersPrelude.showString |-> Prelude.showString, Value

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederPrelude.shows |-> Prelude.shows, Value

18c1d987ce5818ecf0bfc8af3f43aed2ce86e1eaChristian MaederPrelude.showsPrec |-> Prelude.showsPrec, method of Show

61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederPrelude.signum |-> Prelude.signum, method of Num

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederPrelude.subtract |-> Prelude.subtract, Value

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederPrelude.succ |-> Prelude.succ, method of Enum

6fe9628743562678acf97d6730ebcfee5e9e50c2Christian MaederPrelude.tail |-> Prelude.tail, field of []

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederPrelude.toEnum |-> Prelude.toEnum, method of Enum

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederPrelude.toInteger |-> Prelude.toInteger, method of Integral

61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederPrelude.toRational |-> Prelude.toRational, method of Real

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederPrelude.truncate |-> Prelude.truncate, method of RealFrac

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder&& |-> Prelude.&&, Value

fb328c4f646dd3dd78a9391c5cb58450a3dd0aa9Klaus Luettich() |-> Prelude.(), Type [()] []

3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski() |-> Prelude.(), con of ()

3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski(,) |-> Prelude.(,), Type [(,)] []

3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski(,) |-> Prelude.(,), con of (,)

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder(,,) |-> Prelude.(,,), Type [(,,)] []

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder(,,) |-> Prelude.(,,), con of (,,)

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder(,,,) |-> Prelude.(,,,), Type [(,,,)] []

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder(,,,) |-> Prelude.(,,,), con of (,,,)

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder* |-> Prelude.*, method of Num

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder+ |-> Prelude.+, method of Num

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder++ |-> Prelude.++, Value

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder- |-> Prelude.-, method of Num

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers-> |-> Prelude.->, Type [] []

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder. |-> Prelude.., Value

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder/ |-> Prelude./, method of Fractional

e96a0bf4040fd789339958c01f145c5057d26db6René Wagner/= |-> Prelude./=, method of Eq

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder: |-> Prelude.:, con of []

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder< |-> Prelude.<, method of Ord

abf2487c3aece95c371ea89ac64319370dcb6483Klaus Luettich<= |-> Prelude.<=, method of Ord

abf2487c3aece95c371ea89ac64319370dcb6483Klaus Luettich== |-> Prelude.==, method of Eq

abf2487c3aece95c371ea89ac64319370dcb6483Klaus Luettich> |-> Prelude.>, method of Ord

abf2487c3aece95c371ea89ac64319370dcb6483Klaus Luettich>= |-> Prelude.>=, method of Ord

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersB |-> Prelude.B, Type [Bar] []

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederBar |-> Prelude.Bar, con of B

83394c6b6e6de128e71b67c9251ed7a84485d082Christian MaederBool |-> Prelude.Bool, Type [False, True] []

8555737bcc9bf1d0afb6624e4d8668f070bcaba1Christian MaederBounded |-> Prelude.Bounded, Class [minBound,

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers maxBound]

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederC |-> Prelude.C, Type [Foo] []

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederChar |-> Prelude.Char, Type [] []

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDouble |-> Prelude.Double, Type [] []

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus LuettichEQ |-> Prelude.EQ, con of Ordering

a80c28bb8b7a23ccdf7e08d0fe216fc19cc97273Klaus LuettichEnum |-> Prelude.Enum, Class [succ, pred, toEnum,

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder fromEnum, enumFrom, enumFromThen, enumFromTo,

a80c28bb8b7a23ccdf7e08d0fe216fc19cc97273Klaus Luettich enumFromThenTo]

6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederEq |-> Prelude.Eq, Class [==, /=]

83394c6b6e6de128e71b67c9251ed7a84485d082Christian MaederFalse |-> Prelude.False, con of Bool

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederFoo |-> Prelude.Foo, con of C

b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederFractional |-> Prelude.Fractional, Class [/, recip,

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder fromRational]

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGT |-> Prelude.GT, con of Ordering

d0652648f9879c67a194f8b03baafe2700c68eb4Christian MaederInt |-> Prelude.Int, Type [] []

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersInteger |-> Prelude.Integer, Type [] []

50515239e7e190f4a34ca581dd685d002148fbddChristian MaederIntegral |-> Prelude.Integral, Class [quot, rem, div,

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder mod, quotRem, divMod, toInteger]

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLT |-> Prelude.LT, con of Ordering

8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till MossakowskiMyType |-> Prelude.MyType, Type [MyType] []

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederMyType |-> Prelude.MyType, con of MyType

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederNum |-> Prelude.Num, Class [+, -, *, negate, abs,

df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian Maeder signum, fromInteger]

df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian MaederOrd |-> Prelude.Ord, Class [compare, <, <=, >=, >,

26f228bf3a3fea810223396e5794c217a79a8d5bChristian Maeder max, min]

26f228bf3a3fea810223396e5794c217a79a8d5bChristian MaederOrdering |-> Prelude.Ordering, Type [LT, EQ, GT] []

26f228bf3a3fea810223396e5794c217a79a8d5bChristian MaederRational |-> Prelude.Rational, Type [] []

ba904a15082557e939db689fcfba0c68c9a4f740Christian MaederReal |-> Prelude.Real, Class [toRational]

ba904a15082557e939db689fcfba0c68c9a4f740Christian MaederRealFrac |-> Prelude.RealFrac, Class [properFraction,

ba904a15082557e939db689fcfba0c68c9a4f740Christian Maeder truncate, round, ceiling, floor]

6ae5607d2def114f998fd49bac4eef12a2620fafChristian MaederShow |-> Prelude.Show, Class [showsPrec, show,

6ae5607d2def114f998fd49bac4eef12a2620fafChristian Maeder showList]

6ae5607d2def114f998fd49bac4eef12a2620fafChristian MaederShowS |-> Prelude.ShowS, Type [] []

c5e3fc166373b0d90f6e36e8aa234396a1dcd879Christian MaederString |-> Prelude.String, Type [] []

08e5741dd8b6bf9b7419e89298e384e18bc57f64Christian MaederTrue |-> Prelude.True, con of Bool

1f63599faaa311cd024d6413f82bff8caae8de24Christian Maeder[] |-> Prelude.[], Type [[], :] [head, tail]

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder[] |-> Prelude.[], con of []

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichabs |-> Prelude.abs, method of Num

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichceiling |-> Prelude.ceiling, method of RealFrac

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichcompare |-> Prelude.compare, method of Ord

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichdiv |-> Prelude.div, method of Integral

83394c6b6e6de128e71b67c9251ed7a84485d082Christian MaederdivMod |-> Prelude.divMod, method of Integral

96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian MaederenumFrom |-> Prelude.enumFrom, method of Enum

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederenumFromThen |-> Prelude.enumFromThen, method of Enum

83394c6b6e6de128e71b67c9251ed7a84485d082Christian MaederenumFromThenTo |-> Prelude.enumFromThenTo, method of Enum

96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian MaederenumFromTo |-> Prelude.enumFromTo, method of Enum

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedererror |-> Prelude.error, Value

c5e3fc166373b0d90f6e36e8aa234396a1dcd879Christian Maedereven |-> Prelude.even, Value

340706b6c0c6e3dbacdd7003e20e9cab7f9aa765Christian Maederflip |-> Prelude.flip, Value

3e61f574717499939bd8e0ff538ea9e7b72d4e2dKlaus Luettichfloor |-> Prelude.floor, method of RealFrac

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederfromEnum |-> Prelude.fromEnum, method of Enum

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederfromInteger |-> Prelude.fromInteger, method of Num

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederfromIntegral |-> Prelude.fromIntegral, Value

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederfromRational |-> Prelude.fromRational, method of Fractional

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhead |-> Prelude.head, field of []

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederlexOrder |-> Prelude.lexOrder, Value

470ca7a2797069ae4b27c34c1b71419f67be1f84Christian Maedermap |-> Prelude.map, Value

470ca7a2797069ae4b27c34c1b71419f67be1f84Christian Maedermax |-> Prelude.max, method of Ord

470ca7a2797069ae4b27c34c1b71419f67be1f84Christian MaedermaxBound |-> Prelude.maxBound, method of Bounded

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedermin |-> Prelude.min, method of Ord

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederminBound |-> Prelude.minBound, method of Bounded

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermod |-> Prelude.mod, method of Integral

2c619a4dfdc1df27573eba98e81ed1ace906941dChristian Maedernegate |-> Prelude.negate, method of Num

2c619a4dfdc1df27573eba98e81ed1ace906941dChristian Maedernot |-> Prelude.not, Value

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederodd |-> Prelude.odd, Value

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederotherwise |-> Prelude.otherwise, Value

50515239e7e190f4a34ca581dd685d002148fbddChristian Maederpred |-> Prelude.pred, method of Enum

50515239e7e190f4a34ca581dd685d002148fbddChristian MaederprimError |-> Prelude.primError, Value

50515239e7e190f4a34ca581dd685d002148fbddChristian MaederproperFraction |-> Prelude.properFraction, method of RealFrac

50515239e7e190f4a34ca581dd685d002148fbddChristian Maederquot |-> Prelude.quot, method of Integral

50515239e7e190f4a34ca581dd685d002148fbddChristian MaederquotRem |-> Prelude.quotRem, method of Integral

50515239e7e190f4a34ca581dd685d002148fbddChristian Maederrecip |-> Prelude.recip, method of Fractional

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederrem |-> Prelude.rem, method of Integral

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederround |-> Prelude.round, method of RealFrac

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedershow |-> Prelude.show, method of Show

481d4fe351800ab00fd323db8974559431227305Christian MaedershowArgument |-> Prelude.showArgument, Value

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian 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

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedershows |-> Prelude.shows, Value

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaedershowsPrec |-> Prelude.showsPrec, method of Show

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedersignum |-> Prelude.signum, method of Num

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedersubtract |-> Prelude.subtract, Value

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedersucc |-> Prelude.succ, method of Enum

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedertail |-> Prelude.tail, field of []

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaedertoEnum |-> Prelude.toEnum, method of Enum

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaedertoInteger |-> Prelude.toInteger, method of Integral

e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaedertoRational |-> Prelude.toRational, method of Real

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedertruncate |-> Prelude.truncate, method of RealFrac

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder-}

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedermodule Dummy where

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maederimport Prelude (error, Show, Eq, Ord)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederimport MyLogic

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederotherwise = True

8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till MossakowskilexOrder EQ o = o

8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till MossakowskilexOrder o _ = o

8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till MossakowskishowArgument d200 x

c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian Maeder = (.){-String String String-} (showChar ' ')

23ab8855c58adfbd03a0730584b917b24c603901Christian Maeder (showsPrec{-t195-} d200

23ab8855c58adfbd03a0730584b917b24c603901Christian Maeder (fromInteger{-Int-} inst__Prelude_Num_Int 10)

bcaf979d9babe6346aa343687aa7d596e2894cccPaolo Torrini x)

df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian Maederdata Integer

bcaf979d9babe6346aa343687aa7d596e2894cccPaolo Torrinidata Rational

df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian Maederdata Double

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maederdata Char

bcaf979d9babe6346aa343687aa7d596e2894cccPaolo Torrinidata Int

bcaf979d9babe6346aa343687aa7d596e2894cccPaolo Torrinidata a -> b

23ab8855c58adfbd03a0730584b917b24c603901Christian Maederdata Bool = False | True deriving (Show, Eq, Ord)

df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian Maedernot :: Bool -> Bool

23ab8855c58adfbd03a0730584b917b24c603901Christian Maedernot True = False

df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian Maedernot False = True

8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till Mossakowski(&&) :: Bool -> Bool -> Bool

8b4c68db8b465107cabef8b9cd5b6bc216e1b156Till Mossakowski(&&) a b = if a then True else b

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdata Ordering = LT | EQ | GT deriving (Show, Eq, Ord)

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maederclass Eq a where (==),(/=) :: a -> a -> Bool

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder($--/=) d212 x y = not ((==){-a-} d212 x y)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder($--==) d218 x y = not ((/=){-a-} d218 x y)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdata [a]

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder = [] | (:) {head :: a, tail :: [a]}

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder deriving (Show, Eq, Ord)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder(++) :: [a] -> [a] -> [a]

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers(++) [] ys = ys

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder(++) ((:){-a-} x xs) ys

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers = (:){-a-} x ((++){-a-} xs ys)

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersmap :: (a -> b) -> [a] -> [b]

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maedermap f [] = []

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maedermap f ((:){-a-} x xs)

c55a0f77be7e88d3620b419ec8961f4379a586e3Klaus Luettich = (:){-b-} (f x) (map{-a b-} f xs)

c55a0f77be7e88d3620b419ec8961f4379a586e3Klaus Luettichtype String = String

5d4038657f6a63e131f5804af2f7957b69e15a43Klaus Luettichforeign import primError :: String -> a

6da66254a8cff186a1e550b4ace23fb7bcac0d90Christian Maedererror :: String -> a

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maedererror = primError{-a-}

1f63599faaa311cd024d6413f82bff8caae8de24Christian Maeder(.) :: (b -> c) -> (a -> b) -> a -> c

d6c6ad132dcecc84fe71dbeeab6dba0e21483393Klaus Luettich(.) f g = \ x -> f (g x)

d6c6ad132dcecc84fe71dbeeab6dba0e21483393Klaus Luettichtype ShowS = String -> String

d6c6ad132dcecc84fe71dbeeab6dba0e21483393Klaus Luettichclass Eq a => Ord a

1f63599faaa311cd024d6413f82bff8caae8de24Christian Maeder where

8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers compare :: a -> a -> Ordering

fb328c4f646dd3dd78a9391c5cb58450a3dd0aa9Klaus Luettich (<),(<=),(>=),(>) :: a -> a -> Bool

fb328c4f646dd3dd78a9391c5cb58450a3dd0aa9Klaus Luettich max,min :: a -> a -> a

fb328c4f646dd3dd78a9391c5cb58450a3dd0aa9Klaus Luettichdefault__compare d258 x y

1f63599faaa311cd024d6413f82bff8caae8de24Christian Maeder | (==){-a-} d255 x y = EQ

fb328c4f646dd3dd78a9391c5cb58450a3dd0aa9Klaus Luettich | (<=){-a-} d258 x y = LT

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder | otherwise = GT

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder where

9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder d255 = super1_Ord{-a-} d258

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder {-

1f63599faaa311cd024d6413f82bff8caae8de24Christian Maeder d255 :: Eq a

1f63599faaa311cd024d6413f82bff8caae8de24Christian Maeder -}

1f63599faaa311cd024d6413f82bff8caae8de24Christian Maeder($--<=) d266 x y

1f63599faaa311cd024d6413f82bff8caae8de24Christian Maeder = (/=){-Ordering-} derived__Prelude_Eq_Ordering

d0652648f9879c67a194f8b03baafe2700c68eb4Christian Maeder (compare{-a-} d266 x y)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder GT

431d34c7007a787331c4e5ec997badb0f8190fc7Christian Maeder($--<) d274 x y

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder = (==){-Ordering-} derived__Prelude_Eq_Ordering

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder (compare{-a-} d274 x y)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder LT

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder($-->=) d282 x y

43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder = (/=){-Ordering-} derived__Prelude_Eq_Ordering

88318aafc287e92931dceffbb943d58a9310001dChristian Maeder (compare{-a-} d282 x y)

43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder LT

88318aafc287e92931dceffbb943d58a9310001dChristian Maeder($-->) d290 x y

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder = (==){-Ordering-} derived__Prelude_Eq_Ordering

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder (compare{-a-} d290 x y)

43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder GT

43b4c41fbb07705c9df321221ab9cb9832460407Christian Maederdefault__max d296 x y

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder | (<=){-a-} d296 x y = y

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder | otherwise = x

61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederdefault__min d302 x y

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder | (<=){-a-} d302 x y = x

c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian Maeder | otherwise = y

c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian Maedershows :: Show a => a -> ShowS

c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian Maedershows d311

fdef3358918491badb0e29e42b5d3b5a01950716Christian Maeder = showsPrec{-a-} d311

6ff7a91875597d6e4dfaa68c79187d01473e8341Christian Maeder (fromInteger{-Int-} inst__Prelude_Num_Int 0)

6ff7a91875597d6e4dfaa68c79187d01473e8341Christian MaedershowChar :: Char -> ShowS

6ff7a91875597d6e4dfaa68c79187d01473e8341Christian MaedershowChar = (:){-Char-}

88318aafc287e92931dceffbb943d58a9310001dChristian MaedershowString :: String -> ShowS

fdef3358918491badb0e29e42b5d3b5a01950716Christian MaedershowString = (++){-Char-}

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaedershowParen :: Bool -> ShowS -> ShowS

88318aafc287e92931dceffbb943d58a9310001dChristian MaedershowParen b p

7767474aba4fa2dc51a6c68017d3bcef3b773001Christian Maeder = if b

88318aafc287e92931dceffbb943d58a9310001dChristian Maeder then (.){-String String String-}

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder ((.){-String String String-} (showChar '(') p)

fdb2d618144159395f7bf8ce3327b3c112a17dd3Till Mossakowski (showChar ')')

340706b6c0c6e3dbacdd7003e20e9cab7f9aa765Christian Maeder else p

88318aafc287e92931dceffbb943d58a9310001dChristian MaedershowParenArg :: Int -> ShowS -> ShowS

bf76f4fcf07abaebea587df8135de8356c26a363Till MossakowskishowParenArg d

88318aafc287e92931dceffbb943d58a9310001dChristian Maeder = showParen

fdb2d618144159395f7bf8ce3327b3c112a17dd3Till Mossakowski ((<=){-Int-} inst__Prelude_Ord_Int

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder (fromInteger{-Int-} inst__Prelude_Num_Int 10)

6e049108aa87dc46bcff96fae50a4625df1d9648Klaus Luettich d)

f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus Luettichclass Show a

6e049108aa87dc46bcff96fae50a4625df1d9648Klaus Luettich where

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder showsPrec :: Int -> a -> ShowS

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder show :: a -> String

f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus Luettich showList :: [a] -> ShowS

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdefault__showsPrec d338 _ x s

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder = (++){-Char-} (show{-a-} d338 x) s

f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus Luettichdefault__show d346 x

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder = showsPrec{-a-} d346

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder (fromInteger{-Int-} inst__Prelude_Num_Int 0)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder x

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder ""

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdefault__showList d376 [] = showString "[]"

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdefault__showList d376 ((:){-a-} x xs)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder = (.){-String String String-}

1a6464613c59e35072b90ca296ae402cbe956144Christian Maeder ((.){-String String String-} (showChar '[')

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich (shows{-a-} d376 x))

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich (showl{-a-} d376 xs)

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich where

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich showl d364 [] = showChar ']'

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich showl d364 ((:){-t353-} x xs)

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich = (.){-String String String-}

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich ((.){-String String String-} (showChar ',')

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich (shows{-t353-} d364 x))

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich (showl{-t353-} d364 xs)

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich {-

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich showl ::

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich forall a . (Show a) => [a] -> String -> String

2e62113845a35e07cb46db05714627c95450f267Klaus Luettich -}

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettichclass (Eq a, Show a) => Num a

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich where

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich (+),(-),(*) :: a -> a -> a

0be0db405c49906bd7057255069bf6df53395ac9Klaus Luettich negate :: a -> a

438f9bd974c8e668203e636b0f2bc80c589af043Klaus Luettich abs,signum :: a -> a

d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder fromInteger :: Integer -> a

9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder($--+) d385

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder = error{-(a -> a -> a)-} "No default for method +"

88318aafc287e92931dceffbb943d58a9310001dChristian Maeder($---) d388

438f9bd974c8e668203e636b0f2bc80c589af043Klaus Luettich = error{-(a -> a -> a)-} "No default for method -"

88318aafc287e92931dceffbb943d58a9310001dChristian Maeder($--*) d391

c4ef79587a902327f36277c45a8d91d1e67bd6d5Klaus Luettich = error{-(a -> a -> a)-} "No default for method *"

default__negate d394

= error{-(a -> a)-} "No default for method negate"

default__abs d397

= error{-(a -> a)-} "No default for method abs"

default__signum d400

= error{-(a -> a)-} "No default for method signum"

default__fromInteger d403

= error{-(Integer -> a)-}

"No default for method fromInteger"

class Num a => Fractional a

where

(/) :: a -> a -> a

recip :: a -> a

fromRational :: Rational -> a

($--/) d408

= error{-(a -> a -> a)-} "No default for method /"

default__recip d411

= error{-(a -> a)-} "No default for method recip"

default__fromRational d414

= error{-(Rational -> a)-}

"No default for method fromRational"

instance Num Int

where

super1_Num = super{-(Eq Int)-} inst__Prelude_Eq_Int

super2_Num

= super{-(Show Int)-} inst__Prelude_Show_Int

(+) = ($--+){-Int-} inst__Prelude_Num_Int

(-) = ($---){-Int-} inst__Prelude_Num_Int

(*) = ($--*){-Int-} inst__Prelude_Num_Int

negate = default__negate{-Int-} inst__Prelude_Num_Int

abs = default__abs{-Int-} inst__Prelude_Num_Int

signum = default__signum{-Int-} inst__Prelude_Num_Int

fromInteger

= default__fromInteger{-Int-} inst__Prelude_Num_Int

{-

super1_Num :: Eq Int

super2_Num :: Show Int

(+) :: 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 d774 = flip{-a a a-} ((-){-a-} d774)

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 d799

= (.){-Int a a-}

((.){-Int a Int-} (toEnum{-a-} d799)

(flip{-Int Int Int-}

((+){-Int-} inst__Prelude_Num_Int)

(fromInteger{-Int-} inst__Prelude_Num_Int 1)))

(fromEnum{-a-} d799)

default__pred d815

= (.){-Int a a-}

((.){-Int a Int-} (toEnum{-a-} d815)

(subtract{-Int-} inst__Prelude_Num_Int

(fromInteger{-Int-} inst__Prelude_Num_Int 1)))

(fromEnum{-a-} d815)

default__enumFrom d826 x

= map{-Int a-} (toEnum{-a-} d826)

(enumFrom{-Int-} inst__Prelude_Enum_Int

(fromEnum{-a-} d826 x))

default__enumFromTo d840 x y

= map{-Int a-} (toEnum{-a-} d840)

(enumFromTo{-Int-} inst__Prelude_Enum_Int

(fromEnum{-a-} d840 x)

(fromEnum{-a-} d840 y))

default__enumFromThen d854 x y

= map{-Int a-} (toEnum{-a-} d854)

(enumFromThen{-Int-} inst__Prelude_Enum_Int

(fromEnum{-a-} d854 x)

(fromEnum{-a-} d854 y))

default__enumFromThenTo d871 x y z

= map{-Int a-} (toEnum{-a-} d871)

(enumFromThenTo{-Int-} inst__Prelude_Enum_Int

(fromEnum{-a-} d871 x)

(fromEnum{-a-} d871 y)

(fromEnum{-a-} d871 z))

default__toEnum d874

= error{-(Int -> a)-} "No default for method toEnum"

default__fromEnum d877

= error{-(a -> Int)-}

"No default for method fromEnum"

class Bounded a

where

minBound :: a

maxBound :: a

default__minBound d887

= error{-a-} "No default for method minBound"

default__maxBound d890

= 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 d894

= 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 d899

= error{-(a -> a -> a)-} "No default for method quot"

default__rem d902

= error{-(a -> a -> a)-} "No default for method rem"

default__div d905

= error{-(a -> a -> a)-} "No default for method div"

default__mod d908

= error{-(a -> a -> a)-} "No default for method mod"

default__quotRem d911

= error{-(a -> a -> (a, a))-}

"No default for method quotRem"

default__divMod d914

= error{-(a -> a -> (a, a))-}

"No default for method divMod"

default__toInteger d917

= error{-(a -> Integer)-}

"No default for method toInteger"

fromIntegral :: (Integral a, Num b) => a -> b

fromIntegral d931 d932

= (.){-Integer b a-} (fromInteger{-b-} d932)

(toInteger{-a-} d931)

even,odd :: Integral a => a -> Bool

even d943 n

= (==){-a-} d936

(rem{-a-} d943 n (fromInteger{-a-} d940 2))

(fromInteger{-a-} d940 0)

where

d940 = super1_Real{-a-} (super1_Integral{-a-} d943)

d936

= super1_Num{-a-}

(super1_Real{-a-} (super1_Integral{-a-} d943))

{-

d940 :: Num a

d936 :: Eq a

-}

odd d948 n = not (even{-a-} d948 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 d957 d958 x

= m

where

(m, _) = properFraction{-a b-} d957 d958 x

{-

m :: b

-}

default__round d998 d999 x

= let (n, r) = properFraction{-a b-} d998 d999 x

m = if (<){-a-} d969 r (fromInteger{-a-} d971 0)

then (-){-b-} d973 n (fromInteger{-b-} d973 1)

else (+){-b-} d973 n (fromInteger{-b-} d973 1)

{-

r :: a

n :: b

m :: b

-}

in case signum{-a-} d971

((-){-a-} d971 (abs{-a-} d971 r)

(fromRational{-a-} d987 1 % 2)) of

negate{-a-} d989 (fromInteger{-a-} d991 1) -> n

fromInteger{-a-} d993 0

-> if even{-b-} d999 n then n else m

fromInteger{-a-} d997 1 -> m

where

d987 = super2_RealFrac{-a-} d998

d973 = super1_Real{-b-} (super1_Integral{-b-} d999)

d971 = super1_Real{-a-} (super1_RealFrac{-a-} d998)

d969 = super2_Real{-a-} (super1_RealFrac{-a-} d998)

{-

d987 :: Fractional a

d973 :: Num b

d971 :: Num a

d969 :: Ord a

-}

default__ceiling d1016 d1017 x

= if (>){-a-} d1009 r (fromInteger{-a-} d1011 0)

then (+){-b-} d1013 n (fromInteger{-b-} d1013 1)

else n

where

d1013 = super1_Real{-b-} (super1_Integral{-b-} d1017)

d1011 = super1_Real{-a-} (super1_RealFrac{-a-} d1016)

d1009 = super2_Real{-a-} (super1_RealFrac{-a-} d1016)

(n, r) = properFraction{-a b-} d1016 d1017 x

{-

d1013 :: Num b

d1011 :: Num a

d1009 :: Ord a

r :: a

n :: b

-}

default__floor d1034 d1035 x

= if (<){-a-} d1027 r (fromInteger{-a-} d1029 0)

then (-){-b-} d1031 n (fromInteger{-b-} d1031 1)

else n

where

d1031 = super1_Real{-b-} (super1_Integral{-b-} d1035)

d1029 = super1_Real{-a-} (super1_RealFrac{-a-} d1034)

d1027 = super2_Real{-a-} (super1_RealFrac{-a-} d1034)

(n, r) = properFraction{-a b-} d1034 d1035 x

{-

d1031 :: Num b

d1029 :: Num a

d1027 :: Ord a

r :: a

n :: b

-}

default__properFraction d1038 d1039

= error{-(a -> (b, a))-}

"No default for method properFraction"

data C x = Foo (B x) (x MyType)

data B y = Bar

data MyType = MyType

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 t1065 :: Int

t1065 = fromInteger{-Int-} inst__Prelude_Num_Int 0

{- t1065 :: Int -}

in t1065

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 t1116 :: Int

t1116 = fromInteger{-Int-} inst__Prelude_Num_Int 0

{- t1116 :: Int -}

in t1116

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

(==) d1172 []{-a-} []{-a-} = True

(==) d1172 ((:){-a-} x1 x2) ((:){-a-} y1 y2)

= (&&) ((==){-a-} d1172 x1 y1)

((==){-[a]-} d1168 x2 y2)

where

d1168 = derived__Prelude_Eq_34_65{-a-} d1172

{-

d1168 :: Eq [a]

-}

(==) d1172 _ _ = False

(/=) d1176

= ($--/=){-[a]-} d1175

where

d1175 = derived__Prelude_Eq_34_65{-a-} d1176

{-

d1175 :: Eq [a]

-}

{-

(==) :: forall a . (Eq a) => [a] -> [a] -> Bool

(/=) :: forall a . (Eq a) => [a] -> [a] -> Bool

-}

instance Ord a => Ord [a]

where

super1_Ord d1181

= super{-(Eq [a])-} d1180

where

d1182 = super1_Ord{-a-} d1181

d1180 = derived__Prelude_Eq_34_65{-a-} d1182

{-

d1182 :: Eq a

d1180 :: Eq [a]

-}

compare d1215 ((:){-a-} x1 x2) ((:){-a-} y1 y2)

= lexOrder (compare{-a-} d1215 x1 y1)

(compare{-[a]-} d1193 x2 y2)

where

d1193 = derived__Prelude_Ord_34_69{-a-} d1215

{-

d1193 :: Ord [a]

-}

compare d1215 x y

= let cno []{-t1206-}

= let t1199 :: Int

t1199 = fromInteger{-Int-} inst__Prelude_Num_Int 0

{- t1199 :: Int -}

in t1199

cno ((:){-t1206-} _ _)

= 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)

(<) d1219

= ($--<){-[a]-} d1218

where

d1218 = derived__Prelude_Ord_34_69{-a-} d1219

{-

d1218 :: Ord [a]

-}

(<=) d1224

= ($--<=){-[a]-} d1223

where

d1223 = derived__Prelude_Ord_34_69{-a-} d1224

{-

d1223 :: Ord [a]

-}

(>=) d1229

= ($-->=){-[a]-} d1228

where

d1228 = derived__Prelude_Ord_34_69{-a-} d1229

{-

d1228 :: Ord [a]

-}

(>) d1234

= ($-->){-[a]-} d1233

where

d1233 = derived__Prelude_Ord_34_69{-a-} d1234

{-

d1233 :: Ord [a]

-}

max d1239

= default__max{-[a]-} d1238

where

d1238 = derived__Prelude_Ord_34_69{-a-} d1239

{-

d1238 :: Ord [a]

-}

min d1244

= default__min{-[a]-} d1243

where

d1243 = derived__Prelude_Ord_34_69{-a-} d1244

{-

d1243 :: 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 d1264 d []{-a-} = showString "[]"

showsPrec d1264 d ((:){-a-} x1 x2)

= showParenArg d

((.){-String String String-} (showString ":")

((.){-String String String-}

(showArgument{-a-} d1264 x1)

(showArgument{-[a]-} d1262 x2)))

where

d1262 = derived__Prelude_Show_34_59{-a-} d1264

{-

d1262 :: Show [a]

-}

show d1268

= default__show{-[a]-} d1267

where

d1267 = derived__Prelude_Show_34_59{-a-} d1268

{-

d1267 :: Show [a]

-}

showList d1273

= default__showList{-[a]-} d1272

where

d1272 = derived__Prelude_Show_34_59{-a-} d1273

{-

d1272 :: 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 t1287 :: Int

t1287 = fromInteger{-Int-} inst__Prelude_Num_Int 0

{- t1287 :: Int -}

in t1287

{- 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

(==) d1334 d1335 ((,){-a b-} x1 x2)

((,){-a b-} y1 y2)

= (&&) ((==){-a-} d1334 x1 y1)

((==){-b-} d1335 x2 y2)

(/=) d1339 d1340

= ($--/=){-(a, b)-} d1338

where

d1338 = derived__Prelude_Eq_188_20{-a b-} d1339 d1340

{-

d1338 :: 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 d1346 d1347

= super{-(Eq (a, b))-} d1345

where

d1348 = super1_Ord{-a-} d1346

d1349 = super1_Ord{-b-} d1347

d1345 = derived__Prelude_Eq_188_20{-a b-} d1348 d1349

{-

d1348 :: Eq a

d1349 :: Eq b

d1345 :: Eq (a, b)

-}

compare d1363 d1364 ((,){-a b-} x1 x2)

((,){-a b-} y1 y2)

= lexOrder (compare{-a-} d1363 x1 y1)

(compare{-b-} d1364 x2 y2)

(<) d1368 d1369

= ($--<){-(a, b)-} d1367

where

d1367

= derived__Prelude_Ord_188_24{-a b-} d1368 d1369

{-

d1367 :: Ord (a, b)

-}

(<=) d1375 d1376

= ($--<=){-(a, b)-} d1374

where

d1374

= derived__Prelude_Ord_188_24{-a b-} d1375 d1376

{-

d1374 :: Ord (a, b)

-}

(>=) d1382 d1383

= ($-->=){-(a, b)-} d1381

where

d1381

= derived__Prelude_Ord_188_24{-a b-} d1382 d1383

{-

d1381 :: Ord (a, b)

-}

(>) d1389 d1390

= ($-->){-(a, b)-} d1388

where

d1388

= derived__Prelude_Ord_188_24{-a b-} d1389 d1390

{-

d1388 :: Ord (a, b)

-}

max d1396 d1397

= default__max{-(a, b)-} d1395

where

d1395

= derived__Prelude_Ord_188_24{-a b-} d1396 d1397

{-

d1395 :: Ord (a, b)

-}

min d1403 d1404

= default__min{-(a, b)-} d1402

where

d1402

= derived__Prelude_Ord_188_24{-a b-} d1403 d1404

{-

d1402 :: 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 d1423 d1424 d ((,){-a b-} x1 x2)

= showParenArg d

((.){-String String String-} (showString "(,)")

((.){-String String String-}

(showArgument{-a-} d1423 x1)

(showArgument{-b-} d1424 x2)))

show d1428 d1429

= default__show{-(a, b)-} d1427

where

d1427

= derived__Prelude_Show_188_14{-a b-} d1428 d1429

{-

d1427 :: Show (a, b)

-}

showList d1435 d1436

= default__showList{-(a, b)-} d1434

where

d1434

= derived__Prelude_Show_188_14{-a b-} d1435 d1436

{-

d1434 :: 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

(==) d1458 d1459 d1460 ((,,){-a b c-} x1 x2 x3)

((,,){-a b c-} y1 y2 y3)

= (&&) ((==){-a-} d1458 x1 y1)

((&&) ((==){-b-} d1459 x2 y2)

((==){-c-} d1460 x3 y3))

(/=) d1464 d1465 d1466

= ($--/=){-(a, b, c)-} d1463

where

d1463

= derived__Prelude_Eq_192_20{-a b c-} d1464 d1465

d1466

{-

d1463 :: 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 d1473 d1474 d1475

= super{-(Eq (a, b, c))-} d1472

where

d1476 = super1_Ord{-a-} d1473

d1477 = super1_Ord{-b-} d1474

d1478 = super1_Ord{-c-} d1475

d1472

= derived__Prelude_Eq_192_20{-a b c-} d1476 d1477

d1478

{-

d1476 :: Eq a

d1477 :: Eq b

d1478 :: Eq c

d1472 :: Eq (a, b, c)

-}

compare d1498 d1499 d1500 ((,,){-a b c-} x1 x2 x3)

((,,){-a b c-} y1 y2 y3)

= lexOrder (compare{-a-} d1498 x1 y1)

(lexOrder (compare{-b-} d1499 x2 y2)

(compare{-c-} d1500 x3 y3))

(<) d1504 d1505 d1506

= ($--<){-(a, b, c)-} d1503

where

d1503

= derived__Prelude_Ord_192_24{-a b c-} d1504 d1505

d1506

{-

d1503 :: Ord (a, b, c)

-}

(<=) d1513 d1514 d1515

= ($--<=){-(a, b, c)-} d1512

where

d1512

= derived__Prelude_Ord_192_24{-a b c-} d1513 d1514

d1515

{-

d1512 :: Ord (a, b, c)

-}

(>=) d1522 d1523 d1524

= ($-->=){-(a, b, c)-} d1521

where

d1521

= derived__Prelude_Ord_192_24{-a b c-} d1522 d1523

d1524

{-

d1521 :: Ord (a, b, c)

-}

(>) d1531 d1532 d1533

= ($-->){-(a, b, c)-} d1530

where

d1530

= derived__Prelude_Ord_192_24{-a b c-} d1531 d1532

d1533

{-

d1530 :: Ord (a, b, c)

-}

max d1540 d1541 d1542

= default__max{-(a, b, c)-} d1539

where

d1539

= derived__Prelude_Ord_192_24{-a b c-} d1540 d1541

d1542

{-

d1539 :: Ord (a, b, c)

-}

min d1549 d1550 d1551

= default__min{-(a, b, c)-} d1548

where

d1548

= derived__Prelude_Ord_192_24{-a b c-} d1549 d1550

d1551

{-