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

kcLookupKind :: Name -> TcM Kind Source

kcTyClTyVars Source

Arguments

:: Name	of the tycon
-> LHsQTyVars Name
-> TcM a
-> TcM a

"Kind check" the tyvars to a tycon. This is used during the "kind-checking" pass in TcTyClsDecls. (Never in getInitialKind, never in the "type-checking"/desugaring pass.) It works only for LHsQTyVars associated with a tycon, whose kind is known (partially) via getInitialKinds. Never emits constraints, though the thing_inside might.

tcTyClTyVars :: Name -> LHsQTyVars Name -> ([TyVar] -> [TyVar] -> Kind -> 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.

(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] (forall (k1:*) (k2:*) (a:k1 -> *) (b:k1). k2 -> *) (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.

tcHsConArgType :: NewOrData -> LHsType Name -> TcM Type Source

tcDataKindSig :: Kind -> TcM [TyVar] Source

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

kcHsTyVarBndrs Source

Arguments

:: Bool	True = the decl being checked has a CUSK
-> LHsQTyVars Name
-> ([TyVar] -> [TyVar] -> TcM (Kind, r))	the result kind, possibly with other info ^ args are implicit vars, explicit vars
-> TcM (Kind, r)	The full kind of the thing being declared, with the other info

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.

tcHsLiftedType :: LHsType Name -> TcM TcType Source

tcHsOpenType :: LHsType Name -> TcM TcType Source

tcHsLiftedTypeNC :: LHsType Name -> TcM TcType Source

tcHsOpenTypeNC :: LHsType Name -> TcM TcType Source

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

tcCheckLHsType :: LHsType Name -> Kind -> TcM Type Source

tcHsContext :: LHsContext Name -> TcM [PredType] Source

tcLHsPredType :: LHsType Name -> TcM PredType Source

tcInferApps Source

Arguments

:: Outputable fun
=> TcTyMode
-> fun	Function (for printing only)
-> TcType	Function (could be knot-tied)
-> TcKind	Function kind (zonked)
-> [LHsType Name]	Args
-> TcM (TcType, TcKind)	(f args, result kind)

Applies a type to a list of arguments. Always consumes all the arguments.

tcInferArgs Source

Arguments

:: Outputable fun
=> fun	the function
-> TcKind	function kind (zonked)
-> Maybe (VarEnv Kind)	possibly, kind info (see above)
-> [LHsType Name]	args
-> TcM (TcKind, [TcType], [LHsType Name], Int)	(result kind, typechecked args, untypechecked args, n)

Apply a type of a given kind to a list of arguments. This instantiates invisible parameters as necessary. However, it does *not* necessarily apply all the arguments, if the kind runs out of binders. 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. This version will instantiate all invisible arguments left over after the visible ones.

solveEqualities :: TcM a -> TcM a Source

Type-check a thing that emits only equality constraints, then solve those constraints. Emits errors -- but does not fail -- if there is trouble.

kindGeneralize :: TcType -> TcM [KindVar] Source

tcLHsKind :: LHsKind Name -> TcM Kind Source

tcHsPatSigType :: UserTypeCtxt -> LHsSigWcType Name -> TcM (Type, [TcTyVar], [(Name, TcTyVar)]) Source

tcPatSig :: Bool -> LHsSigWcType Name -> ExpSigmaType -> TcM (TcType, [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