GHC.Records
| Авторские права | (c) Adam Gundry 2015-2016 |
|---|---|
| Лицензия | см. libraries/base/LICENSE |
| Поддержка | ghc-devs@haskell.org |
| Стабильность | внутренняя |
| Переносимость | непереносимая (расширения GHC) |
| Safe Haskell | Безопасный |
| Язык | Haskell2010 |
Описание
В этом модуле определен класс HasField , используемый расширением OverloadedRecordFields. Дополнительные сведения см. на странице вики <https://gitlab.haskell.org/ghc/ghc/wikis/records/overloaded-record-fields wiki page>.
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.12.1/docs/libraries/base-4.21.0.0-8e62/GHC-Records.html
