Fresnel.Bifunctor.Contravariant

Bicontravariant functors

class Bicontravariant p where

Methods

contrabimap :: (a' -> a) -> (b' -> b) -> p a b -> p a' b'

Instances

Contravariant m => Bicontravariant (Kleisli m)

Defined in Fresnel.Bifunctor.Contravariant

Methods

contrabimap :: (a' -> a) -> (b' -> b) -> Kleisli m a b -> Kleisli m a' b'

Contravariant f => Bicontravariant (OptionalStar f)

Defined in Fresnel.Profunctor.OptionalStar

Methods

contrabimap :: (a' -> a) -> (b' -> b) -> OptionalStar f a b -> OptionalStar f a' b'

Bicontravariant (Forget r :: Type -> Type -> Type)

Defined in Fresnel.Bifunctor.Contravariant

Methods

contrabimap :: (a' -> a) -> (b' -> b) -> Forget r a b -> Forget r a' b'

Contravariant f => Bicontravariant (Star f)

Defined in Fresnel.Bifunctor.Contravariant

Methods

contrabimap :: (a' -> a) -> (b' -> b) -> Star f a b -> Star f a' b'

contrafirst :: Bicontravariant p => (a' -> a) -> p a b -> p a' b

contrasecond :: Bicontravariant p => (b' -> b) -> p a b -> p a b'

Phantom parameters

rphantom :: (Profunctor p, Bicontravariant p) => p a b -> p a c

biphantom :: (Bifunctor p, Bicontravariant p) => p a b -> p c d