GHC.Tc.Validity

Documentation

data Rank

Constructors

ArbitraryRank

LimitedRank Bool Rank

MonoTypeRankZero

MonoTypeTyConArg

MonoTypeSynArg

MonoTypeConstraint

MustBeMonoType

Instances

Outputable Rank

Defined in GHC.Tc.Types.Rank

Methods

ppr :: Rank -> SDoc

data UserTypeCtxt

UserTypeCtxt describes the origin of the polymorphic type in the places where we need an expression to have that type

Constructors

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

Instances

Eq UserTypeCtxt

Defined in GHC.Tc.Types.Origin

Methods

(==) :: UserTypeCtxt -> UserTypeCtxt -> Bool

(/=) :: UserTypeCtxt -> UserTypeCtxt -> Bool

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

checkValidTyFamEqn

Arguments

:: TyCon

of the type family

-> [Var]

Bound variables in the equation

-> [Type]

Type patterns

-> Type

Rhs

-> TcM ()

Do validity checks on a type family equation, including consistency with any enclosing class instance head, termination, and lack of polytypes.

checkValidAssocTyFamDeflt

Arguments

:: TyCon

of the type family

-> [Type]

Type patterns

-> TcM ()

Checks that an associated type family default:

1. Only consists of arguments that are bare type variables, and
2. Has a distinct type variable in each argument.

See Note [Type-checking default assoc decls] in GHC.Tc.TyCl.

checkConsistentFamInst

Arguments

:: AssocInstInfo

-> TyCon

Family tycon

-> CoAxBranch

-> TcM ()

checkTyConTelescope :: TyCon -> TcM ()