Documentation

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

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

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

tcGetFamInstEnvs :: TcM FamInstEnvsSource

newFamInst :: FamFlavor -> CoAxiom Unbranched -> TcRnIf gbl lcl FamInstSource