Fcf.Class.Monoid.Types

Carriers of useful monoid instances.

Endo

newtype Endo a

Endofunctions.

Details

This is is used in the default implementation of Foldr in terms of FoldMap.

Constructors

Endo (a -> Exp a)

Instances

type MEmpty

Defined in Fcf.Class.Monoid.Types

type MEmpty = Endo (Pure :: a -> a -> Type)

type (Endo f :: Endo a) <> (Endo g :: Endo a)

Defined in Fcf.Class.Monoid.Types

type (Endo f :: Endo a) <> (Endo g :: Endo a) = Endo (f <=< g)

type family UnEndo (e :: Endo a) :: a -> Exp a where ...

Inverse of the Endo constructor.

Equations

UnEndo (Endo f) = f