Data.Comp.Multi.ExpFunctor

This module defines higher-order exponential functors.

Documentation

class HExpFunctor f where

Higher-order exponential functors are higher-order functors that may be both covariant (as ordinary higher-order functors) and contravariant.

Methods

hxmap :: (a :-> b) -> (b :-> a) -> f a :-> f b

Instances

(HExpFunctor f, HExpFunctor g) => HExpFunctor (:++: f g)