data-fix

Fixpoint data types

BSD-3-Clause licensed by Anton Kholomiov

Maintained by <anton.kholomiov@gmail.com>

This version can be pinned in stack with:data-fix-0.2.0@sha256:d8edf00817e386e0ef6bbb5d2ab75aac4e52e77e95c4ce3c08c0c9c028af3963,887

Depends on 1 package(full list with versions):

Fixpoint types and recursion schemes. If you define your AST as fixpoint type, you get fold and unfold operations for free.

Thanks for contribution to: Matej Kollar, Herbert Valerio Riedel