pandora-0.3.2: A box of patterns and paradigms

 Source # Instance details 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 #(>&<) :: 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 #