Monoid Ordering | Since: base-2.1 |
Instance detailsDefined in GHC.Base |
Monoid () | Since: base-2.1 |
Instance detailsDefined in GHC.Base |
Monoid Doc | |
Instance detailsDefined in Text.PrettyPrint.ANSI.Leijen.Internal |
Monoid All | Since: base-2.1 |
Instance detailsDefined in Data.Semigroup.Internal |
Monoid Any | Since: base-2.1 |
Instance detailsDefined in Data.Semigroup.Internal |
Monoid String | |
Instance detailsDefined in Basement.UTF8.Base |
Monoid ShortByteString | |
Instance detailsDefined in Data.ByteString.Short.Internal |
Monoid ByteString | |
Instance detailsDefined in Data.ByteString.Lazy.Internal |
Monoid ByteString | |
Instance detailsDefined in Data.ByteString.Internal |
Monoid Builder | |
Instance detailsDefined in Data.ByteString.Builder.Internal |
Monoid IntSet | |
Instance detailsDefined in Data.IntSet.Internal |
Monoid ParseError | |
Instance detailsDefined in Options.Applicative.Types |
Monoid Completer | |
Instance detailsDefined in Options.Applicative.Types |
Monoid Doc | |
Instance detailsDefined in Text.PrettyPrint.HughesPJ |
Monoid ByteArray | |
Instance detailsDefined in Data.Primitive.ByteArray |
Monoid OptionSet | Later options override earlier ones |
Instance detailsDefined in Test.Tasty.Options |
Monoid Slot | |
Instance detailsDefined in Data.HashTable.ST.Basic |
a :=> (Monoid (Dict a)) | |
Instance detailsDefined in Data.Constraint |
() :=> (Monoid [a]) | |
Instance detailsDefined in Data.Constraint |
() :=> (Monoid Ordering) | |
Instance detailsDefined in Data.Constraint |
() :=> (Monoid ()) | |
Instance detailsDefined in Data.Constraint |
Monoid [a] | Since: base-2.1 |
Instance detailsDefined in GHC.Base |
Semigroup a => Monoid (Maybe a) | Lift a semigroup into Maybe forming a Monoid according to
http://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 to Semigroup . Since: base-2.1 |
Instance detailsDefined in GHC.Base |
Monoid a => Monoid (IO a) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Base |
(Ord a, Bounded a) => Monoid (Min a) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Semigroup |
(Ord a, Bounded a) => Monoid (Max a) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Semigroup |
Monoid m => Monoid (WrappedMonoid m) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Semigroup |
Semigroup a => Monoid (Option a) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Semigroup |
Monoid a => Monoid (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Monoid (First a) | Since: base-2.1 |
Instance detailsDefined in Data.Monoid |
Monoid (Last a) | Since: base-2.1 |
Instance detailsDefined in Data.Monoid |
Monoid a => Monoid (Dual a) | Since: base-2.1 |
Instance detailsDefined in Data.Semigroup.Internal |
Monoid (Endo a) | Since: base-2.1 |
Instance detailsDefined in Data.Semigroup.Internal |
Num a => Monoid (Sum a) | Since: base-2.1 |
Instance detailsDefined in Data.Semigroup.Internal |
Num a => Monoid (Product a) | Since: base-2.1 |
Instance detailsDefined in Data.Semigroup.Internal |
Monoid a => Monoid (Down a) | Since: base-4.11.0.0 |
Instance detailsDefined in Data.Ord |
PrimType ty => Monoid (UArray ty) | |
Instance detailsDefined in Basement.UArray.Base |
PrimType ty => Monoid (Block ty) | |
Instance detailsDefined in Basement.Block.Base |
Monoid (CountOf ty) | |
Instance detailsDefined in Basement.Types.OffsetSize |
Num a => Monoid (Colour a) | |
Instance detailsDefined in Data.Colour.Internal |
Num a => Monoid (AlphaColour a) | |
Instance detailsDefined in Data.Colour.Internal |
a => Monoid (Dict a) | |
Instance detailsDefined in Data.Constraint |
Monoid (IntMap a) | |
Instance detailsDefined in Data.IntMap.Internal |
Monoid (Seq a) | |
Instance detailsDefined in Data.Sequence.Internal |
Ord a => Monoid (Set a) | |
Instance detailsDefined in Data.Set.Internal |
Monoid (Predicate a) | |
Instance detailsDefined in Data.Functor.Contravariant |
Monoid (Comparison a) | |
Instance detailsDefined in Data.Functor.Contravariant |
Monoid (Equivalence a) | |
Instance detailsDefined in Data.Functor.Contravariant |
Prim a => Monoid (Vector a) | |
Instance detailsDefined in Data.Vector.Primitive |
Storable a => Monoid (Vector a) | |
Instance detailsDefined in Data.Vector.Storable |
(Hashable a, Eq a) => Monoid (HashSet a) | |
Instance detailsDefined in Data.HashSet |
Monoid (Vector a) | |
Instance detailsDefined in Data.Vector |
Ord a => Monoid (Min a) | |
Instance detailsDefined in Control.Lens.Internal.Fold |
Ord a => Monoid (Max a) | |
Instance detailsDefined in Control.Lens.Internal.Fold |
Monoid (Leftmost a) | |
Instance detailsDefined in Control.Lens.Internal.Fold |
Monoid (Rightmost a) | |
Instance detailsDefined in Control.Lens.Internal.Fold |
Monoid (Doc a) | |
Instance detailsDefined in Text.PrettyPrint.Annotated.HughesPJ |
PrimUnlifted a => Monoid (UnliftedArray a) | Since: primitive-0.6.4.0 |
Instance detailsDefined in Data.Primitive.UnliftedArray |
Monoid (PrimArray a) | Since: primitive-0.6.4.0 |
Instance detailsDefined in Data.Primitive.PrimArray |
Monoid (SmallArray a) | |
Instance detailsDefined in Data.Primitive.SmallArray |
Monoid (Array a) | |
Instance detailsDefined in Data.Primitive.Array |
Monoid (Doc a) | |
Instance detailsDefined in Text.PrettyPrint.Annotated.WL |
Monoid (MergeSet a) | |
Instance detailsDefined in Data.Set.Internal Methods mempty :: MergeSet a # mappend :: MergeSet a -> MergeSet a -> MergeSet a # mconcat :: [MergeSet a] -> MergeSet a # |
(Monoid (Exp a), Elt a) => Monoid (Exp (Maybe a)) # | |
Instance detailsDefined in Data.Array.Accelerate.Data.Maybe |
Monoid (Exp ()) # | |
Instance detailsDefined in Data.Array.Accelerate.Data.Monoid |
(Elt a, Elt b, Monoid (Exp a), Monoid (Exp b)) => Monoid (Exp (a, b)) # | |
Instance detailsDefined in Data.Array.Accelerate.Data.Monoid |
(Elt a, Elt b, Elt c, Monoid (Exp a), Monoid (Exp b), Monoid (Exp c)) => Monoid (Exp (a, b, c)) # | |
Instance detailsDefined in Data.Array.Accelerate.Data.Monoid Methods mempty :: Exp (a, b, c) # mappend :: Exp (a, b, c) -> Exp (a, b, c) -> Exp (a, b, c) # mconcat :: [Exp (a, b, c)] -> Exp (a, b, c) # |
(Elt a, Elt b, Elt c, Elt d, Monoid (Exp a), Monoid (Exp b), Monoid (Exp c), Monoid (Exp d)) => Monoid (Exp (a, b, c, d)) # | |
Instance detailsDefined in Data.Array.Accelerate.Data.Monoid Methods mempty :: Exp (a, b, c, d) # mappend :: Exp (a, b, c, d) -> Exp (a, b, c, d) -> Exp (a, b, c, d) # mconcat :: [Exp (a, b, c, d)] -> Exp (a, b, c, d) # |
(Elt a, Elt b, Elt c, Elt d, Elt e, Monoid (Exp a), Monoid (Exp b), Monoid (Exp c), Monoid (Exp d), Monoid (Exp e)) => Monoid (Exp (a, b, c, d, e)) # | |
Instance detailsDefined in Data.Array.Accelerate.Data.Monoid Methods mempty :: Exp (a, b, c, d, e) # mappend :: Exp (a, b, c, d, e) -> Exp (a, b, c, d, e) -> Exp (a, b, c, d, e) # mconcat :: [Exp (a, b, c, d, e)] -> Exp (a, b, c, d, e) # |
(Ord a, Bounded a) => Monoid (Exp (Min a)) # | |
Instance detailsDefined in Data.Array.Accelerate.Data.Semigroup |
(Ord a, Bounded a) => Monoid (Exp (Max a)) # | |
Instance detailsDefined in Data.Array.Accelerate.Data.Semigroup |
Num a => Monoid (Exp (Sum a)) # | |
Instance detailsDefined in Data.Array.Accelerate.Data.Monoid |
Num a => Monoid (Exp (Product a)) # | |
Instance detailsDefined in Data.Array.Accelerate.Data.Monoid |
Class (Semigroup a) (Monoid a) | |
Instance detailsDefined in Data.Constraint |
(Monoid a) :=> (Monoid (Maybe a)) | |
Instance detailsDefined in Data.Constraint |
(Monoid a) :=> (Monoid (Const a b)) | |
Instance detailsDefined in Data.Constraint |
(Monoid a) :=> (Monoid (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Monoid a) :=> (Monoid (IO a)) | |
Instance detailsDefined in Data.Constraint |
(Monoid a) :=> (Applicative ((,) a)) | |
Instance detailsDefined in Data.Constraint |
(Monoid a) :=> (Applicative (Const a :: * -> *)) | |
Instance detailsDefined in Data.Constraint |
Monoid b => Monoid (a -> b) | Since: base-2.1 |
Instance detailsDefined in GHC.Base |
(Monoid a, Monoid b) => Monoid (a, b) | Since: base-2.1 |
Instance detailsDefined in GHC.Base |
Monoid a => Monoid (Op a b) | |
Instance detailsDefined in Data.Functor.Contravariant |
Monoid (Proxy s) | Since: base-4.7.0.0 |
Instance detailsDefined in Data.Proxy |
Ord k => Monoid (Map k v) | |
Instance detailsDefined in Data.Map.Internal |
(Monad m, Monoid a) => Monoid (GenT m a) | |
Instance detailsDefined in Hedgehog.Internal.Gen |
(Eq k, Hashable k) => Monoid (HashMap k v) | |
Instance detailsDefined in Data.HashMap.Base |
Monoid (ReifiedFold s a) | |
Instance detailsDefined in Control.Lens.Reified |
Monoid (Deepening i a) | This is an illegal Monoid . |
Instance detailsDefined in Control.Lens.Internal.Level |
Monoid (f a) => Monoid (Indexing f a) | >>> "cat" ^@.. (folded <> folded)
[(0,'c'),(1,'a'),(2,'t'),(0,'c'),(1,'a'),(2,'t')]
>>> "cat" ^@.. indexing (folded <> folded)
[(0,'c'),(1,'a'),(2,'t'),(3,'c'),(4,'a'),(5,'t')]
|
Instance detailsDefined in Control.Lens.Internal.Indexed |
(Contravariant f, Applicative f) => Monoid (Folding f a) | |
Instance detailsDefined in Control.Lens.Internal.Fold |
Applicative f => Monoid (Traversed a f) | |
Instance detailsDefined in Control.Lens.Internal.Fold |
(Apply f, Applicative f) => Monoid (TraversedF a f) | |
Instance detailsDefined in Control.Lens.Internal.Fold |
Monad m => Monoid (Sequenced a m) | |
Instance detailsDefined in Control.Lens.Internal.Fold |
(Monoid a, Monoid b) :=> (Monoid (a, b)) | |
Instance detailsDefined in Data.Constraint |
(Monoid a, Monoid b, Monoid c) => Monoid (a, b, c) | Since: base-2.1 |
Instance detailsDefined in GHC.Base Methods mempty :: (a, b, c) # mappend :: (a, b, c) -> (a, b, c) -> (a, b, c) # mconcat :: [(a, b, c)] -> (a, b, c) # |
Monoid a => Monoid (Const a b) | |
Instance detailsDefined in Data.Functor.Const |
Alternative f => Monoid (Alt f a) | Since: base-4.8.0.0 |
Instance detailsDefined in Data.Semigroup.Internal |
Monoid (ReifiedIndexedFold i s a) | |
Instance detailsDefined in Control.Lens.Reified |
Reifies s (ReifiedMonoid a) => Monoid (ReflectedMonoid a s) | |
Instance detailsDefined in Data.Reflection |
(Semigroup a, Monoid a) => Monoid (Tagged s a) | |
Instance detailsDefined in Data.Tagged |
(Monoid a, Monoid b, Monoid c, Monoid d) => Monoid (a, b, c, d) | Since: base-2.1 |
Instance detailsDefined in GHC.Base Methods mempty :: (a, b, c, d) # mappend :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) # mconcat :: [(a, b, c, d)] -> (a, b, c, d) # |
(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Monoid (a, b, c, d, e) | Since: base-2.1 |
Instance detailsDefined in GHC.Base Methods mempty :: (a, b, c, d, e) # mappend :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) # mconcat :: [(a, b, c, d, e)] -> (a, b, c, d, e) # |
Contravariant g => Monoid (BazaarT p g a b t) | |
Instance detailsDefined in Control.Lens.Internal.Bazaar |