:: [LHsTyVarBndr GhcRn]
-> ([TyVar] -> TcM (a, TyVarSet))	Thing inside returns the set of variables bound in the scope. See Note [Scope-check inferred kinds]
-> TcM (a, TyVarSet)	returns augmented bound vars No cloning: returned TyVars have the same Name as the incoming LHsTyVarBndrs

kcLookupTcTyCon :: Name -> TcM TcTyCon Source #

kcTyClTyVars :: Name -> TcM a -> TcM a Source #

Bring tycon tyvars into scope. This is used during the "kind-checking" pass in TcTyClsDecls. (Never in getInitialKind, never in the "type-checking"/desugaring pass.) Never emits constraints, though the thing_inside might.

tcTyClTyVars :: Name -> ([TyConBinder] -> Kind -> TcM a) -> TcM a Source #

Used for the type variables of a type or class decl on the second full pass (type-checking/desugaring) in TcTyClDecls. This is *not* used in the initial-kind run, nor in the "kind-checking" pass. Accordingly, everything passed to the continuation is fully zonked.

(tcTyClTyVars T [a,b] thing_inside) where T : forall k1 k2 (a:k1 -> *) (b:k1). k2 -> * calls thing_inside with arguments [k1,k2,a,b] [k1:*, k2:*, Anon (k1 -> *), Anon k1] (k2 -> *) having also extended the type environment with bindings for k1,k2,a,b

Never emits constraints.

The LHsTyVarBndrs is always user-written, and the full, generalised kind of the tycon is available in the local env.

tcDataKindSig Source #

Arguments

:: DataKindCheck	Do we require the result to be *?
-> Kind
-> TcM ([TyConBinder], Kind)

data DataKindCheck Source #

Constructors

LiftedDataKind
LiftedOrVarDataKind
AnyDataKind

kcLHsQTyVars Source #

Arguments

:: Name	of the thing being checked
-> TyConFlavour	What sort of `TyCon` is being checked
-> Bool	True = the decl being checked has a CUSK
-> Bool	True = all the hsq_implicit are kind vars (will give these kind * if -XNoTypeInType)
-> LHsQTyVars GhcRn
-> TcM (Kind, r)	The result kind, possibly with other info
-> TcM (TcTyCon, r)	A suitably-kinded TcTyCon

Kind-check a LHsQTyVars. If the decl under consideration has a complete, user-supplied kind signature (CUSK), generalise the result. Used in getInitialKind (for tycon kinds and other kinds) and in kind-checking (but not for tycon kinds, which are checked with tcTyClDecls). See also Note [Complete user-supplied kind signatures] in HsDecls.

This function does not do telescope checking.

kcLHsTyVarBndrs :: Bool -> [LHsTyVarBndr GhcRn] -> TcM r -> TcM ([TyVar], r) Source #

tcWildCardBinders :: [Name] -> ([(Name, TcTyVar)] -> TcM a) -> TcM a Source #

tcHsLiftedType :: LHsType GhcRn -> TcM TcType Source #

tcHsOpenType :: LHsType GhcRn -> TcM TcType Source #

tcHsLiftedTypeNC :: LHsType GhcRn -> TcM TcType Source #

tcHsOpenTypeNC :: LHsType GhcRn -> TcM TcType Source #

tcLHsType :: LHsType GhcRn -> TcM (TcType, TcKind) Source #

tcLHsTypeUnsaturated :: LHsType GhcRn -> TcM (TcType, TcKind) Source #

tcCheckLHsType :: LHsType GhcRn -> Kind -> TcM TcType Source #

tcHsContext :: LHsContext GhcRn -> TcM [PredType] Source #

tcLHsPredType :: LHsType GhcRn -> TcM PredType Source #

tcInferApps Source #

Arguments

:: TcTyMode
-> Maybe (VarEnv Kind)	Possibly, kind info (see above)
-> LHsType GhcRn	Function (for printing only)
-> TcType	Function (could be knot-tied)
-> TcKind	Function kind (zonked)
-> [LHsType GhcRn]	Args
-> TcM (TcType, [TcType], TcKind)	(f args, args, result kind)

Apply a type of a given kind to a list of arguments. This instantiates invisible parameters as necessary. Always consumes all the arguments, using matchExpectedFunKind as necessary. This takes an optional VarEnv Kind which maps kind variables to kinds. These kinds should be used to instantiate invisible kind variables; they come from an enclosing class for an associated type/data family.

solveEqualities :: TcM a -> TcM a Source #

Type-check a thing that emits only equality constraints, then solve those constraints. Fails outright if there is trouble.

typeLevelMode :: TcTyMode Source #

kindLevelMode :: TcTyMode Source #

kindGeneralize :: TcType -> TcM [KindVar] Source #

checkExpectedKindX :: Maybe (VarEnv Kind) -> SDoc -> TcType -> TcKind -> TcKind -> TcM (TcType, [TcType], TcCoercionN) Source #

instantiateTyUntilN Source #

Arguments

:: Maybe (VarEnv Kind)	Possibly, instantiations for vars
-> Int	n
-> TcType	the type
-> TcKind	its kind
-> TcM (TcType, [TcType], TcKind)	The inst'ed type, new args, final kind

Instantiate a type to have at most n invisible arguments.

reportFloatingKvs :: Name -> TyConFlavour -> [TcTyVar] -> [TcTyVar] -> TcM () Source #

tcLHsKindSig :: LHsKind GhcRn -> TcM Kind Source #

tcHsPatSigType :: UserTypeCtxt -> LHsSigWcType GhcRn -> TcM ([(Name, TcTyVar)], [(Name, TcTyVar)], TcType) Source #

tcPatSig :: Bool -> LHsSigWcType GhcRn -> ExpSigmaType -> TcM (TcType, [(Name, TcTyVar)], [(Name, TcTyVar)], HsWrapper) Source #

funAppCtxt :: (Outputable fun, Outputable arg) => fun -> arg -> Int -> SDoc Source #

Make an appropriate message for an error in a function argument. Used for both expressions and types.

FunSigCtxt Name Bool
InfSigCtxt Name
ExprSigCtxt
TypeAppCtxt
ConArgCtxt Name
TySynCtxt Name
PatSynCtxt Name
PatSigCtxt
RuleSigCtxt Name
ResSigCtxt
ForSigCtxt Name
DefaultDeclCtxt
InstDeclCtxt
SpecInstCtxt
ThBrackCtxt
GenSigCtxt
GhciCtxt
ClassSCCtxt Name
SigmaCtxt
DataTyCtxt Name