Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

  1. numClassName :: Name

    ghc GHC.Builtin.Names

    No documentation available.

  2. numericClassKeys :: [Unique]

    ghc GHC.Builtin.Names

    No documentation available.

  3. numTyLitIdKey :: Unique

    ghc GHC.Builtin.Names.TH

    No documentation available.

  4. numTyLitName :: Name

    ghc GHC.Builtin.Names.TH

    No documentation available.

  5. numBranches :: forall (br :: BranchFlag) . Branches br -> Int

    ghc GHC.Core.Coercion.Axiom

    No documentation available.

  6. numVisibleArgs :: [HsArg p tm ty] -> Arity

    ghc GHC.Hs.Type

    No documentation available.

  7. numberRanges :: CompOptions -> Bool

    Glob System.FilePath.Glob

    Allow open ranges, <...>.

  8. numberRange :: Maybe Integer -> Maybe Integer -> Pattern

    Glob System.FilePath.Glob.Primitive

    Matches a number in the given range, which may be open, half-open, or closed. Corresponds to the <> operator.

  9. numbered :: [a] -> [Numbered a]

    Diff Data.Algorithm.DiffContext

    No documentation available.

  10. numLaws :: (Num a, Eq a, Arbitrary a, Show a) => Proxy a -> Laws

    quickcheck-classes Test.QuickCheck.Classes

    Tests the following properties:

    • Additive Commutativity a + b ≡ b + a
    • Additive Left Identity 0 + a ≡ a
    • Additive Right Identity a + 0 ≡ a
    • Multiplicative Associativity a * (b * c) ≡ (a * b) * c
    • Multiplicative Left Identity 1 * a ≡ a
    • Multiplicative Right Identity a * 1 ≡ a
    • Multiplication Left Distributes Over Addition a * (b + c) ≡ (a * b) + (a * c)
    • Multiplication Right Distributes Over Addition (a + b) * c ≡ (a * c) + (b * c)
    • Multiplicative Left Annihilation 0 * a ≡ 0
    • Multiplicative Right Annihilation a * 0 ≡ 0
    • Additive Inverse negate a + a ≡ 0
    • Subtraction a + negate b ≡ a - b
    • Abs Is Idempotent @abs (abs a) ≡ abs a
    • Signum Is Idempotent @signum (signum a) ≡ signum a
    • Product Of Abs And Signum Is Id abs a * signum a ≡ a

Page 68 of many | Previous | Next