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.
-
ghc GHC.Builtin.Names No documentation available.
-
ghc GHC.Builtin.Names No documentation available.
-
ghc GHC.Builtin.Names.TH No documentation available.
-
ghc GHC.Builtin.Names.TH No documentation available.
numBranches :: forall (br :: BranchFlag) . Branches br -> Intghc GHC.Core.Coercion.Axiom No documentation available.
numVisibleArgs :: [HsArg p tm ty] -> Arityghc GHC.Hs.Type No documentation available.
numberRanges :: CompOptions -> BoolGlob System.FilePath.Glob Allow open ranges, <...>.
numberRange :: Maybe Integer -> Maybe Integer -> PatternGlob System.FilePath.Glob.Primitive Matches a number in the given range, which may be open, half-open, or closed. Corresponds to the <> operator.
numbered :: [a] -> [Numbered a]Diff Data.Algorithm.DiffContext No documentation available.
numLaws :: (Num a, Eq a, Arbitrary a, Show a) => Proxy a -> Lawsquickcheck-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