Pandora.Pattern.Object.Semigroup

Documentation

class Semigroup a where

When providing a new instance, you should ensure it satisfies:
* Associativity: x + (y + z) ≡ (x + y) + z

Methods

(+) :: a -> a -> a infixl 9

Instances

Semigroup Boolean

Defined in Pandora.Paradigm.Primary.Object.Boolean

Methods

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

Semigroup Denumerator

Defined in Pandora.Paradigm.Primary.Object.Denumerator

Methods

(+) :: Denumerator -> Denumerator -> Denumerator

Semigroup Numerator

Defined in Pandora.Paradigm.Primary.Object.Numerator

Methods

(+) :: Numerator -> Numerator -> Numerator

Semigroup a => Semigroup (Wye a)

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

(+) :: Wye a -> Wye a -> Wye a

Semigroup a => Semigroup (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(+) :: Exactly a -> Exactly a -> Exactly a

Semigroup (Endo a)

Defined in Pandora.Paradigm.Primary.Functor.Endo

Methods

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

Semigroup a => Semigroup (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

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

Semigroup (List a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(+) :: List a -> List a -> List a

Semigroup r => Semigroup (e -> r)

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

(+) :: (e -> r) -> (e -> r) -> e -> r

(Semigroup s, Semigroup a) => Semigroup (s :*: a)

Defined in Pandora.Paradigm.Primary.Algebraic.Product

Methods

(+) :: (s :*: a) -> (s :*: a) -> s :*: a

Semigroup a => Semigroup (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

(+) :: Vector a a -> Vector a a -> Vector a a

(Semigroup a, Semigroup r, Semigroup (a :*: r), Semigroup (Vector r a)) => Semigroup (Vector (a :*: r) a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

(+) :: Vector (a :*: r) a -> Vector (a :*: r) a -> Vector (a :*: r) 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 e, Semigroup a) => Semigroup (These e a)

Defined in Pandora.Paradigm.Primary.Functor.These

Methods

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

(Semigroup a, forall b. Semigroup b => Semigroup (t b), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Semigroup (Construction t a)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

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

Semigroup (Construction Maybe a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

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

(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 ((t <::> Construction t) > a) => Semigroup (Comprehension t a)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

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

Semigroup a => Semigroup (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

(Semigroup a, Semigroup (Vector i a), Semigroup (Vector i (Vector j a))) => Semigroup (Matrix i j a)

Defined in Pandora.Paradigm.Primary.Linear.Matrix

Methods

(+) :: Matrix i j a -> Matrix i j a -> Matrix i j a

Semigroup a => Semigroup (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

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