Generalized folds, unfolds, and refolds.
Generalized folds, unfolds, and refolds.
This packages contains fixed-point operators as well as instances of recursion schemes for various extant data types.
This packages contains fixed-point operators as well as instances of recursion schemes for various extant data types.
The reason these are relegated to their own package is because, in general, you should eschew using them directly, but rather rely on the type class constraints, and only require specific types at the boundaries.
This package provides instances of various common data structures implemented explicitly as fixed-points.