Moduleghc-9.14.1GHC2021

GHC.Tc.Utils.Instantiate

Synopsis

value topSkolemise
value skolemiseRequired
value topInstantiate
value instantiateSigma
value instCall
value instDFunType
value instStupidTheta
value instTyVarsWith
value newWanted
value newWanteds
value tcInstType
value tcInstTypeBndrs
value tcSkolemiseInvisibleBndrs
value tcInstSkolTyVars
value tcInstSkolTyVarsX
value tcInstSkolTyVarBndrsX
value tcSkolDFunType
value tcSuperSkolTyVars
value tcInstSuperSkolTyVarsX
value freshenTyVarBndrs
value freshenCoVarBndrsX
value tcInstInvisibleTyBindersN
value tcInstInvisibleTyBinders
value tcInstInvisibleTyBinder
value newOverloadedLit
value mkOverLit
value newClsInst
value newFamInst
value tcGetInsts
value tcGetInstEnvs
value getOverlapFlag
value tcExtendLocalInstEnv
value instCallConstraints
value newMethodFromName
value tcSyntaxName
value tyCoVarsOfWC
value tyCoVarsOfCt
value tyCoVarsOfCts

Packageghc-9.14.1
Exports38
LanguageGHC2021
LicenceBSD-3-Clause
SourceTcMType.hs

valuetopSkolemise

:: SkolemInfo
-> TcSigmaType
-> TcM (HsWrapper, [(Name, TcInvisTVBinder)], [EvVar], TcRhoType)

valueskolemiseRequired

:: SkolemInfo
-> VisArity
-> TcSigmaType
-> TcM (VisArity, HsWrapper, [Name], [ForAllTyBinder], [EvVar], TcRhoType)

valuetopInstantiate :: CtOrigin -> TcSigmaType -> TcM (HsWrapper, TcRhoType)

valueinstantiateSigma

:: CtOrigin
-> ConcreteTyVars
concreteness information
-> [TyVar]
-> TcThetaType
-> TcSigmaType
-> TcM ([TcTyVar], HsWrapper, TcSigmaType)

valueinstCall :: CtOrigin -> [TcType] -> TcThetaType -> TcM HsWrapper

valueinstDFunType :: DFunId -> [DFunInstType] -> TcM ([TcType], TcThetaType)

valueinstStupidTheta :: CtOrigin -> TcThetaType -> TcM ()

valueinstTyVarsWith :: CtOrigin -> [TyVar] -> [TcType] -> TcM Subst

valuenewWanted :: CtOrigin -> Maybe TypeOrKind -> PredType -> TcM CtEvidence

Source#

Create a new Wanted constraint with the given CtOrigin, and location information taken from the TcM environment.

valuenewWanteds :: CtOrigin -> ThetaType -> TcM [CtEvidence]

Source#

Create new Wanted constraints with the given CtOrigin, and location information taken from the TcM environment.

valuetcInstType

:: ([TyVar] -> TcM (Subst, [TcTyVar]))
How to instantiate the type variables
-> Id
Type to instantiate
-> TcM ([(Name, TcTyVar)], TcThetaType, TcType)
Result (type vars, preds (incl equalities), rho)

valuetcInstTypeBndrs

:: Type
-> TcM ([(Name, InvisTVBinder)], TcThetaType, TcType)

valuetcSkolemiseInvisibleBndrs

:: SkolemInfoAnon
-> Type
-> TcM ([TcTyVar], TcType)

valuetcInstSkolTyVars :: SkolemInfo -> [TyVar] -> TcM (Subst, [TcTyVar])

Source#

Given a list of [TyVar], skolemize the type variables, returning a substitution mapping the original tyvars to the skolems, and the list of newly bound skolems.

valuetcInstSkolTyVarsX

:: SkolemInfo
-> Subst
-> [TyVar]
-> TcM (Subst, [TcTyVar])

valuetcInstSkolTyVarBndrsX

