Data.Invertible.Monoid
Description
Bidirectional transforms for Data.Monoid.
newtype BiEndo a Source #
The monoid of endomorphisms under composition.
Constructors
Fields
Defined in Control.Invertible.Functor
Methods
fmap :: (a <-> b) -> BiEndo a -> BiEndo b Source #
Defined in Data.Invertible.Monoid
mempty :: BiEndo a #
mappend :: BiEndo a -> BiEndo a -> BiEndo a #
mconcat :: [BiEndo a] -> BiEndo a #
(<>) :: BiEndo a -> BiEndo a -> BiEndo a #
sconcat :: NonEmpty (BiEndo a) -> BiEndo a #
stimes :: Integral b => b -> BiEndo a -> BiEndo a #
dual :: a <-> Dual a Source #
(Un)wrap the Dual monoid.
Dual
endo :: (a -> a) <-> Endo a Source #
(Un)wrap the Endo monoid.
Endo
biEndo :: (a <-> a) <-> BiEndo a Source #
(Un)wrap the BiEndo monoid.
BiEndo
all :: Bool <-> All Source #
(Un)wrap the All monoid.
All
any :: Bool <-> Any Source #
(Un)wrap the Any monoid.
Any
sum :: a <-> Sum a Source #
(Un)wrap the Sum monoid.
Sum
product :: a <-> Product a Source #
(Un)wrap the Product monoid.
Product
first :: Maybe a <-> First a Source #
(Un)wrap the First monoid.
First
last :: Maybe a <-> Last a Source #
(Un)wrap the Last monoid.
Last
alt :: f a <-> Alt f a Source #