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

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Polyvariant.Tricovariant

Documentation

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 #