ghc-7.2.2: The GHC API

FamInst

Documentation

checkFamInstConsistency :: [Module] -> [Module] -> TcM ()Source

tcExtendLocalFamInstEnv :: [FamInst] -> TcM a -> TcM aSource

tcGetFamInstEnvs :: TcM (FamInstEnv, FamInstEnv)Source