GHC.Tc.Utils.Instantiate · ghc-10.0.0.20260917

:: ([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])

#

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])

#

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])

#

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)

#

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 (GhcPass p))
-> 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 (GhcPass p)) -> 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)

#

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

#

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

valuetyCoVarsOfCt :: Ct -> TcTyCoVarSet

#

Returns free variables of constraints as a non-deterministic set This must consult only the ctPred, so that it gets *tidied* fvs if the constraint has been tidied. Tidying a constraint does not tidy the fields of the Ct, only the predicate in the CtEvidence.

valuetyCoVarsOfCts :: Cts -> TcTyCoVarSet

#

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