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

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Polyvariant.Bicontravariant

Documentation

class Bicontravariant t where Source #

Minimal complete definition

bicontramap

Methods

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