ghc-8.10.1: The GHC API
Safe HaskellNone
LanguageHaskell2010

TcValidity

Synopsis

Documentation

data Rank #

Instances

Instances details
Outputable Rank # 
Instance details

Defined in TcValidity

Methods

ppr :: Rank -> SDoc #

pprPrec :: Rational -> Rank -> SDoc #

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.

checkConsistentFamInst #

Arguments

:: AssocInstInfo 
-> TyCon

Family tycon

-> CoAxBranch 
-> TcM () 

arityErr :: Outputable a => SDoc -> a -> Int -> Int -> SDoc #