Pandora.Paradigm.Primary.Functor.Endo

Documentation

newtype Endo a

Constructors

Endo

Fields

• endo :: a -> a

Instances

Invariant Endo

Defined in Pandora.Paradigm.Primary.Functor.Endo

Methods

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

Semigroup (Endo a)

Defined in Pandora.Paradigm.Primary.Functor.Endo

Methods

(+) :: Endo a -> Endo a -> Endo a

Monoid (Endo a)

Defined in Pandora.Paradigm.Primary.Functor.Endo

Methods

zero :: Endo a