Spec-Zone.ru › Haskell 9

6.11. Сигнатуры типов

  • 6.11.1. Явная универсальная квантификация (forall)
  • 6.11.2. Неоднозначные типы и проверка неоднозначности
  • 6.11.3. Именованные объявления default
  • 6.11.4. Квантификация с явно указанными родами
  • 6.11.5. Лексически ограниченные переменные типов
  • 6.11.6. Неявные параметры
  • 6.11.7. Частичные сигнатуры типов

© 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.14.1/docs/users_guide/exts/type_signatures.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API