Control.Functor.Polyvariant.Quadcontravariant

Documentation

class Quadcontravariant t where

Minimal complete definition

quadcontramap

Methods

quadcontramap :: (b -> a) -> (d -> c) -> (f -> e) -> (h -> g) -> t a c e g -> t b d f h