Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
cataExpr :: (ExprR a -> a) -> Expr -> a
cataExpr algebra =
algebra
. fmap (cataExpr algebra)
. unFix
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment