Module Data.wrapper.Endo

Monoid instance for endofunctions

Imports

import Data.Monoid as Monoid
import frege.Prelude as Prelude
import Prelude.PreludeArrays as PreludeArrays
import Prelude.PreludeBase as PreludeBase
import Prelude.PreludeDecimal as PreludeDecimal
import Prelude.PreludeIO as PreludeIO
import Prelude.PreludeList as PreludeList
import Prelude.PreludeMonad as PreludeMonad
import Prelude.PreludeText as PreludeText
import Java.util.Regex as Regexp

Table of Content

Definitions

data Endo a

appEndo ∷ Endo 𝖆 → 𝖆 → 𝖆
Instances

instance Monoid (Endo a)
Functions and Values by Type

Definitions

data Endo a

The monoid of endomorphisms under composition.

Constructors

Endo {unwrap ∷ a → a}

Member Functions

unwrap ∷ Endo 𝖆 → 𝖆 → 𝖆: access field unwrap

appEndo ∷ Endo 𝖆 → 𝖆 → 𝖆

Alias for Endo.unwrap

Instances

instance Monoid (Endo a)

The Monoid instance for Endo has functions as objects, uses Semigroupoid.Semigroupoid.• as operation and the identity is Category.Category.id.

Member Functions

mappend ∷ Endo 𝖆 → Endo 𝖆 → Endo 𝖆
infixr 13

 Endo f <> Endo g = Endo (f . g)

mconcat ∷ [Endo 𝖆] → Endo 𝖆

inherited from Monoid.mconcat

mempty ∷ Endo 𝖆

 Endo id

mtimes ∷ Int → Endo 𝖆 → Endo 𝖆

inherited from Monoid.mtimes

sconcat ∷ [Endo 𝖆] → Endo 𝖆

inherited from Semigroup.sconcat

stimes ∷ Int → Endo 𝖆 → Endo 𝖆

inherited from Semigroup.stimes

Functions and Values by Type

(a → a) → Endo a: Endo.Endo
Endo 𝖆 → Endo 𝖆 → Endo 𝖆: Monoid_Endo.mappend
Endo 𝖆 → 𝖆 → 𝖆: Endo.unwrap
[Endo 𝖆] → Endo 𝖆: Monoid_Endo.sconcat, Monoid_Endo.mconcat
Int → Endo 𝖆 → Endo 𝖆: Monoid_Endo.stimes, Monoid_Endo.mtimes
𝖆 → Bool: Endo.has$unwrap
Endo 𝖆: Monoid_Endo.mempty
Endo 𝖆 → (-> 𝖆 𝖆→𝖇→𝖇) → Endo 𝖇: Endo.chg$unwrap
Endo 𝖆 → (𝖇→𝖇) → Endo 𝖇: Endo.upd$unwrap