planet-mitchell-0.1.0: Planet Mitchell

Safe HaskellSafe
LanguageHaskell2010

Field

Synopsis
  • class HasField (x :: k) r a | x r -> a where

    Documentation

    class HasField (x :: k) r a | x r -> a where #

    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.

    Minimal complete definition

    getField

    Methods

    getField :: r -> a #

    Selector function to extract the field from the record.