Control.Functor.Polyvariant.Bicovariant

Documentation

class Bicovariant t where

Minimal complete definition

bicomap

Methods

bicomap :: (a -> b) -> (c -> d) -> t a c -> t b d

Instances

Bicovariant Product

Defined in Data.Functor.Product

Methods

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

Bicovariant (Constant :: * -> * -> *)

Defined in Data.Functor.Constant

Methods

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