Documentation

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

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

tcLookupFamInst :: TyCon -> [Type] -> TcM (Maybe FamInstMatch) Source

tcGetFamInstEnvs :: TcM FamInstEnvs Source

newFamInst :: FamFlavor -> CoAxiom Unbranched -> TcRnIf gbl lcl FamInst Source