Spec-Zone.ru › Haskell 8

GHC.Records

Авторские права (c) Adam Gundry 2015-2016
Лицензия см. libraries/base/LICENSE
Поддержка cvs-ghc@haskell.org
Стабильность внутренняя
Переносимость непереносимая (расширения GHC)
Safe Haskell Safe-Inferred
Язык Haskell2010

Описание

В этом модуле определен класс HasField используемый расширением OverloadedRecordFields. Для получения дополнительной информации см. страницу вики <https://gitlab.haskell.org/ghc/ghc/wikis/records/overloaded-record-fields wiki page>.

class HasField x r a | x r -> a where Исходный код

Ограничение, указывающее на то, что поле x принадлежит типу записи r и имеет тип поля a. Это будет решено автоматически, но также могут быть предоставлены ручные реализации.

Методы

getField :: r -> 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/GHC-Records.html

Spec-Zone.ru

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