Modulefirst-class-families-0.8.2.0Haskell2010

Fcf.Class.Monoid.Types

Carriers of useful monoid instances.

Endo

2 declarations

newtypenewtype Endo a

Endofunctions.

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

Instances2MEmpty, <>

type MEmpty = 'Endo PureDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid.Types
type (<>) ('Endo f) ('Endo g) = 'Endo (f <=< g)Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid.Types

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

Inverse of the Endo constructor.