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