isomorphism-class 0.1.0.2 → 0.1.0.3

raw patch · 2 files changed

+7/−7 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• isomorphism-class.cabal +1/−1
• library/IsomorphismClass.hs +6/−6

@@ -1,7 +1,7 @@ cabal-version: 3.0  name: isomorphism-class-version: 0.1.0.2+version: 0.1.0.3 synopsis: Isomorphism typeclass solving the conversion problem homepage: https://github.com/nikita-volkov/isomorphism-class bug-reports: https://github.com/nikita-volkov/isomorphism-class/issues

@@ -113,15 +113,15 @@ -- -- __Laws__ ----- /A/ is isomorphic to /B/ if and only if there exists a conversion from /A/--- to /B/ ('to') and a conversion from /B/ to /A/ ('from') such that:+-- /B/ is isomorphic to /A/ if and only if there exists a conversion from /B/+-- to /A/ ('to') and a conversion from /A/ to /B/ ('from') such that: ----- - @'from' . 'to' = 'id'@ - For all values of /A/ converting from /A/ to /B/---     and then converting from /B/ to /A/ produces a value that is identical+-- - @'from' . 'to' = 'id'@ - For all values of /B/ converting from /B/ to /A/+--     and then converting from /A/ to /B/ produces a value that is identical --     to the original. ----- - @'to' . 'from' = 'id'@ - For all values of /B/ converting from /B/ to /A/---     and then converting from /A/ to /B/ produces a value that is identical+-- - @'to' . 'from' = 'id'@ - For all values of /A/ converting from /A/ to /B/+--     and then converting from /B/ to /A/ produces a value that is identical --     to the original. -- -- __Usage__