github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity

📝 decoratorWithAlgebra.

Browse Source
This commit is contained in:
Rob Rix 2017-04-24 15:35:47 -04:00
parent 5201cb3f46
commit 0a6555351b
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Language/Ruby/Syntax.hs
View File

@ -130,5 +130,6 @@ cyclomaticComplexity = cata $ \ (_ :< union) -> case union of
-- | An F-algebra on some carrier functor 'f'.
type FAlgebra f a = f a -> a
-- | Lift an algebra into a decorator for terms annotated with records.
decoratorWithAlgebra :: Functor f => FAlgebra (Base (Term f (Record fs))) a -> Term f (Record fs) -> Term f (Record (a ': fs))
decoratorWithAlgebra alg = cata $ \ c@(a :< f) -> cofree $ (alg (fmap (rhead . extract) c) :. a) :< f