ghc-7.10.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcValidity

Documentation

data Rank

checkValidFamPats :: TyCon -> [TyVar] -> [Type] -> TcM ()

checkConsistentFamInst

Arguments

:: Maybe (Class, VarEnv Type)

Class of associated type and instantiation of class TyVars

-> TyCon

Family tycon

-> [TyVar]

Type variables of the family instance

-> [Type]

Type patterns from instance

-> TcM () 

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