/Haskell 8


Copyright (c) Adam Gundry 2015-2016
License see libraries/base/LICENSE
Maintainer [email protected]
Stability internal
Portability non-portable (GHC extensions)
Safe Haskell Safe
Language Haskell2010


This module defines the HasField class used by the OverloadedRecordFields extension. See the <https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields wiki page> for more details.

class HasField x r a | x r -> a where Source

Constraint representing the fact that the field x belongs to the record type r and has field type a. This will be solved automatically, but manual instances may be provided as well.


getField :: r -> a Source

Selector function to extract the field from the record.

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).