github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 17:05:33 +03:00
Code Issues Projects Releases Wiki Activity

Links in the docs for fToR.

Browse Source
This commit is contained in:
Rob Rix 2017-11-24 13:59:54 -05:00
parent 58dc2d7b75
commit 6d5f4a83f9
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/Decorator.hs
View File

@ -45,7 +45,7 @@ type OpenFAlgebra t a = forall b . (b -> a) -> Base t b -> a
-- | An open-recursive R-algebra on some 'Recursive' type @t@. -- | An open-recursive R-algebra on some 'Recursive' type @t@.
type OpenRAlgebra t a = forall b . (b -> (t, a)) -> Base t b -> a type OpenRAlgebra t a = forall b . (b -> (t, a)) -> Base t b -> a
-- | Promote an FAlgebra into an RAlgebra (by dropping the original parameter). -- | Promote an 'FAlgebra' into an 'RAlgebra' (by dropping the original parameter).
fToR :: Functor (Base t) => FAlgebra t a -> RAlgebra t a fToR :: Functor (Base t) => FAlgebra t a -> RAlgebra t a
fToR f = f . fmap snd fToR f = f . fmap snd