Agda
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.StrictFlipEndo

Description

Strict endomorphism monoid with flipped function composition order

Documentation

newtype Endo a Source #

Constructors

Endo 

Fields

Instances

Instances details
ExpandCase (Endo a) Source # 
Instance details

Defined in Agda.Utils.StrictFlipEndo

Associated Types

type Result (Endo a) 
Instance details

Defined in Agda.Utils.StrictFlipEndo

type Result (Endo a) = a

Methods

expand :: ((Endo a -> Result (Endo a)) -> Result (Endo a)) -> Endo a Source #

Monoid (Endo a) Source # 
Instance details

Defined in Agda.Utils.StrictFlipEndo

Methods

mempty :: Endo a #

mappend :: Endo a -> Endo a -> Endo a #

mconcat :: [Endo a] -> Endo a #

Semigroup (Endo a) Source # 
Instance details

Defined in Agda.Utils.StrictFlipEndo

Methods

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

sconcat :: NonEmpty (Endo a) -> Endo a #

stimes :: Integral b => b -> Endo a -> Endo a #

type Result (Endo a) Source # 
Instance details

Defined in Agda.Utils.StrictFlipEndo

type Result (Endo a) = a