Moduleghc-10.0.0.20260917GHC2024

GHC.Types.DefaultEnv

3 types
11 values

Packageghc-10.0.0.20260917
Exports14
LanguageGHC2024
LicenceBSD-3-Clause
SourceDefaultEnv.hs

datadata ClassDefaults

Defaulting type assignments for the given class.

Constructors

ClassDefaults
- cd_class :: Class
  The class whose defaults are being defined
- cd_types :: [Type]
- cd_provenance :: DefaultProvenance
  Where the defaults came from see Note [Default exports] in GHC.Tc.Gen.Export
- cd_warn :: Maybe (WarningTxt GhcRn)
  Warning emitted when the default is used

Instances2Data, Outputable

Data ClassDefaultsDefined in ghc-10.0.0.20260917 · GHC.Types.DefaultEnv
Outputable ClassDefaultsDefined in ghc-10.0.0.20260917 · GHC.Types.DefaultEnv

datadata DefaultProvenance

The provenance of a collection of default types for a class. see Note [DefaultProvenance] for more details

Constructors

DP_Local
A locally defined default declaration.
- defaultDeclLoc :: SrcSpan
  The SrcSpan of the default declaration
- defaultDeclH98 :: Bool
  Is this a Haskell 98 default declaration?
DP_Builtin
Built-in class defaults.
DP_Imported Module
Imported class defaults.

Instances3Eq, Data, Outputable

Eq DefaultProvenanceDefined in ghc-10.0.0.20260917 · GHC.Types.DefaultEnv
Data DefaultProvenanceDefined in ghc-10.0.0.20260917 · GHC.Types.DefaultEnv
Outputable DefaultProvenanceDefined in ghc-10.0.0.20260917 · GHC.Types.DefaultEnv

typetype DefaultEnv = NameEnv ClassDefaults

Default environment mapping class name Name to their default type lists

NB: this includes Haskell98 default declarations, at the Num key.

valueemptyDefaultEnv :: DefaultEnv

valueisEmptyDefaultEnv :: DefaultEnv -> Bool

valuedefaultEnv :: [ClassDefaults] -> DefaultEnv

valueunitDefaultEnv :: ClassDefaults -> DefaultEnv

valuelookupDefaultEnv :: DefaultEnv -> Name -> Maybe ClassDefaults

valuefilterDefaultEnv :: (ClassDefaults -> Bool) -> DefaultEnv -> DefaultEnv

valuedefaultList :: DefaultEnv -> [ClassDefaults]

valueplusDefaultEnv :: DefaultEnv -> DefaultEnv -> DefaultEnv

valuemkDefaultEnv :: [(Name, ClassDefaults)] -> DefaultEnv

Create a DefaultEnv from a list of (Name, ClassDefaults) pairs it is useful if we don't want to poke into the ClassDefaults structure to get the Name of the class, it can be problematic, see #25858

valueinsertDefaultEnv :: ClassDefaults -> DefaultEnv -> DefaultEnv

valueisHaskell2010Default :: DefaultProvenance -> Bool