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 a => Semigroup (Identity a) Source # | |
Semigroup a => Semigroup (Maybe a) 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 # |