Moduleghc-10.0.0.20260917GHC2024
GHC.Builtin.Types.Literals
Synopsis
- value tryInteractInertFam
- value tryInteractTopFam
- value tryMatchFam
- value typeNatTyCons
- value typeNatCoAxiomRules
- data BuiltInSynFamily
- value typeNatAddTyCon
- value typeNatMulTyCon
- value typeNatExpTyCon
- value typeNatSubTyCon
- value typeNatDivTyCon
- value typeNatModTyCon
- value typeNatLogTyCon
- value typeNatCmpTyCon
- value typeSymbolCmpTyCon
- value typeSymbolAppendTyCon
- value typeCharCmpTyCon
- value typeConsSymbolTyCon
- value typeUnconsSymbolTyCon
- value typeCharToNatTyCon
- value typeNatToCharTyCon
- Packageghc-10.0.0.20260917
- Exports21
- LanguageGHC2024
- LicenceBSD-3-Clause