morphisms-functors-0.1.7: Functors, theirs compositions and transformations
Control.Functor.Polyvariant.Tricovariant
class Tricovariant t where Source #
Minimal complete definition
tricomap
Methods
tricomap :: (a -> b) -> (c -> d) -> (e -> f) -> t a c e -> t b d f Source #