Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. class Additive r => Idempotent r

   algebra	Numeric.Algebra

   An additive semigroup with idempotent addition.

   a + a = a
   

2. class Algebra r a => IdempotentAlgebra r a

   algebra	Numeric.Algebra

   No documentation available.

3. class (Bialgebra r h, IdempotentAlgebra r h, IdempotentCoalgebra r h) => IdempotentBialgebra r h

   algebra	Numeric.Algebra

   No documentation available.

4. module Numeric.Algebra.Idempotent

   No documentation available.

5. class Algebra r a => IdempotentAlgebra r a

   algebra	Numeric.Algebra.Idempotent

   No documentation available.

6. class (Bialgebra r h, IdempotentAlgebra r h, IdempotentCoalgebra r h) => IdempotentBialgebra r h

   algebra	Numeric.Algebra.Idempotent

   No documentation available.

7. class Coalgebra r c => IdempotentCoalgebra r c

   algebra	Numeric.Algebra.Idempotent

   No documentation available.

8. newtype Identity a

   classy-prelude-yesod	ClassyPrelude.Yesod

   Identity functor and monad. (a non-strict monad)

   Examples

   >>> fmap (+1) (Identity 0)
   Identity 1
   

   >>> Identity [1, 2, 3] <> Identity [4, 5, 6]
   Identity [1,2,3,4,5,6]
   

   >>> do
   x <- Identity 10
   y <- Identity (x + 5)
   pure (x + y)
   Identity 25
   

9. Identity :: a -> Identity a

   classy-prelude-yesod	ClassyPrelude.Yesod

   No documentation available.

10. module Core.Telemetry.Identifiers

    Machinery for generating identifiers to be used in traces and spans. Meets the requirements of the W3C Trace Context specification, specifically as relates to forming trace identifiers and span identifiers into traceparent headers. The key requirements are that traces be globally unique and that spans be unique within a trace.

Page 223 of many | Previous | Next