Data.Invertible.Monoid

Bidirectional transforms for Data.Monoid.

Documentation

newtype BiEndo a

The monoid of endomorphisms under composition.

Constructors

BiEndo

Fields

appBiEndo :: a <-> a

Instances

Functor BiEndo

Monoid (BiEndo a)

dual :: a <-> Dual a

(Un)wrap the Dual monoid.

endo :: (a -> a) <-> Endo a

(Un)wrap the Endo monoid.

biEndo :: (a <-> a) <-> BiEndo a

(Un)wrap the BiEndo monoid.

all :: Bool <-> All

(Un)wrap the All monoid.

any :: Bool <-> Any

(Un)wrap the Any monoid.

sum :: a <-> Sum a

(Un)wrap the Sum monoid.

product :: a <-> Product a

(Un)wrap the Product monoid.

first :: Maybe a <-> First a

(Un)wrap the First monoid.

last :: Maybe a <-> Last a

(Un)wrap the Last monoid.

alt :: f a <-> Alt f a

(Un)wrap the Last monoid.