- 6.11.1. Явное универсальное квантификация (forall)
- 6.11.2. Неоднозначные типы и проверка неоднозначности
- 6.11.3. Объявления с именованными значениями по умолчанию
- 6.11.4. Явно-типчатое квантификация
- 6.11.5. Лексически-определяемые переменные типа
- 6.11.6. Неявные параметры
- 6.11.7. Частичные сигнатуры типов
6.11. Типы сигнатур
© 2002–2007 The University Court of the University of Glasgow. All rights reserved.
Licensed under the Glasgow Haskell Compiler License.
https://downloads.haskell.org/~ghc/9.12.1/docs/users_guide/exts/type_signatures.html
