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, bat, bar :: a
Any two of these are required...
fooBarBat :: (a, a, a)
.. or just this
class Weird a where
a, b, c | d | e, (f | g)
a, g, f, e, d, c, b :: a
class NoMins a where
x, y
x, z, y :: a
class FullMin a where
aaa, bbb :: a
class PartialMin a where
ccc, ddd
ccc :: a
class EmptyMin a where
Nothing
eee, fff :: a