Data.Kind
| Лицензия | BSD-стиль (см. файл LICENSE в дистрибутиве) |
|---|---|
| Поддерживающий | libraries@haskell.org |
| Стабильность | экспериментальная |
| Переносимость | не переносимая |
| Safe Haskell | Надежный |
| Язык | Haskell2010 |
Описание
Основные виды
С момента: base-4.9.0.0
type Type = Type Исходный код
Вид типов с поднятыми значениями. Например Int :: Type.
data Constraint Исходный код
Вид ограничений, например Show a.
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/base-4.14.1.0/Data-Kind.html
