github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 13:02:37 +03:00
Code Issues Projects Releases Wiki Activity

Original value over subobject

Browse Source
This commit is contained in:
Rick Winfrey 2016-11-21 17:51:04 -06:00
parent fede68ad6e
commit 96ad346784
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/FDoc/RecursionSchemes.hs
View File

@ -121,7 +121,7 @@ stringTermHylo = hylo algebra coalgebra
_ -> (Range 1 10 .: Category.MethodCall .: RNil) :< Leaf stringRepresentation
{-
Paramorphism -- primitive recursion that maintains a reference to the original subobject and its computed value.
Paramorphism -- primitive recursion that maintains a reference to the original value and its computed value.
para :: (Base t (t, a) -> a) -- an algebra that takes a tuple of the last input
-> t -- fixed point