Field

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.