Safe Haskell | None |
---|---|
Language | GHC2021 |
Synopsis
- data Rank
- data UserTypeCtxt
- = FunSigCtxt Name ReportRedundantConstraints
- | InfSigCtxt Name
- | ExprSigCtxt ReportRedundantConstraints
- | KindSigCtxt
- | StandaloneKindSigCtxt Name
- | TypeAppCtxt
- | ConArgCtxt Name
- | TySynCtxt Name
- | PatSynCtxt Name
- | PatSigCtxt
- | RuleSigCtxt FastString Name
- | ForSigCtxt Name
- | DefaultDeclCtxt
- | InstDeclCtxt Bool
- | SpecInstCtxt
- | GenSigCtxt
- | GhciCtxt Bool
- | ClassSCCtxt Name
- | SigmaCtxt
- | DataTyCtxt Name
- | DerivClauseCtxt
- | TyVarBndrKindCtxt Name
- | DataKindCtxt Name
- | TySynKindCtxt Name
- | TyFamResKindCtxt Name
- checkValidType :: UserTypeCtxt -> Type -> TcM ()
- checkValidMonoType :: Type -> TcM ()
- checkValidTheta :: UserTypeCtxt -> ThetaType -> TcM ()
- checkValidInstance :: UserTypeCtxt -> LHsSigType GhcRn -> Type -> TcM ()
- checkValidInstHead :: UserTypeCtxt -> Class -> [Type] -> TcM ()
- validDerivPred :: PatersonSize -> PredType -> Bool
- checkTySynRhs :: UserTypeCtxt -> TcType -> TcM ()
- checkEscapingKind :: Type -> TcM ()
- checkValidCoAxiom :: CoAxiom Branched -> TcM ()
- checkValidCoAxBranch :: TyCon -> CoAxBranch -> TcM ()
- checkFamPatBinders :: TyCon -> [TcTyVar] -> TyVarSet -> [TcType] -> TcType -> TcM ()
- checkTyFamEqnValidityInfo :: TyCon -> TyFamEqnValidityInfo -> TcM ()
- checkValidTyFamEqn :: TyCon -> [Type] -> Type -> TcM ()
- checkValidAssocTyFamDeflt :: TyCon -> [Type] -> TcM ()
- checkConsistentFamInst :: AssocInstInfo -> TyCon -> CoAxBranch -> TcM ()
- checkTyConTelescope :: TyCon -> TcM ()
Documentation
ArbitraryRank | |
LimitedRank Bool Rank | |
MonoTypeRankZero | |
MonoTypeTyConArg | |
MonoTypeSynArg | |
MonoTypeConstraint | |
MustBeMonoType |
Instances
data UserTypeCtxt Source #
UserTypeCtxt describes the origin of the polymorphic type in the places where we need an expression to have that type
Instances
Eq UserTypeCtxt Source # | |
Defined in GHC.Tc.Types.Origin (==) :: UserTypeCtxt -> UserTypeCtxt -> Bool # (/=) :: UserTypeCtxt -> UserTypeCtxt -> Bool # |
checkValidType :: UserTypeCtxt -> Type -> TcM () Source #
checkValidMonoType :: Type -> TcM () Source #
checkValidTheta :: UserTypeCtxt -> ThetaType -> TcM () Source #
checkValidInstance :: UserTypeCtxt -> LHsSigType GhcRn -> Type -> TcM () Source #
checkValidInstHead :: UserTypeCtxt -> Class -> [Type] -> TcM () Source #
validDerivPred :: PatersonSize -> PredType -> Bool Source #
checkTySynRhs :: UserTypeCtxt -> TcType -> TcM () Source #
checkEscapingKind :: Type -> TcM () Source #
checkValidCoAxBranch :: TyCon -> CoAxBranch -> TcM () Source #
:: TyCon | |
-> [TcTyVar] | Bound on LHS of family instance |
-> TyVarSet | non-user-written tyvars |
-> [TcType] | LHS patterns |
-> TcType | RHS |
-> TcM () |
Check binders for a type or data family declaration.
Specifically, this function checks for:
- type variables used on the RHS but not bound (explicitly or implicitly) in the LHS,
- variables bound by a forall in the LHS but not used in the RHS.
See Note [Check type family instance binders].
checkTyFamEqnValidityInfo :: TyCon -> TyFamEqnValidityInfo -> TcM () Source #
Perform scoping check on a type family equation.
See TyFamEqnValidityInfo
.
Do validity checks on a type family equation, including consistency with any enclosing class instance head, termination, and lack of polytypes.
See also the separate checkFamPatBinders
which performs scoping checks
on a type family equation.
(It's separate because it expects TyFamEqnValidityInfo
, which comes from a
separate place e.g. for associated type defaults.)
checkValidAssocTyFamDeflt Source #
Checks that an associated type family default:
- Only consists of arguments that are bare type variables, and
- Has a distinct type variable in each argument.
See Note [Type-checking default assoc decls]
in GHC.Tc.TyCl.
checkConsistentFamInst Source #
:: AssocInstInfo | |
-> TyCon | Family tycon |
-> CoAxBranch | |
-> TcM () |
checkTyConTelescope :: TyCon -> TcM () Source #