Data.Functor.Invariant

Documentation

class Invariant f where

Methods

invmap :: (a -> a') -> (a' -> a) -> f a -> f a'

Instances

Invariant []

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> [a] -> [a']

Invariant Maybe

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> Maybe a -> Maybe a'

Invariant IO

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> IO a -> IO a'

Invariant ZipList

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> ZipList a -> ZipList a'

Invariant Identity

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> Identity a -> Identity a'

Invariant NonEmpty

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> NonEmpty a -> NonEmpty a'

Invariant (Either e)

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> Either e a -> Either e a'

Invariant ((,) x1)

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> (x1, a) -> (x1, a')

Contravariant f => Invariant (FromContra f)

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> FromContra f a -> FromContra f a'

Functor f => Invariant (FromFunctor f)

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> FromFunctor f a -> FromFunctor f a'

Invariant ((,,) x1 x2)

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> (x1, x2, a) -> (x1, x2, a')

Invariant ((,,,) x1 x2 x3)

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> (x1, x2, x3, a) -> (x1, x2, x3, a')

(Functor f, Functor g) => Invariant (Product f g)

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> Product f g a -> Product f g a'

(Functor f, Functor g) => Invariant (Sum f g)

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> Sum f g a -> Sum f g a'

(Functor f, Functor g) => Invariant (Compose f g)

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> Compose f g a -> Compose f g a'

invIso :: Invariant f => Iso (->) a a' -> Iso (->) (f a) (f a')

newtype FromFunctor f a

Constructors

FromFunctor

Fields

• runBi :: f a

Instances

Functor f => Invariant (FromFunctor f)

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> FromFunctor f a -> FromFunctor f a'

newtype FromContra f a

Constructors

FromContra

Fields

• runContra :: f a

Instances

Contravariant f => Invariant (FromContra f)

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> a') -> (a' -> a) -> FromContra f a -> FromContra f a'