FamInst

ghc-7.8.2: The GHC API

Safe Haskell | None
Language | Haskell98

FamInst

# 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