Agda.Utils.StrictEndo
newtype Endo a Source #
Constructors
Fields
Defined in Agda.Utils.StrictEndo
Associated Types
Methods
expand :: ((Endo a -> Result (Endo a)) -> Result (Endo a)) -> Endo a Source #
mempty :: Endo a #
mappend :: Endo a -> Endo a -> Endo a #
mconcat :: [Endo a] -> Endo a #
(<>) :: Endo a -> Endo a -> Endo a #
sconcat :: NonEmpty (Endo a) -> Endo a #
stimes :: Integral b => b -> Endo a -> Endo a #