Module

Data.Functor.Invariant

#Invariant 

class Invariant f  where

Members

  • imap :: forall a b. (a -> b) -> (b -> a) -> f a -> f b

Instances

#imapF 

imapF :: forall f a b. Functor f => (a -> b) -> (b -> a) -> f a -> f b

As all Functors are also trivially Invariant, this function can be used as the imap implementation for any types that has an existing Functor instance.

Modules