Pandora.Pattern.Functor.Invariant

Documentation

class Invariant (t :: * -> *) where

When providing a new instance, you should ensure it satisfies:
Identity morphisms: invmap identity identity = identity
Interpreted of morphisms: invmap g j . invmap f h = invmap (g . f) (h . j)

Minimal complete definition

(<$<)

Methods

(<$<) :: (a -> b) -> (b -> a) -> t a -> t b infixl 4

invmap :: (a -> b) -> (b -> a) -> t a -> t b

Prefix version of <$<

Instances

Invariant Endo

Defined in Pandora.Paradigm.Primary.Functor.Endo

Methods

(<$<) :: (a -> b) -> (b -> a) -> Endo a -> Endo b

invmap :: (a -> b) -> (b -> a) -> Endo a -> Endo b

Invariant (Flip Store r)

Defined in Pandora.Paradigm.Inventory.Store

Methods

(<$<) :: (a -> b) -> (b -> a) -> Flip Store r a -> Flip Store r b

invmap :: (a -> b) -> (b -> a) -> Flip Store r a -> Flip Store r b

Invariant (Flip (Lens available) tgt)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

(<$<) :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b

invmap :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b

Invariant (Flip State r)

Defined in Pandora.Paradigm.Inventory.State

Methods

(<$<) :: (a -> b) -> (b -> a) -> Flip State r a -> Flip State r b

invmap :: (a -> b) -> (b -> a) -> Flip State r a -> Flip State r b

Invariant (Constant a :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(<$<) :: (a0 -> b) -> (b -> a0) -> Constant a a0 -> Constant a b

invmap :: (a0 -> b) -> (b -> a0) -> Constant a a0 -> Constant a b