В этом разделе описываются расширения типов-классов GHC. Подробная информация содержится в статье Type classes: exploring the design space (Simon Peyton Jones, Mark Jones, Erik Meijer).
- 6.8.1. Многопараметрические типы-классы
- 6.8.2. Неразрешимые (или рекурсивные) суперклассы
- 6.8.3. Типы ограниченных методов класса
- 6.8.4. Подписи методов по умолчанию
- 6.8.5. Подробные требования к подписям типов по умолчанию
- 6.8.6. Нульарные типы-классы
- 6.8.7. Функциональные зависимости
- 6.8.8. Объявления и разрешение экземпляров
