ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

TcTypeNats

Documentation

typeNatTyCons :: [TyCon]Source

typeNatCoAxiomRules :: Map FastString CoAxiomRuleSource

data BuiltInSynFamilySource

Constructors

BuiltInSynFamily 

Fields

sfMatchFam :: [Type] -> Maybe (CoAxiomRule, [Type], Type)
 
sfInteractTop :: [Type] -> Type -> [Eqn]
 
sfInteractInert :: [Type] -> Type -> [Type] -> Type -> [Eqn]