Documentation

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

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

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

tcLookupDataFamInst :: TyCon -> [Type] -> TcM (TyCon, [Type])Source

tcGetFamInstEnvs :: TcM FamInstEnvsSource