From eaf0a0b51f452398f3c64882a334f90b920df794 Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Thu, 13 Mar 2014 08:53:41 +0100 Subject: Display minimal complete definitions for type classes This corresponds to the new {-# MINIMAL #-} pragma present in GHC 7.8+. I also cleaned up some of the places in which ExportDecl is used to make adding fields easier in the future. Lots of test cases have been updated since they now render with minimality information. --- html-test/ref/Minimal.html | 273 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 273 insertions(+) create mode 100644 html-test/ref/Minimal.html (limited to 'html-test/ref/Minimal.html') diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html new file mode 100644 index 00000000..f062dc8c --- /dev/null +++ b/html-test/ref/Minimal.html @@ -0,0 +1,273 @@ + +Minimal

 

Safe HaskellSafe-Inferred

Minimal

Description

This tests the new MINIMAL pragma present in GHC 7.8

Documentation

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

Minimal complete definition

a, b, c | d | e, (f | g)

Methods

a, g, f, e, d, c, b :: a

class NoMins a where

Minimal complete definition

x, y

Methods

x, z, y :: a

class FullMin a where

Methods

aaa, bbb :: a

class PartialMin a where

Minimal complete definition

ccc, ddd

Methods

ccc :: a

class EmptyMin a where

Minimal complete definition

Nothing

Methods

eee, fff :: a

-- cgit v1.2.3