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