Data.Monoid (original) (raw)

Monoid Ordering Source #

Since: 2.1

Instance details

Defined in GHC.Base

Monoid () Source #

Since: 2.1

Instance details

Defined in GHC.Base

Monoid Any Source #

Since: 2.1

Instance details

Defined in Data.Semigroup.Internal

Monoid All Source #

Since: 2.1

Instance details

Defined in Data.Semigroup.Internal

Monoid Lifetime Source #

mappend takes the longer of two lifetimes.

Since: 4.8.0.0

Instance details

Defined in GHC.Event.Internal

Monoid Event Source #

Since: 4.4.0.0

Instance details

Defined in GHC.Event.Internal

Monoid [a] Source #

Since: 2.1

Instance details

Defined in GHC.Base

Semigroup a => Monoid (Maybe a) Source #

Lift a semigroup into [Maybe](Data-Maybe.html#t:Maybe "Data.Maybe") forming a [Monoid](Data-Monoid.html#t:Monoid "Data.Monoid") according tohttp://en.wikipedia.org/wiki/Monoid: "Any semigroup S may be turned into a monoid simply by adjoining an element e not in S and defining e*e = e and e*s = s = s*e for all s ∈ S."

Since 4.11.0: constraint on inner a value generalised from[Monoid](Data-Monoid.html#t:Monoid "Data.Monoid") to [Semigroup](Prelude.html#t:Semigroup "Prelude").

Since: 2.1

Instance details

Defined in GHC.Base

Monoid a => Monoid (IO a) Source #

Since: 4.9.0.0

Instance details

Defined in GHC.Base

Monoid p => Monoid (Par1 p) Source #

Since: 4.12.0.0

Instance details

Defined in GHC.Generics

Monoid a => Monoid (Down a) Source #

Since: 4.11.0.0

Instance details

Defined in Data.Ord

Num a => Monoid (Product a) Source #

Since: 2.1

Instance details

Defined in Data.Semigroup.Internal

Num a => Monoid (Sum a) Source #

Since: 2.1

Instance details

Defined in Data.Semigroup.Internal

Monoid (Endo a) Source #

Since: 2.1

Instance details

Defined in Data.Semigroup.Internal

Monoid a => Monoid (Dual a) Source #

Since: 2.1

Instance details

Defined in Data.Semigroup.Internal

Monoid (Last a) Source #

Since: 2.1

Instance details

Defined in Data.Monoid

Monoid (First a) Source #

Since: 2.1

Instance details

Defined in Data.Monoid

Monoid a => Monoid (Identity a) Source #

Since: 4.9.0.0

Instance details

Defined in Data.Functor.Identity

Semigroup a => Monoid (Option a) Source #

Since: 4.9.0.0

Instance details

Defined in Data.Semigroup

Monoid m => Monoid (WrappedMonoid m) Source #

Since: 4.9.0.0

Instance details

Defined in Data.Semigroup

(Ord a, Bounded a) => Monoid (Max a) Source #

Since: 4.9.0.0

Instance details

Defined in Data.Semigroup

(Ord a, Bounded a) => Monoid (Min a) Source #

Since: 4.9.0.0

Instance details

Defined in Data.Semigroup

Monoid (Equivalence a) Source #

Instance details

Defined in Data.Functor.Contravariant

Monoid (Comparison a) Source #

Instance details

Defined in Data.Functor.Contravariant

Monoid (Predicate a) Source #

Instance details

Defined in Data.Functor.Contravariant

Monoid b => Monoid (a -> b) Source #

Since: 2.1

Instance details

Defined in GHC.Base

Monoid (U1 p) Source #

Since: 4.12.0.0

Instance details

Defined in GHC.Generics

(Monoid a, Monoid b) => Monoid (a, b) Source #

Since: 2.1

Instance details

Defined in GHC.Base

Monoid a => Monoid (ST s a) Source #

Since: 4.11.0.0

Instance details

Defined in GHC.ST

Monoid (Proxy s) Source #

Since: 4.7.0.0

Instance details

Defined in Data.Proxy

Monoid a => Monoid (Op a b) Source #

Instance details

Defined in Data.Functor.Contravariant

Monoid (f p) => Monoid (Rec1 f p) Source #

Since: 4.12.0.0

Instance details

Defined in GHC.Generics

(Monoid a, Monoid b, Monoid c) => Monoid (a, b, c) Source #

Since: 2.1

Instance details

Defined in GHC.Base

Methods

mempty :: (a, b, c) Source #

mappend :: (a, b, c) -> (a, b, c) -> (a, b, c) Source #

mconcat :: [(a, b, c)] -> (a, b, c) Source #

Alternative f => Monoid (Alt f a) Source #

Since: 4.8.0.0

Instance details

Defined in Data.Semigroup.Internal

(Applicative f, Monoid a) => Monoid (Ap f a) Source #

Since: 4.12.0.0

Instance details

Defined in Data.Monoid

Monoid a => Monoid (Const a b) Source #

Since: 4.9.0.0

Instance details

Defined in Data.Functor.Const

Monoid c => Monoid (K1 i c p) Source #

Since: 4.12.0.0

Instance details

Defined in GHC.Generics

(Monoid (f p), Monoid (g p)) => Monoid ((f :*: g) p) Source #

Since: 4.12.0.0

Instance details

Defined in GHC.Generics

(Monoid a, Monoid b, Monoid c, Monoid d) => Monoid (a, b, c, d) Source #

Since: 2.1

Instance details

Defined in GHC.Base

Methods

mempty :: (a, b, c, d) Source #

mappend :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Source #

mconcat :: [(a, b, c, d)] -> (a, b, c, d) Source #

Monoid (f p) => Monoid (M1 i c f p) Source #

Since: 4.12.0.0

Instance details

Defined in GHC.Generics

Monoid (f (g p)) => Monoid ((f :.: g) p) Source #

Since: 4.12.0.0

Instance details

Defined in GHC.Generics

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Monoid (a, b, c, d, e) Source #

Since: 2.1

Instance details

Defined in GHC.Base

Methods

mempty :: (a, b, c, d, e) Source #

mappend :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) Source #

mconcat :: [(a, b, c, d, e)] -> (a, b, c, d, e) Source #