ghc-9.13: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Gen.Default

Description

Typechecking default declarations

Synopsis

Documentation

tcDefaultDecls :: [LDefaultDecl GhcRn] -> TcM [LocatedA ClassDefaults] Source #

Typecheck a collection of default declarations. These can be either:

  • Haskell 98 default declarations, of the form default (Float, Double)
  • Named default declarations, of the form default Cls(Int, Char). See Note [Named default declarations]

extendDefaultEnvWithLocalDefaults :: [LocatedA ClassDefaults] -> TcM a -> TcM a Source #

Extend the default environment with the local default declarations and do the action in the extended environment.