Safe Haskell | None |
---|---|
Language | GHC2021 |
GHC.Tc.Gen.Default
Description
Typechecking default
declarations
Synopsis
- tcDefaultDecls :: [LDefaultDecl GhcRn] -> TcM [LocatedA ClassDefaults]
- extendDefaultEnvWithLocalDefaults :: [LocatedA ClassDefaults] -> TcM a -> TcM a
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.