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

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Polyvariant.Tricontravariant

Documentation

class Tricontravariant t where Source #

Minimal complete definition

tricontramap

Methods

tricontramap :: (b -> a) -> (d -> c) -> (f -> e) -> t a c e -> t b d f Source #