blob: f3f63f6f5dc6adf152bae62783964d5d0f4b558b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
.. _type-class-extensions:
Class and instances declarations
================================
This section documents GHC's type-class extensions.
There's lots of background in the paper `Type classes: exploring the
design
space <http://research.microsoft.com/~simonpj/Papers/type-class-design-space/>`__
(Simon Peyton Jones, Mark Jones, Erik Meijer).
.. toctree::
:maxdepth: 1
multi_param_type_classes
flexible_contexts
undecidable_super_classes
constrained_class_methods
default_signatures
nullary_type_classes
functional_dependencies
instances
|