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
cataExpr :: (ExprR a -> a) -> Expr -> a | |
cataExpr algebra = | |
algebra | |
. fmap (cataExpr algebra) | |
. unFix |