ascii-superset 1.2.4.0 → 1.2.5.0
raw patch · 5 files changed
+23/−2 lines, 5 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ ASCII.CaseRefinement: forgetCase :: ASCII'case letterCase superset -> ASCII superset
+ ASCII.Lift: instance ASCII.Lift.Lift (ASCII.CaseRefinement.ASCII'case letterCase superset) (ASCII.Refinement.ASCII superset)
Files
- ascii-superset.cabal +1/−1
- changelog.md +14/−0
- library/ASCII/CaseRefinement.hs +4/−1
- library/ASCII/Lift.hs +2/−0
- library/ASCII/Refinement.hs-boot +2/−0
ascii-superset.cabal view
@@ -1,7 +1,7 @@ cabal-version: 3.0 name: ascii-superset-version: 1.2.4.0+version: 1.2.5.0 synopsis: Representing ASCII with refined supersets category: Data, Text
changelog.md view
@@ -1,3 +1,17 @@+### 1.2.5.0 (2023-01-06)++New in `ASCII.CaseRefinement`:++```haskell+forgetCase :: ASCII'case letterCase superset -> ASCII superset+```++And a new corresponding `Lift` instance:++```haskell+instance Lift (ASCII'case letterCase superset) (ASCII superset)+```+ ### 1.2.4.0 (2023-01-05) New classes:
library/ASCII/CaseRefinement.hs view
@@ -1,6 +1,6 @@ module ASCII.CaseRefinement (- {- * ASCII'case type constructor -} ASCII'case, lift, asciiCaseUnsafe,+ {- * ASCII'case type constructor -} ASCII'case, lift, asciiCaseUnsafe, forgetCase, {- ** Aliases -} {- $aliases -} ASCII'upper, ASCII'lower, {- * Character functions -} validateChar, fromCaselessChar, toCaselessChar, substituteChar, asCaselessChar, refineCharToCase,@@ -115,6 +115,9 @@ of producing an invalid 'ASCII'case' value. -} asciiCaseUnsafe :: superset -> ASCII'case letterCase superset asciiCaseUnsafe = ASCII'case_Unsafe++forgetCase :: ASCII'case letterCase superset -> ASCII superset+forgetCase = Refinement.asciiUnsafe . lift ---
library/ASCII/Lift.hs view
@@ -44,6 +44,8 @@ instance Lift (ASCII'case letterCase superset) superset where lift = CaseRefinement.lift +instance Lift (ASCII'case letterCase superset) (ASCII superset) where lift = CaseRefinement.forgetCase+ {-| An ASCII 'Char' may be 'lift'ed into any larger character set (a 'CharSuperset'); for example, 'lift' can convert an ASCII character into a value of the standard 'Prelude.Char' type in "Prelude". -}
library/ASCII/Refinement.hs-boot view
@@ -3,3 +3,5 @@ data ASCII superset lift :: ASCII superset -> superset++asciiUnsafe :: superset -> ASCII superset