Pandora.Pattern.Object.Setoid

Documentation

data Boolean

Constructors

True

False

(&&) :: Boolean -> Boolean -> Boolean infixr 3

(||) :: Boolean -> Boolean -> Boolean infixr 9

not :: Boolean -> Boolean

bool :: a -> a -> Boolean -> a

ifelse :: a -> a -> Boolean -> a

class Setoid a where

When providing a new instance, you should ensure it satisfies the four laws:
* Reflexivity: x == x ≡ True
* Symmetry: x == y ≡ y == x
* Transitivity: x == y && y == z ≡ True ===> x == z ≡ True
* Negation: x /= y ≡ not (x == y)

Minimal complete definition

(==)

Methods

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

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

Instances

Setoid a => Setoid (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

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

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

Setoid a => Setoid (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

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

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

(Setoid a, forall b. Setoid b => Setoid (t b)) => Setoid (Twister t a)

Defined in Pandora.Paradigm.Basis.Twister

Methods

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

(/=) :: Twister t a -> Twister t a -> Boolean

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

Defined in Pandora.Paradigm.Basis.Product

Methods

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

(/=) :: Product a b -> Product a b -> Boolean

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

Defined in Pandora.Paradigm.Basis.Jack

Methods

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

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

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

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

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

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

Setoid a => Setoid (Tagged tag a)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

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

Setoid a => Setoid (Constant a b)

Defined in Pandora.Paradigm.Basis.Constant

Methods

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

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