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 infixl 6

Instances

Semigroup Boolean

Defined in Pandora.Paradigm.Primary.Object.Boolean

Methods

(+) :: Boolean -> Boolean -> Boolean

Semigroup (Endo a)

Defined in Pandora.Paradigm.Primary.Functor.Endo

Methods

(+) :: Endo a -> Endo a -> Endo a

Semigroup a => Semigroup (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

(+) :: Identity a -> Identity a -> Identity a

Semigroup a => Semigroup (Delta a)

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

(+) :: Delta a -> Delta a -> Delta a

Semigroup a => Semigroup (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

(+) :: Maybe a -> Maybe a -> Maybe a

Semigroup (Stack a)

Defined in Pandora.Paradigm.Structure.Stack

Methods

(+) :: Stack a -> Stack a -> Stack a

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(+) :: Validation e a -> Validation e a -> Validation e a

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

Defined in Pandora.Paradigm.Primary.Functor.Product

Methods

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

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

(Semigroup a, forall b. Semigroup b => Semigroup (t b)) => Semigroup (Construction t a)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

(+) :: Construction t a -> Construction t a -> Construction t a

Semigroup a => Semigroup (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(+) :: Tagged tag a -> Tagged tag a -> Tagged tag a

Semigroup a => Semigroup (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(+) :: Constant a b -> Constant a b -> Constant a b