mirror of
https://github.com/Lysxia/first-class-families.git
synced 2024-09-11 19:47:12 +03:00
Add comment about Endo
This commit is contained in:
parent
1b1ccca6af
commit
45385ca0be
@ -18,6 +18,12 @@ import Fcf.Combinators (Pure, type (<=<))
|
||||
import Fcf.Class.Monoid
|
||||
|
||||
-- | Endofunctions.
|
||||
--
|
||||
-- === __Details__
|
||||
--
|
||||
-- This is is used in the default implementation of
|
||||
-- 'Fcf.Class.Foldable.Foldr' in terms of
|
||||
-- 'Fcf.Class.Foldable.FoldMap'.
|
||||
newtype Endo a = Endo (a -> Exp a)
|
||||
|
||||
-- | Inverse of the 'Endo' constructor.
|
||||
|
Loading…
Reference in New Issue
Block a user