Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. numFailures :: Count -> !Int

   doctest-exitcode-stdio	Test.DocTest.Driver

   No documentation available.

2. numTotal :: Count -> !Int

   doctest-exitcode-stdio	Test.DocTest.Driver

   No documentation available.

3. num_esc :: String -> Maybe Char

   xml	Text.XML.Light.Lexer

   No documentation available.

4. numSegs :: forall c (v :: Type -> Type) n a . (Num c, Measured (SegMeasure v n) a) => a -> c

   diagrams-lib	Diagrams

   Compute the number of segments of anything measured by SegMeasure (e.g. SegMeasure itself, Segment, SegTree, Trails...)

5. numSegs :: forall c (v :: Type -> Type) n a . (Num c, Measured (SegMeasure v n) a) => a -> c

   diagrams-lib	Diagrams.Trail

   Compute the number of segments of anything measured by SegMeasure (e.g. SegMeasure itself, Segment, SegTree, Trails...)

6. numberLinesInXmlDoc :: ArrowList a => a XmlTree XmlTree

   hxt	Text.XML.HXT.Arrow.Edit

   convert a document into a text and add line numbers to the text representation. Result is a root node with a single text node as child. Useful for debugging and trace output. see also : haskellRepOfXmlDoc, treeRepOfXmlDoc

7. numWord16 :: ShortByteString -> Int

   os-string	System.OsString.Data.ByteString.Short.Word16

   This is like length, but the number of Word16, not Word8.

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

   quickcheck-classes-base	Test.QuickCheck.Classes.Base

   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

9. numPendingMessages :: XPendingSummaryResponse -> Integer

   hedis	Database.Redis

   No documentation available.

10. numPendingMessagesByconsumer :: XPendingSummaryResponse -> [(ByteString, Integer)]

    hedis	Database.Redis

    No documentation available.

Page 68 of many | Previous | Next