Hoogle Search
Within LTS Haskell 24.5 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
stimesIdempotentMonoid :: (Integral b, Monoid a) => b -> a -> abase Data.Semigroup This is a valid definition of stimes for an idempotent Monoid. When x <> x = x, this definition should be preferred, because it works in <math> rather than <math>
stimesMonoid :: (Integral b, Monoid a) => b -> a -> abase Data.Semigroup This is a valid definition of stimes for a Monoid. Unlike the default definition of stimes, it is defined for 0 and so it should be preferred where possible.
unwrapMonoid :: WrappedMonoid m -> mbase Data.Semigroup No documentation available.
class GSemigroup f =>
GMonoid (f :: Type -> Type)semigroups Data.Semigroup.Generic No documentation available.
newtype
GenericSemigroupMonoid asemigroups Data.Semigroup.Generic An adapter newtype, suitable for DerivingVia. Its Semigroup and Monoid instances leverage the Generic-based defaults defined by gmappend and gmempty. Here is an example of how to use it:
{-# LANGUAGE DerivingVia #-} import Data.Semigroup.Generic data Pair a = MkPair a a deriving (Semigroup, Monoid) via (GenericSemigroupMonoid (Pair a))
GenericSemigroupMonoid :: a -> GenericSemigroupMonoid asemigroups Data.Semigroup.Generic No documentation available.
getGenericSemigroupMonoid :: GenericSemigroupMonoid a -> asemigroups Data.Semigroup.Generic No documentation available.
-
lens Control.Lens.Internal.Fold No documentation available.
ReifiedMonoid :: (a -> a -> a) -> a -> ReifiedMonoid alens Control.Lens.Internal.Fold No documentation available.
WrapMonoid :: m -> WrappedMonoid mbase-compat Data.Semigroup.Compat No documentation available.