Data.Bicontravariant

Definitions

interface Bicontravariant : (Type -> Type -> Type) -> Type

Parameters: f
Methods:

contrabimap : (a -> b) -> (c -> d) -> f b d -> f a c

contramapFst : (a -> b) -> f b c -> f a c

contramapSnd : (b -> c) -> f a c -> f a b

Implementations:

Contravariant f => Bicontravariant (Star f)

Contravariant f => Bicontravariant (Kleislimorphism f)

Bicontravariant (Forget r)

Bicontravariant p => Bicontravariant (Indexed i p)

contrabimap : Bicontravariant f => (a -> b) -> (c -> d) -> f b d -> f a c

Totality: total
Visibility: public export

contramapFst : Bicontravariant f => (a -> b) -> f b c -> f a c

Totality: total
Visibility: public export

contramapSnd : Bicontravariant f => (b -> c) -> f a c -> f a b

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export