datafix v0.0.1.0 Release Notes

Release Date: 2020-03-28 // over 1 year ago
  • ... to accomodate set recurrences like First/Follow, while retaining the flexibility needed to compute monotone map lattices.

    👀 See the changes to solveProblem, which now takes a DependencyM graph domain a action instead of a Node. Previously, that meant that you could only effectively return a value of type domain from your problem (through said Node), now it's possible to return arbitrary an arbitrary value of type a that can be computed by accessing any number of Nodes in the graph. You'll get the old API just by calling dependOn on your node to construct the DependencyM action.

    👀 Type inference worsened from this change, but it seems like a worthwhile improvement of the API.

Previous changes from v0.0.0.2

  • ♻️ Refactored the module structure in a way that separates MonadDependency and MonadDatafix more cleanly. This entailed some breaking changes if this package wasn't used through the kitchen-sink Datafix module.