| cata :: Functor f => (f a -> a) -> Fix f -> a | |
| cata algebra = | |
| algebra | |
| . fmap (cata algebra) | |
| . unFix |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
| cata :: Functor f => (f a -> a) -> Fix f -> a | |
| cata algebra = | |
| algebra | |
| . fmap (cata algebra) | |
| . unFix |