| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.ProtoLens.Field
Description
An implementation of overloaded record fields. This module enables different types in the same module to have fields of the same name.
To use instances from this class, either:
- Enable the
OverloadedLabelsextension andimport Data.ProtoLens.Labels (); - Use the
fieldfunction along with theTypeApplicationsextension; or, - Import the corresponding names from the autogenerated
*_Fieldsmodule.
For more information, see https://google.github.io/proto-lens/tutorial.html#field-overloading.
Documentation
class HasField s (x :: Symbol) a | s x -> a where Source #
A type class for lens fields.
The instance HasField s x a can be understood as "s has a field named x
of type a".