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