Fcf.Class.Monoid.Types

Contents

Description

Carriers of useful monoid instances.

newtype Endo a Source #

Endofunctions.

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

Foldr

FoldMap

Constructors

Defined in Fcf.Class.Monoid.Types

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

Inverse of the Endo constructor.

Endo

Equations