Pandora.Pattern.Object.Semigroup

Documentation

class Semigroup a where

When providing a new instance, you should ensure it satisfies the one law:
* Associativity: x <> (y <> z) ≡ (x <> y) <> z

Methods

(<>) :: a -> a -> a

Infix version of append

Instances

Semigroup a => Semigroup (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

(<>) :: Identity a -> Identity a -> Identity a

Semigroup a => Semigroup (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(<>) :: Maybe a -> Maybe a -> Maybe a

(Semigroup a, Semigroup b) => Semigroup (Product a b)

Defined in Pandora.Paradigm.Basis.Product

Methods

(<>) :: Product a b -> Product a b -> Product a b

(Semigroup e, Semigroup a) => Semigroup (Conclusion e a)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

(<>) :: Conclusion e a -> Conclusion e a -> Conclusion e a