Pandora.Pattern.Functor.Bivariant

Documentation

class (forall i. Covariant (v i)) => Bivariant (v :: * -> * -> *) where

When providing a new instance, you should ensure it satisfies:
* Identity: bimap identity identity ≡ identity
* Parametricity: bimap  (f . g) (h . i) ≡ bimap f h . bimap g i

Minimal complete definition

(<->)

Methods

(<->) :: (forall i. Covariant (v i)) => (a -> b) -> (c -> d) -> v a c -> v b d infixl 4

bimap :: (forall i. Covariant (v i)) => (a -> b) -> (c -> d) -> v a c -> v b d

Prefix version of <->

Instances

Bivariant Validation

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(<->) :: (forall i. Covariant (Validation i)) => (a -> b) -> (c -> d) -> Validation a c -> Validation b d

bimap :: (forall i. Covariant (Validation i)) => (a -> b) -> (c -> d) -> Validation a c -> Validation b d

Bivariant Product

Defined in Pandora.Paradigm.Primary.Functor.Product

Methods

(<->) :: (forall i. Covariant (Product i)) => (a -> b) -> (c -> d) -> Product a c -> Product b d

bimap :: (forall i. Covariant (Product i)) => (a -> b) -> (c -> d) -> Product a c -> Product b d

Bivariant Conclusion

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

(<->) :: (forall i. Covariant (Conclusion i)) => (a -> b) -> (c -> d) -> Conclusion a c -> Conclusion b d

bimap :: (forall i. Covariant (Conclusion i)) => (a -> b) -> (c -> d) -> Conclusion a c -> Conclusion b d

Bivariant (Tagged :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(<->) :: (forall i. Covariant (Tagged i)) => (a -> b) -> (c -> d) -> Tagged a c -> Tagged b d

bimap :: (forall i. Covariant (Tagged i)) => (a -> b) -> (c -> d) -> Tagged a c -> Tagged b d

Bivariant (Constant :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(<->) :: (forall i. Covariant (Constant i)) => (a -> b) -> (c -> d) -> Constant a c -> Constant b d

bimap :: (forall i. Covariant (Constant i)) => (a -> b) -> (c -> d) -> Constant a c -> Constant b d

(forall i. Covariant (Flip v i), Bivariant v) => Bivariant (Flip v)

Defined in Pandora.Paradigm.Primary.Transformer.Flip

Methods

(<->) :: (forall i. Covariant (Flip v i)) => (a -> b) -> (c -> d) -> Flip v a c -> Flip v b d

bimap :: (forall i. Covariant (Flip v i)) => (a -> b) -> (c -> d) -> Flip v a c -> Flip v b d