Minimal
Description
This tests the new MINIMAL pragma present in GHC 7.8
class Foo a where #
Minimal complete definition
foo, bar | bar, bat | foo, bat | fooBarBat
Methods
foo :: a #
Any two of these are required...
bar :: a #
bat :: a #
fooBarBat :: (a, a, a) #
.. or just this
class Weird a where #
(a, b, c | (d | e, (f | g)))
a :: a #
b :: a #
c :: a #
d :: a #
e :: a #
f :: a #
g :: a #
class NoMins a where #
x, y
x :: a #
y :: a #
z :: a #
class FullMin a where #
aaa :: a #
bbb :: a #
class PartialMin a where #
ccc, ddd
ccc :: a #
class EmptyMin a where #
Nothing
eee :: a #
fff :: a #