Pandora.Pattern.Functor.Invariant

Documentation

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

When providing a new instance, you should ensure it satisfies the two laws:
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

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 (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