ghc-8.10.7: The GHC API

Safe Haskell	None
Language	Haskell2010

TcTypeNats

Documentation

typeNatTyCons :: [TyCon] Source #

typeNatCoAxiomRules :: Map FastString CoAxiomRule Source #

data BuiltInSynFamily Source #

Constructors

BuiltInSynFamily
Fields sfMatchFam :: [Type] -> Maybe (CoAxiomRule, [Type], Type) sfInteractTop :: [Type] -> Type -> [TypeEqn] sfInteractInert :: [Type] -> Type -> [Type] -> Type -> [TypeEqn]

typeNatAddTyCon :: TyCon Source #

typeNatMulTyCon :: TyCon Source #

typeNatExpTyCon :: TyCon Source #

typeNatLeqTyCon :: TyCon Source #

typeNatSubTyCon :: TyCon Source #

typeNatDivTyCon :: TyCon Source #

typeNatModTyCon :: TyCon Source #

typeNatLogTyCon :: TyCon Source #

typeNatCmpTyCon :: TyCon Source #

typeSymbolCmpTyCon :: TyCon Source #

typeSymbolAppendTyCon :: TyCon Source #