Pandora.Pattern.Object.Chain

Documentation

data Ordering

Constructors

Less

Equal

Greater

order :: a -> a -> a -> Ordering -> a

class Setoid a => Chain a where

When providing a new instance, you should ensure it satisfies the three laws:
* Reflexivity: x <= x ≡ True
* Transitivity: x <= y && y <= z ≡ True ===> x <= z ≡ True
* Antisymmetry: x <= y && y <= x ≡ True ===> x == y ≡ True

Minimal complete definition

(<=>)

Methods

(<=>) :: a -> a -> Ordering

(<) :: a -> a -> Boolean

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

(>) :: a -> a -> Boolean

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

Instances

Chain a => Chain (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(<=>) :: Maybe a -> Maybe a -> Ordering

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

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

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

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

Chain a => Chain (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

(<=>) :: Identity a -> Identity a -> Ordering

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

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

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

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

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

Defined in Pandora.Paradigm.Basis.Jack

Methods

(<=>) :: Jack t a -> Jack t a -> Ordering

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

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

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

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

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

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

(<=>) :: Conclusion e a -> Conclusion e a -> Ordering

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

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

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

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

Chain a => Chain (Tagged tag a)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

(<=>) :: Tagged tag a -> Tagged tag a -> Ordering

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

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

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

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

Chain a => Chain (Constant a b)

Defined in Pandora.Paradigm.Basis.Constant

Methods

(<=>) :: Constant a b -> Constant a b -> Ordering

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

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

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

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

(forall (u' :: k2 -> Type). Chain ((u' :.: t u') a)) => Chain (Y t u a)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

(<=>) :: Y t u a -> Y t u a -> Ordering

(<) :: Y t u a -> Y t u a -> Boolean

(<=) :: Y t u a -> Y t u a -> Boolean

(>) :: Y t u a -> Y t u a -> Boolean

(>=) :: Y t u a -> Y t u a -> Boolean

Chain ((u :.: t) a) => Chain (T t u a)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

(<=>) :: T t u a -> T t u a -> Ordering

(<) :: T t u a -> T t u a -> Boolean

(<=) :: T t u a -> T t u a -> Boolean

(>) :: T t u a -> T t u a -> Boolean

(>=) :: T t u a -> T t u a -> Boolean