equal
deleted
inserted
replaced
7 advanced material: |
7 advanced material: |
8 \begin{itemize} |
8 \begin{itemize} |
9 \item More about basic types: numbers ({\S}\ref{sec:numbers}), pairs |
9 \item More about basic types: numbers ({\S}\ref{sec:numbers}), pairs |
10 ({\S}\ref{sec:products}) and records ({\S}\ref{sec:records}), and how to |
10 ({\S}\ref{sec:products}) and records ({\S}\ref{sec:records}), and how to |
11 reason about them. |
11 reason about them. |
|
12 \item Type classes: how to specify and reason about axiomatic collections of |
|
13 types ({\S}\ref{sec:axclass}). |
12 \item Introducing your own types: how to introduce new types that |
14 \item Introducing your own types: how to introduce new types that |
13 cannot be constructed with any of the basic methods |
15 cannot be constructed with any of the basic methods |
14 ({\S}\ref{sec:adv-typedef}). |
16 ({\S}\ref{sec:adv-typedef}). |
15 \item Type classes: how to specify and reason about axiomatic collections of |
|
16 types ({\S}\ref{sec:axclass}). |
|
17 \end{itemize} |
17 \end{itemize} |
|
18 |
|
19 The material in this section goes beyond the needs of most novices. Serious |
|
20 users should at least skim the sections on basic types and on type classes. |
|
21 The latter is fairly advanced: read the beginning to understand what it is |
|
22 about, but consult the rest only when necessary. |
18 |
23 |
19 \section{Numbers} |
24 \section{Numbers} |
20 \label{sec:numbers} |
25 \label{sec:numbers} |
21 |
26 |
22 \input{Types/numerics} |
27 \input{Types/numerics} |
25 \input{Types/document/Pairs} |
30 \input{Types/document/Pairs} |
26 \index{pair|)} |
31 \index{pair|)} |
27 |
32 |
28 \section{Records} |
33 \section{Records} |
29 \label{sec:records} |
34 \label{sec:records} |
30 |
|
31 \input{Types/document/Typedef} |
|
32 |
35 |
33 \section{Axiomatic type classes} |
36 \section{Axiomatic type classes} |
34 \label{sec:axclass} |
37 \label{sec:axclass} |
35 \index{axiomatic type class|(} |
38 \index{axiomatic type class|(} |
36 \index{*axclass|(} |
39 \index{*axclass|(} |
60 |
63 |
61 \input{Types/document/Axioms} |
64 \input{Types/document/Axioms} |
62 |
65 |
63 \index{axiomatic type class|)} |
66 \index{axiomatic type class|)} |
64 \index{*axclass|)} |
67 \index{*axclass|)} |
|
68 |
|
69 |
|
70 \input{Types/document/Typedef} |