planet-mitchell-0.0.0: Planet Mitchell
Field
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.
x
r
a
Minimal complete definition
getField
Methods
getField :: r -> a #
Selector function to extract the field from the record.