TcTypeNats

ghc-8.6.3: The GHC API

Safe Haskell | None
Language | Haskell2010

TcTypeNats

# Documentation

typeNatTyCons :: [TyCon] #

typeNatCoAxiomRules :: Map FastString CoAxiomRule #

data BuiltInSynFamily #

Constructors

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

typeNatAddTyCon :: TyCon #

typeNatMulTyCon :: TyCon #

typeNatExpTyCon :: TyCon #

typeNatLeqTyCon :: TyCon #

typeNatSubTyCon :: TyCon #

typeNatDivTyCon :: TyCon #

typeNatModTyCon :: TyCon #

typeNatLogTyCon :: TyCon #

typeNatCmpTyCon :: TyCon #

typeSymbolCmpTyCon :: TyCon #

typeSymbolAppendTyCon :: TyCon #