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.
-
base-compat Data.Semigroup.Compat Provide a Semigroup for an arbitrary Monoid. NOTE: This is not needed anymore since Semigroup became a superclass of Monoid in base-4.11 and this newtype be deprecated at some point in the future.
stimesIdempotentMonoid :: (Integral b, Monoid a) => b -> a -> abase-compat Data.Semigroup.Compat 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-compat Data.Semigroup.Compat 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-compat Data.Semigroup.Compat No documentation available.
Opt_WarnNonCanonicalMonoidInstances :: WarningFlagghc GHC.Driver.DynFlags No documentation available.
Opt_WarnNonCanonicalMonoidInstances :: WarningFlagghc GHC.Driver.Flags No documentation available.
Opt_WarnNonCanonicalMonoidInstances :: WarningFlagghc GHC.Driver.Session No documentation available.
NonCanonicalMonoid :: NonCanonical_Monoid -> NonCanonicalDefinitionghc GHC.Tc.Errors.Types Related to (<>) and mappend.
-
ghc GHC.Tc.Errors.Types Possible cases for the -Wnoncanonical-monoid-instances.
commutativeMonoidLaws :: (Monoid a, Eq a, Arbitrary a, Show a) => Proxy a -> Lawsquickcheck-classes Test.QuickCheck.Classes Tests the following properties:
- Commutative mappend a b ≡ mappend b a