lawful-conversions 0.3.0.4 → 0.3.1

raw patch · 2 files changed

+4/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• lawful-conversions.cabal +1/−1
• src/library/LawfulConversions/Properties.hs +3/−2

@@ -1,6 +1,6 @@ cabal-version: 3.0 name: lawful-conversions-version: 0.3.0.4+version: 0.3.1 synopsis: Lawful typeclasses for bidirectional conversion between types category: Conversion homepage: https://github.com/nikita-volkov/lawful-conversions

@@ -30,8 +30,9 @@ isSomeProperties aProxy bProxy =   [ ( "'to' is injective",       property \b1 b2 ->-        b1 /= b2 ==>-          to' b1 =/= to' b2+        if b1 == b2+          then property True+          else to' b1 =/= to' b2     ),     ( "'maybeFrom' is a partial inverse of 'to'",       property \b ->