Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

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

   type-level-show	TypeLevelShow.Natural.Digit

   No documentation available.

2. 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.

3. data ShowNatDigitHexUpperSym (d :: FunKind Natural Char)

   type-level-show	TypeLevelShow.Natural.Digit

   No documentation available.

4. type ShowChar (ch :: Char) = ConsSymbol ch ""

   type-level-show	TypeLevelShow.Utils

   No documentation available.

5. type family ShowParen (b :: Bool) (p :: Symbol) :: Symbol

   type-level-show	TypeLevelShow.Utils

   Surround the given Symbol with parentheses when the Bool parameter is True.

6. type ShowParenIfGt (n :: Natural) (d :: Natural) (p :: Symbol) = ShowParen OrderingGT CmpNat d n p

   type-level-show	TypeLevelShow.Utils

   Surround the given Symbol with parentheses if the given precedence is greater than the given Natural. Type-level relational operations are a pain. This may be easier to use.

7. data ShowRule

   typst	Typst.Types

   No documentation available.

8. ShowRule :: Int -> Selector -> (forall (m :: Type -> Type) . Monad m => Content -> MP m (Seq Content)) -> ShowRule

   typst	Typst.Types

   No documentation available.

9. ShowImplicitArgs :: Bool -> Interaction' range

   Agda	Agda.Interaction.Base

   Tells Agda whether or not to show implicit arguments.

10. ShowIrrelevantArgs :: Bool -> Interaction' range

    Agda	Agda.Interaction.Base

    Tells Agda whether or not to show irrelevant arguments.

Page 213 of many | Previous | Next