Data.Monoid.Endo

Utilities for Endo data type from Data.Monoid module.

Endo

type E a = a -> a

Type synonym for endomorphsm; it can be used to simplify type signatures.

newtype Endo a :: * -> *

The monoid of endomorphisms under composition.

Constructors

Endo

Fields

appEndo :: a -> a

Instances

Generic (Endo a)

Monoid (Endo a)

AnEndo (Endo a)

FoldEndoArgs (Endo a)

type Rep (Endo a) = D1 D1Endo (C1 C1_0Endo (S1 S1_0_0Endo (Rec0 (a -> a))))

type EndoOperatesOn (Endo a) = a

type ResultOperatesOn (Endo a) = a

type Result (Endo a) = Endo a

runEndo :: a -> Endo a -> a

Flipped version of appEndo.

mapEndo :: (E a -> E b) -> Endo a -> Endo b

Transform function wrapped in Endo.

mapEndo2 :: (E a -> E b -> E c) -> Endo a -> Endo b -> Endo c

Variation of mapEndo for functions with arity two.

liftEndo :: Functor f => Endo a -> Endo (f a)

Apply fmap to function wrapped in Endo. It's a short hand for mapEndo fmap.

Lens

endo :: Functor f => (E a -> f (E b)) -> Endo a -> f (Endo b)

Lens for Endo. In terms of lens package it would have type:

endo :: Lens (Endo a) (Endo b) (E a) (E b)

For details see lens package.