Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Semigroup a where Source #
When providing a new instance, you should ensure it satisfies the one law: * Associativity: x + (y + z) ≡ (x + y) + z
Instances
Semigroup (Endo a) Source # | |
Semigroup a => Semigroup (Maybe a) Source # | |
Semigroup a => Semigroup (Identity a) Source # | |
(Semigroup a, forall b. Semigroup b => Semigroup (t b)) => Semigroup (Twister t a) Source # | |
(Semigroup a, Semigroup b) => Semigroup (Product a b) Source # | |
(Semigroup e, Semigroup a) => Semigroup (Conclusion e a) Source # | |
Defined in Pandora.Paradigm.Basis.Conclusion (+) :: Conclusion e a -> Conclusion e a -> Conclusion e a Source # | |
Semigroup a => Semigroup (Tagged tag a) Source # | |
Semigroup a => Semigroup (Constant a b) Source # | |
(forall (u' :: k2 -> Type). Semigroup ((u' :.: t u') a)) => Semigroup (Y t u a) Source # | |
Semigroup ((u :.: t) a) => Semigroup (T t u a) Source # | |