Pandora.Paradigm.Primary.Functor.Equivalence
data Equivalence a Source #
Constructors
Defined in Pandora.Paradigm.Primary.Functor.Equivalence
Methods
(>$<) :: (a -> b) -> Equivalence b -> Equivalence a Source #
contramap :: (a -> b) -> Equivalence b -> Equivalence a Source #
(>$) :: b -> Equivalence b -> Equivalence a Source #
($<) :: Equivalence b -> b -> Equivalence a Source #
full :: Equivalence () -> Equivalence a Source #
(>&<) :: Equivalence b -> (a -> b) -> Equivalence a Source #
(>$$<) :: Contravariant u => (a -> b) -> ((Equivalence :. u) := a) -> (Equivalence :. u) := b Source #
(>$$$<) :: (Contravariant u, Contravariant v) => (a -> b) -> ((Equivalence :. (u :. v)) := b) -> (Equivalence :. (u :. v)) := a Source #
(>$$$$<) :: (Contravariant u, Contravariant v, Contravariant w) => (a -> b) -> ((Equivalence :. (u :. (v :. w))) := a) -> (Equivalence :. (u :. (v :. w))) := b Source #
(>&&<) :: Contravariant u => ((Equivalence :. u) := a) -> (a -> b) -> (Equivalence :. u) := b Source #
(>&&&<) :: (Contravariant u, Contravariant v) => ((Equivalence :. (u :. v)) := b) -> (a -> b) -> (Equivalence :. (u :. v)) := a Source #
(>&&&&<) :: (Contravariant u, Contravariant v, Contravariant w) => ((Equivalence :. (u :. (v :. w))) := a) -> (a -> b) -> (Equivalence :. (u :. (v :. w))) := b Source #
(>*<) :: Equivalence b -> Equivalence c -> Equivalence (b :*: c) Source #