deque-blog/arithmetic_paramorphism.hs

Created February 15, 2017 21:20

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/deque-blog/c4ef3f59043c836a12892e25d9c38a27.js"></script>
Save deque-blog/c4ef3f59043c836a12892e25d9c38a27 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

arithmetic_paramorphism.hs

	para :: (ExprR (a, Expr) -> a) -> Expr -> a
	para alg = alg . fmap (para alg &&& id) . unFix

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment