Module

Data.Functor.Invariant

Package: purescript-invariant
Repository: purescript/purescript-invariant

#Invariant Source

class Invariant f  where

Members

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

Instances

Invariant (Function a)
Invariant Array
Invariant Additive
Invariant Conj
Invariant Disj
Invariant Dual
Invariant (Endo Function)
Invariant Multiplicative
(Invariant f) => Invariant (Alternate f)

#imapF Source

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: Data.Functor.Invariant