Pandora.Pattern.Functor.Bivariant

Documentation

class Bivariant (v :: * -> * -> *) where

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

Minimal complete definition

(<->)

Methods

(<->) :: (a -> b) -> (c -> d) -> v a c -> v b d infixl 4

bimap :: (a -> b) -> (c -> d) -> v a c -> v b d

Prefix version of <->

Instances

Bivariant Validation

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(<->) :: (a -> b) -> (c -> d) -> Validation a c -> Validation b d

bimap :: (a -> b) -> (c -> d) -> Validation a c -> Validation b d

Bivariant Product

Defined in Pandora.Paradigm.Primary.Functor.Product

Methods

(<->) :: (a -> b) -> (c -> d) -> Product a c -> Product b d

bimap :: (a -> b) -> (c -> d) -> Product a c -> Product b d

Bivariant Conclusion

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

(<->) :: (a -> b) -> (c -> d) -> Conclusion a c -> Conclusion b d

bimap :: (a -> b) -> (c -> d) -> Conclusion a c -> Conclusion b d

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

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(<->) :: (a -> b) -> (c -> d) -> Tagged a c -> Tagged b d

bimap :: (a -> b) -> (c -> d) -> Tagged a c -> Tagged b d

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

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(<->) :: (a -> b) -> (c -> d) -> Constant a c -> Constant b d

bimap :: (a -> b) -> (c -> d) -> Constant a c -> Constant b d