Pandora.Paradigm.Primary.Functor.Equivalence

Documentation

data Equivalence a

Constructors

Equivalence (a -> a -> Boolean)

Instances

Contravariant Equivalence

Defined in Pandora.Paradigm.Primary.Functor.Equivalence

Methods

(>$<) :: (a -> b) -> Equivalence b -> Equivalence a

contramap :: (a -> b) -> Equivalence b -> Equivalence a

(>$) :: b -> Equivalence b -> Equivalence a

($<) :: Equivalence b -> b -> Equivalence a

full :: Equivalence () -> Equivalence a

(>&<) :: Equivalence b -> (a -> b) -> Equivalence a

(>$$<) :: Contravariant u => (a -> b) -> ((Equivalence :. u) := a) -> (Equivalence :. u) := b

(>$$$<) :: (Contravariant u, Contravariant v) => (a -> b) -> ((Equivalence :. (u :. v)) := b) -> (Equivalence :. (u :. v)) := a

(>$$$$<) :: (Contravariant u, Contravariant v, Contravariant w) => (a -> b) -> ((Equivalence :. (u :. (v :. w))) := a) -> (Equivalence :. (u :. (v :. w))) := b

(>&&<) :: Contravariant u => ((Equivalence :. u) := a) -> (a -> b) -> (Equivalence :. u) := b

(>&&&<) :: (Contravariant u, Contravariant v) => ((Equivalence :. (u :. v)) := b) -> (a -> b) -> (Equivalence :. (u :. v)) := a

(>&&&&<) :: (Contravariant u, Contravariant v, Contravariant w) => ((Equivalence :. (u :. (v :. w))) := a) -> (a -> b) -> (Equivalence :. (u :. (v :. w))) := b

Divisible Equivalence

Defined in Pandora.Paradigm.Primary.Functor.Equivalence

Methods

(>*<) :: Equivalence b -> Equivalence c -> Equivalence (b :*: c)