Pandora.Pattern.Object.Setoid

Documentation

class Setoid a where

When providing a new instance, you should ensure it satisfies:
* Reflexivity: x == x ≡ True
* Symmetry: x == y ≡ y == x
* Transitivity: x == y * y == z ≡ True ===> x == z ≡ True
* Negation: x != y ≡ invert (x == y)

Minimal complete definition

(==)

Methods

(==) :: a -> a -> Boolean infix 4

(!=) :: a -> a -> Boolean infix 4

Instances

Setoid Ordering

Defined in Pandora.Paradigm.Primary.Object

Methods

(==) :: Ordering -> Ordering -> Boolean

(!=) :: Ordering -> Ordering -> Boolean

Setoid Boolean

Defined in Pandora.Paradigm.Primary.Object

Methods

(==) :: Boolean -> Boolean -> Boolean

(!=) :: Boolean -> Boolean -> Boolean

Setoid Denumerator

Defined in Pandora.Paradigm.Primary.Object.Denumerator

Methods

(==) :: Denumerator -> Denumerator -> Boolean

(!=) :: Denumerator -> Denumerator -> Boolean

Setoid Numerator

Defined in Pandora.Paradigm.Primary.Object.Numerator

Methods

(==) :: Numerator -> Numerator -> Boolean

(!=) :: Numerator -> Numerator -> Boolean

Setoid a => Setoid (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

(==) :: Identity a -> Identity a -> Boolean

(!=) :: Identity a -> Identity a -> Boolean

Setoid a => Setoid (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

(==) :: Maybe a -> Maybe a -> Boolean

(!=) :: Maybe a -> Maybe a -> Boolean

Setoid a => Setoid (List a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(==) :: List a -> List a -> Boolean

(!=) :: List a -> List a -> Boolean

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

Defined in Pandora.Paradigm.Primary.Algebraic.Product

Methods

(==) :: (s :*: a) -> (s :*: a) -> Boolean

(!=) :: (s :*: a) -> (s :*: a) -> Boolean

(Setoid a, Setoid (t a)) => Setoid (Jack t a)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

(==) :: Jack t a -> Jack t a -> Boolean

(!=) :: Jack t a -> Jack t a -> Boolean

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(==) :: Validation e a -> Validation e a -> Boolean

(!=) :: Validation e a -> Validation e a -> Boolean

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

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

(==) :: Construction t a -> Construction t a -> Boolean

(!=) :: Construction t a -> Construction t a -> Boolean

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

(==) :: Conclusion e a -> Conclusion e a -> Boolean

(!=) :: Conclusion e a -> Conclusion e a -> Boolean

Setoid ((t <::> Construction t) := a) => Setoid (Comprehension t a)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(==) :: Comprehension t a -> Comprehension t a -> Boolean

(!=) :: Comprehension t a -> Comprehension t a -> Boolean

Setoid a => Setoid (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

(==) :: Vector a a -> Vector a a -> Boolean

(!=) :: Vector a a -> Vector a a -> Boolean

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

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

(==) :: Vector (a :*: r) a -> Vector (a :*: r) a -> Boolean

(!=) :: Vector (a :*: r) a -> Vector (a :*: r) a -> Boolean

Setoid a => Setoid (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(==) :: Constant a b -> Constant a b -> Boolean

(!=) :: Constant a b -> Constant a b -> Boolean

Setoid a => Setoid (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(==) :: Tagged tag a -> Tagged tag a -> Boolean

(!=) :: Tagged tag a -> Tagged tag a -> Boolean

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

Defined in Pandora.Paradigm.Primary.Linear.Matrix

Methods

(==) :: Matrix i j a -> Matrix i j a -> Boolean

(!=) :: Matrix i j a -> Matrix i j a -> Boolean