morphisms-functors-0.1.7: Functors, theirs compositions and transformations

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Polyvariant.Bicovariant

Documentation

class Bicovariant t where Source #

Minimal complete definition

bicomap

Methods

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

Instances
Bicovariant Product Source # 
Instance details

Defined in Data.Functor.Product

Methods

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

Bicovariant (Constant :: * -> * -> *) Source # 
Instance details

Defined in Data.Functor.Constant

Methods

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