Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

  1. monoidalFieldAla :: (FieldGrammar c g, c b, Monoid a, Newtype a b) => FieldName -> (a -> b) -> ALens' s a -> g s a

    Cabal-syntax Distribution.FieldGrammar.Class

    Monoidal field. Values are combined with mappend. Note: optionalFieldAla is a monoidalField with Last monoid.

  2. monoidLaws :: (Monoid a, Eq a, Arbitrary a, Show a) => Proxy a -> Laws

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

    Tests the following properties:

    • Associative mappend a (mappend b c) ≡ mappend (mappend a b) c
    • Left Identity mappend mempty a ≡ a
    • Right Identity mappend a mempty ≡ a
    • Concatenation mconcat as ≡ foldr mappend mempty as

  3. package monoid-extras

    Various extra monoid-related definitions and utilities Various extra monoid-related definitions and utilities, such as monoid actions, monoid coproducts, semi-direct products, "deletable" monoids, "split" monoids, and "cut" monoids.

  4. monoidClassKey :: Unique

    ghc-lib-parser GHC.Builtin.Names

    No documentation available.

  5. monoidClassName :: Name

    ghc-lib-parser GHC.Builtin.Names

    No documentation available.

  6. monoidD :: Monoid a => MonoidD a

    checkers Test.QuickCheck.Checkers

    Monoid dictionary built from the Monoid methods.

  7. monoidMorphism :: (Monoid a, Monoid b, EqProp b, Show a, Arbitrary a) => (a -> b) -> TestBatch

    checkers Test.QuickCheck.Classes

    Monoid homomorphism properties. See also homomorphism.

  8. package monoidal-containers

    Containers with monoidal accumulation Containers with merging via monoidal accumulation. The Monoid instances provided by the containers and unordered-containers packages merge structures in a left-biased manner instead of using the underlying monoidal structure of the value. This package wraps the types provided by these packages, but provides Monoid instances implemented in terms of the value type's mappend. For instance, the Monoid Map instance looks like, 

    instance (Ord k, Semigroup a) => Monoid (MonoidalMap k a)

  9. monoidConcatMap :: (Read sig a, Monoid m) => (a -> m) -> sig a -> m

    synthesizer-core Synthesizer.Generic.Signal

    Deprecated: Use foldMap instead.

  10. monoidConcat :: Monoid m => T m -> m

    synthesizer-core Synthesizer.State.Signal

    Deprecated: Use foldMap instead.

Page 15 of many | Previous | Next