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