From b9bca6f567617202d8335ed4681902275e08e8b8 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 24 Nov 2017 14:02:06 -0500 Subject: [PATCH] Rename the f type parameter to syntax. --- src/Decorator.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Decorator.hs b/src/Decorator.hs index 60ac31e72..5f186c5d5 100644 --- a/src/Decorator.hs +++ b/src/Decorator.hs @@ -65,10 +65,10 @@ openFToOpenR :: OpenFAlgebra t a -> OpenRAlgebra t a openFToOpenR alg = alg . fmap snd -- | Lift an algebra into a decorator for terms annotated with records. -decoratorWithAlgebra :: Functor f - => RAlgebra (Term f (Record fs)) a -- ^ An R-algebra on terms. - -> Term f (Record fs) -- ^ A term to decorate with values produced by the R-algebra. - -> Term f (Record (a ': fs)) -- ^ A term decorated with values produced by the R-algebra. +decoratorWithAlgebra :: Functor syntax + => RAlgebra (Term syntax (Record fs)) a -- ^ An R-algebra on terms. + -> Term syntax (Record fs) -- ^ A term to decorate with values produced by the R-algebra. + -> Term syntax (Record (a ': fs)) -- ^ A term decorated with values produced by the R-algebra. decoratorWithAlgebra alg = para $ \ c@(In a f) -> termIn (alg (fmap (second (rhead . termAnnotation)) c) :. a) (fmap snd f)