lawful-conversions 0.3 → 0.3.0.1

raw patch · 3 files changed

+3/−5 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

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

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

@@ -15,7 +15,7 @@ -- > to @String :: IsSome String b => b -> String -- -- > > :t from @Text--- > from @Text :: IsMany Text b => Text -> b+-- > from @Text :: IsSome a Text => Text -> a -- -- In other words 'to' and 'from' let you explicitly specify either the source -- or the target type of a conversion when you need to help the type

@@ -84,9 +84,7 @@ -- > maybeToInt16 :: Int32 -> Maybe Int16 -- > maybeToInt16 = maybeTo @Int16 ----- E.g.,------ > result = maybeTo @Percent someDouble+-- > percent = maybeTo @Percent someDouble maybeTo :: forall b a. (IsSome a b) => a -> Maybe b maybeTo = maybeFrom