Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. type family ShowNatBase (base :: Natural) (showDigit :: Natural ~> Char) (n :: Natural) :: Symbol

   type-level-show	TypeLevelShow.Natural

   Render a type-level Natural in the given base using the given digit renderer. The digit renderer is guaranteed to be called with 0 <= n < base.

2. type family ShowNatBase' (base :: Natural) (showDigit :: Natural ~> Char) (acc :: Symbol) (n :: Natural) :: Symbol

   type-level-show	TypeLevelShow.Natural

   No documentation available.

3. type ShowNatBin (n :: Natural) = ShowNatBase 2 ShowNatDigitHexLowerSym n

   type-level-show	TypeLevelShow.Natural

   No documentation available.

4. type ShowNatDec (n :: Natural) = ShowNatBase 10 ShowNatDigitHexLowerSym n

   type-level-show	TypeLevelShow.Natural

   No documentation available.

5. type ShowNatHexLower (n :: Natural) = ShowNatBase 16 ShowNatDigitHexLowerSym n

   type-level-show	TypeLevelShow.Natural

   No documentation available.

6. type ShowNatHexUpper (n :: Natural) = ShowNatBase 16 ShowNatDigitHexUpperSym n

   type-level-show	TypeLevelShow.Natural

   No documentation available.

7. type ShowNatOct (n :: Natural) = ShowNatBase 8 ShowNatDigitHexLowerSym n

   type-level-show	TypeLevelShow.Natural

   No documentation available.

8. type family ShowNatDigitHexLower (d :: Natural) :: Char

   type-level-show	TypeLevelShow.Natural.Digit

   Return the associated lower-case Char for a Natural hexadecimal digit. Unsafe. Must be called with 0-15.

9. data ShowNatDigitHexLowerSym (d :: FunKind Natural Char)

   type-level-show	TypeLevelShow.Natural.Digit

   No documentation available.

10. type family ShowNatDigitHexUpper (d :: Natural) :: Char

    type-level-show	TypeLevelShow.Natural.Digit

    Return the associated upper-case Char for a Natural hexadecimal digit. Unsafe. Must be called with 0-15.

Page 213 of many | Previous | Next