blob: 23f0c118ab637188aaa55d920d68426e5a28e1b8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
.. _data-type-extensions:
Types
=====
.. toctree::
:maxdepth: 1
nullary_types
datatype_contexts
infix_tycons
type_operators
liberal_type_synonyms
existential_quantification
gadt_syntax
gadt
type_families
data_kinds
poly_kinds
representation_polymorphism
type_literals
type_applications
rank_polymorphism
impredicative_types
linear_types
type_errors
defer_type_errors
roles
|