В этом разделе описаны расширения GHC для классов типов. Подробный контекст можно найти в статье Классы типов: исследование пространства проектирования (Саймон Пейтон-Джонс, Марк Джонс, Эрик Мейер).
- 6.8.1. Многопараметрические классы типов
- 6.8.2. Неопределимые (или рекурсивные) суперклассы
- 6.8.3. Типы методов классов с ограничениями
- 6.8.4. Сигнатуры методов по умолчанию
- 6.8.5. Подробные требования к сигнатурам типов по умолчанию
- 6.8.6. Нульарные классы типов
- 6.8.7. Функциональные зависимости
- 6.8.8. Объявления экземпляров и их разрешение
