From 96ad3467849572eaf693f411ed1feed3f9d145f9 Mon Sep 17 00:00:00 2001 From: Rick Winfrey Date: Mon, 21 Nov 2016 17:51:04 -0600 Subject: [PATCH] Original value over subobject --- src/FDoc/RecursionSchemes.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/FDoc/RecursionSchemes.hs b/src/FDoc/RecursionSchemes.hs index e7bc6b616..b1e020f72 100644 --- a/src/FDoc/RecursionSchemes.hs +++ b/src/FDoc/RecursionSchemes.hs @@ -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