refined v0.6 Release Notes

Release Date: 2020-07-21 // over 3 years ago
  • ๐Ÿ”„ Changed

    • strengthen no longer returns an Either, since the proof that it should always succeed is in its constraints.
    • validate now takes a Proxy as its first argument.
    • ๐Ÿ–จ All uses of prettyprinter are now just Text

    โœ‚ Removed

    • Refined.These module
    • ๐Ÿ–จ Dependency on prettyprinter

    ๐Ÿ›  Fixed

    • ๐Ÿ› bug in sized internal helper that caused formatting issues in sized predicate errors