Hoogle Search

Within LTS Haskell 24.65 (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.Additive.Class

   An additive semigroup with idempotent addition.

   a + a = a
   

2. class Additive r => Idempotent r

   algebra	Numeric.Algebra

   An additive semigroup with idempotent addition.

   a + a = a
   

3. class Algebra r a => IdempotentAlgebra r a

   algebra	Numeric.Algebra

   No documentation available.

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

   algebra	Numeric.Algebra

   No documentation available.

5. module Numeric.Algebra.Idempotent

   No documentation available.

6. class Algebra r a => IdempotentAlgebra r a

   algebra	Numeric.Algebra.Idempotent

   No documentation available.

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

   algebra	Numeric.Algebra.Idempotent

   No documentation available.

8. class Coalgebra r c => IdempotentCoalgebra r c

   algebra	Numeric.Algebra.Idempotent

   No documentation available.

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

10. Identity :: a -> Identity a

    classy-prelude-yesod	ClassyPrelude.Yesod

    No documentation available.

Page 223 of many | Previous | Next