Moduleghc-9.14.1GHC2021

GHC.Types.DefaultEnv

Synopsis

data ClassDefaults
data DefaultProvenance
type DefaultEnv
value emptyDefaultEnv
value isEmptyDefaultEnv
value defaultEnv
value unitDefaultEnv
value lookupDefaultEnv
value filterDefaultEnv
value defaultList
value plusDefaultEnv
value mkDefaultEnv
value insertDefaultEnv
value isHaskell2010Default

Packageghc-9.14.1
Exports14
LanguageGHC2021
LicenceBSD-3-Clause
SourceDefaultEnv.hs

datadata ClassDefaults

Source#

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-9.14.1 · GHC.Types.DefaultEnv
Outputable ClassDefaultsDefined in ghc-9.14.1 · GHC.Types.DefaultEnv

datadata DefaultProvenance

Source#

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-9.14.1 · GHC.Types.DefaultEnv
Data DefaultProvenanceDefined in ghc-9.14.1 · GHC.Types.DefaultEnv
Outputable DefaultProvenanceDefined in ghc-9.14.1 · GHC.Types.DefaultEnv

typetype DefaultEnv = NameEnv ClassDefaults

Source#

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

Source#

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