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.0.7@sha256:9418f6c158198b16aaabac41737eebb5ccecc40b35272b59995498c6f344aa14,893

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