GHC.Records
| Авторское право | (c) Adam Gundry 2015-2016 |
|---|---|
| Лицензия | see libraries/base/LICENSE |
| Сопровождающий | ghc-devs@haskell.org |
| Стабильность | внутренняя |
| Переносимость | непереносимый (расширения GHC) |
| Безопасный Haskell | Безопасный |
| Язык | Haskell2010 |
Описание
Этот модуль определяет класс HasField, используемый расширением OverloadedRecordDot. Дополнительные сведения см. на странице вики.
Начиная с: base-4.10.0.0
class HasField (x :: k) (r :: TYPE r_rep) (a :: TYPE a_rep) | x r -> a where Источник
Ограничение, представляющее факт, что поле x принадлежит типу записи r и имеет тип поля a. Оно будет разрешено автоматически, но также можно предоставить экземпляры вручную.
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.14.1/docs/libraries/base-4.22.0.0-66f8/GHC-Records.html