:: SkolemInfo
-> Subst
-> [VarBndr TyCoVar vis]
-> TcM (Subst, [VarBndr TyCoVar vis])

valuetcSkolDFunType

:: Type
-> TcM (SkolemInfoAnon, [TcTyVar], TcThetaType, Class, [TcType])

valuetcSuperSkolTyVars :: TcLevel -> SkolemInfo -> [TyVar] -> (Subst, [TcTyVar])

valuetcInstSuperSkolTyVarsX

:: SkolemInfo
-> Subst
-> [TyVar]
-> TcM (Subst, [TcTyVar])

valuefreshenTyVarBndrs :: [TyVar] -> TcM (Subst, [TyVar])

Source#

Give fresh uniques to a bunch of TyVars, but they stay as TyVars, rather than becoming TcTyVars Used in GHC.Tc.Instance.Family.newFamInst, and newClsInst

valuefreshenCoVarBndrsX :: Subst -> [CoVar] -> TcM (Subst, [CoVar])

Source#

Give fresh uniques to a bunch of CoVars Used in "GHC.Tc.Instance.Family.newFamInst"

valuetcInstInvisibleTyBindersN :: Int -> TcKind -> TcM ([TcType], TcKind)

valuetcInstInvisibleTyBinders :: TcType -> TcKind -> TcM (TcType, TcKind)

Source#

Given ty::forall k1 k2. k, instantiate all the invisible forall-binders returning ty kk1 kk2 :: k[kk1k1, kk2k1] Called only to instantiate kinds, in user-written type signatures

valuetcInstInvisibleTyBinder :: Subst -> TyVar -> TcM (Subst, TcType)

valuenewOverloadedLit :: HsOverLit GhcRn -> ExpRhoType -> TcM (HsOverLit GhcTc)

valuemkOverLit :: OverLitVal -> TcM (HsLit GhcTc)

valuenewClsInst

:: Maybe OverlapMode
-> Name
-> [TyVar]
-> ThetaType
-> Class
-> [Type]
-> Maybe (WarningTxt GhcRn)
-> TcM ClsInst

valuenewFamInst :: FamFlavor -> CoAxiom Unbranched -> TcM FamInst

valuetcGetInsts :: TcM [ClsInst]

valuetcGetInstEnvs :: TcM InstEnvs

valuegetOverlapFlag :: Maybe OverlapMode -> TcM OverlapFlag

valuetcExtendLocalInstEnv :: [ClsInst] -> TcM a -> TcM a

valueinstCallConstraints :: CtOrigin -> TcThetaType -> TcM HsWrapper

valuenewMethodFromName

:: CtOrigin
why do we need this?
-> Name
name of the method
-> [TcRhoType]
types with which to instantiate the class
-> TcM (HsExpr GhcTc)

Source#

Used when Name is the wired-in name for a wired-in class method, so the caller knows its type for sure, which should be of form

forall a. C a => <blah>

newMethodFromName is supposed to instantiate just the outer type variable and constraint

valuetcSyntaxName

:: CtOrigin
-> TcType
Type to instantiate it at
-> (Name, HsExpr GhcRn)
(Standard name, user name)
-> TcM (Name, HsExpr GhcTc)
(Standard name, suitable expression) USED ONLY FOR CmdTop (sigh) *** See Note [CmdSyntaxTable] in GHC.Hs.Expr

valuetyCoVarsOfWC :: WantedConstraints -> TyCoVarSet

Source#

Returns free variables of WantedConstraints as a non-deterministic set. See Note [Deterministic FV] in GHC.Utils.FV.

valuetyCoVarsOfCt :: Ct -> TcTyCoVarSet

Source#

Returns free variables of constraints as a non-deterministic set

valuetyCoVarsOfCts :: Cts -> TcTyCoVarSet

Source#

Returns free variables of a bag of constraints as a non-deterministic set. See Note [Deterministic FV] in GHC.Utils.FV.