Data.Functor.Invariant

Invariant

class Invariant f

invmapFunctor

data WrappedFunctor f a

invmapContravariant

data WrappedContravariant f a

GHC.Generics

Invariant2

class Invariant2 f

invmap2Bifunctor

data WrappedBifunctor p a b

invmap2Profunctor

data WrappedProfunctor p a b