A map from labels to all the auxiliary information
Moduleghc-10.0.0.20260917GHC2024
GHC.Types.FieldLabel
Synopsis
- type FieldLabelEnv
- data FieldLabel
- value flLabel
- data DuplicateRecordFields
- data FieldSelectors
- value flIsOverloaded
- Packageghc-10.0.0.20260917
- Exports6
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourceFieldLabel.hs
Fields in an algebraic record type; see Note [FieldLabel].
Constructors
FieldLabelflHasDuplicateRecordFields :: DuplicateRecordFieldsWas
DuplicateRecordFieldson in the defining module for this datatype?flHasFieldSelector :: FieldSelectorsWas
FieldSelectorsenabled in the defining module for this datatype? See Note [NoFieldSelectors] in GHC.Rename.EnvflSelector :: NameThe Name of the selector function, which uniquely identifies the field label.
Instances6Eq, Data, NFData, Outputable, Binary, HasOccName
Eq FieldLabelDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelData FieldLabelDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelNFData FieldLabelDefined in ghc-10.0.0.20260917 · GHC.Types.Name · orphanOutputable FieldLabelDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelBinary Name => Binary FieldLabelDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelWe need the
Binary Nameconstraint here even though there is an instance defined in GHC.Types.Name, because the we have a SOURCE import, so the instance is not in scope. And the instance cannot be added to Name.hs-boot because GHC.Utils.Binary itself depends on GHC.Types.Name.HasOccName FieldLabelDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabel
User-visible label of a field.
Flag to indicate whether the DuplicateRecordFields extension is enabled.
Constructors
DuplicateRecordFieldsFields may be duplicated in a single module
NoDuplicateRecordFieldsFields must be unique within a module (the default)
Instances6Eq, Data, Show, NFData, Outputable, Binary
Eq DuplicateRecordFieldsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelData DuplicateRecordFieldsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelShow DuplicateRecordFieldsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelNFData DuplicateRecordFieldsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelOutputable DuplicateRecordFieldsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelBinary DuplicateRecordFieldsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabel
Flag to indicate whether the FieldSelectors extension is enabled.
Constructors
FieldSelectorsSelector functions are available (the default)
NoFieldSelectorsSelector functions are not available
Instances6Eq, Data, Show, NFData, Outputable, Binary
Eq FieldSelectorsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelData FieldSelectorsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelShow FieldSelectorsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelNFData FieldSelectorsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelOutputable FieldSelectorsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabelBinary FieldSelectorsDefined in ghc-10.0.0.20260917 · GHC.Types.FieldLabel