Setoid Ordering Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Object |
Setoid Boolean Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Object |
Setoid Denumerator Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Object.Denumerator |
Setoid Numerator Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Object.Numerator |
Setoid a => Setoid (Exactly a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Exactly |
Setoid a => Setoid (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Setoid a => Setoid (List a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
(Setoid s, Setoid a) => Setoid (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Algebraic.Product |
Setoid a => Setoid (Vector a a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Linear.Vector |
(Setoid a, Setoid (Vector r a)) => Setoid (Vector (a :*: r) a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Linear.Vector |
(Setoid a, Setoid (t a)) => Setoid (Jack t a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Jack |
(Setoid e, Setoid a) => Setoid (Validation e a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Validation |
(Setoid a, forall b. Setoid b => Setoid (t b), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Setoid (Construction t a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Construction |
(Setoid e, Setoid a) => Setoid (Conclusion e a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Conclusion |
Setoid ((t <::> Construction t) := a) => Setoid (Comprehension t a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
Setoid a => Setoid (Constant a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Constant |
(Setoid a, Setoid (Vector i a), Setoid (Vector i (Vector j a))) => Setoid (Matrix i j a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Linear.Matrix |
Setoid a => Setoid (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |