ghc-7.10.0.20150316: The GHC API
TcTypeNats
typeNatTyCons :: [TyCon] Source
typeNatCoAxiomRules :: Map FastString CoAxiomRule Source
data BuiltInSynFamily Source
Constructors
Fields
typeNatAddTyCon :: TyCon Source
typeNatMulTyCon :: TyCon Source
typeNatExpTyCon :: TyCon Source
typeNatLeqTyCon :: TyCon Source
typeNatSubTyCon :: TyCon Source
typeNatCmpTyCon :: TyCon Source
typeSymbolCmpTyCon :: TyCon Source