Semigroup Boolean Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Object.Boolean |
Semigroup Denumerator Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Object.Denumerator |
Semigroup Numerator Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Object.Numerator |
Semigroup a => Semigroup (Wye a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Wye |
Semigroup a => Semigroup (Identity a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Identity |
Semigroup (Endo a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Endo |
Semigroup a => Semigroup (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Semigroup (List a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Semigroup r => Semigroup (e -> r) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Function Methods (+) :: (e -> r) -> (e -> r) -> e -> r Source # |
(Semigroup e, Semigroup a) => Semigroup (These e a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.These |
(Semigroup s, Semigroup a) => Semigroup (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Semigroup e, Semigroup a) => Semigroup (Validation e a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Validation |
(Semigroup a, forall b. Semigroup b => Semigroup (t b), Covariant t, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Semigroup (Construction t a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Construction |
Semigroup (Construction Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
(Semigroup e, Semigroup a) => Semigroup (Conclusion e a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Conclusion |
Semigroup ((t <:.> Construction t) := a) => Semigroup (Comprehension t a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
Semigroup a => Semigroup (Vector a a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Linear.Vector |
(Semigroup a, Semigroup r, Semigroup (a :*: r), Semigroup (Vector r a)) => Semigroup (Vector (a :*: r) a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Linear.Vector |
Semigroup a => Semigroup (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Semigroup a => Semigroup (Constant a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Constant |
(Semigroup a, Semigroup (Vector i a), Semigroup (Vector i (Vector j a))) => Semigroup (Matrix i j a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Linear.Matrix |