string-variants 0.3.1.1 → 0.3.1.3

raw patch · 4 files changed

+13/−5 lines, 4 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Data.StringVariants: (<>|) :: NonEmptyText n -> NonEmptyText m -> NonEmptyText (n + m)

+ Data.StringVariants: (<>|) :: forall (n :: Nat) (m :: Nat). NonEmptyText n -> NonEmptyText m -> NonEmptyText (n + m)

- Data.StringVariants: NullableNonEmptyText :: Maybe (NonEmptyText n) -> NullableNonEmptyText n

+ Data.StringVariants: NullableNonEmptyText :: Maybe (NonEmptyText n) -> NullableNonEmptyText (n :: Nat)

- Data.StringVariants: chunksOfNonEmptyText :: forall chunkSize totalSize. (KnownNat chunkSize, KnownNat totalSize, chunkSize <= totalSize, 1 <= chunkSize) => NonEmptyText totalSize -> NonEmpty (NonEmptyText chunkSize)

+ Data.StringVariants: chunksOfNonEmptyText :: forall (chunkSize :: Nat) (totalSize :: Nat). (KnownNat chunkSize, KnownNat totalSize, chunkSize <= totalSize, 1 <= chunkSize) => NonEmptyText totalSize -> NonEmpty (NonEmptyText chunkSize)

- Data.StringVariants: exactLengthRefinedToRange :: Refined (ContainsNonWhitespaceCharacters && SizeEqualTo n) Text -> NonEmptyText n

+ Data.StringVariants: exactLengthRefinedToRange :: forall (n :: Nat). Refined (ContainsNonWhitespaceCharacters && SizeEqualTo n) Text -> NonEmptyText n

- Data.StringVariants: filterNonEmptyText :: (KnownNat n, 1 <= n) => (Char -> Bool) -> NonEmptyText n -> Maybe (NonEmptyText n)

+ Data.StringVariants: filterNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => (Char -> Bool) -> NonEmptyText n -> Maybe (NonEmptyText n)

- Data.StringVariants: fromMaybeNullableText :: Maybe (NullableNonEmptyText n) -> NullableNonEmptyText n

+ Data.StringVariants: fromMaybeNullableText :: forall (n :: Nat). Maybe (NullableNonEmptyText n) -> NullableNonEmptyText n

- Data.StringVariants: isNullNonEmptyText :: NullableNonEmptyText n -> Bool

+ Data.StringVariants: isNullNonEmptyText :: forall (n :: Nat). NullableNonEmptyText n -> Bool

- Data.StringVariants: maybeNonEmptyTextToNullable :: Maybe (NonEmptyText n) -> NullableNonEmptyText n

+ Data.StringVariants: maybeNonEmptyTextToNullable :: forall (n :: Nat). Maybe (NonEmptyText n) -> NullableNonEmptyText n

- Data.StringVariants: maybeTextToTruncateNullableNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Maybe Text -> NullableNonEmptyText n

+ Data.StringVariants: maybeTextToTruncateNullableNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Maybe Text -> NullableNonEmptyText n

- Data.StringVariants: mkNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

+ Data.StringVariants: mkNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

- Data.StringVariants: mkNonEmptyTextWithTruncate :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

+ Data.StringVariants: mkNonEmptyTextWithTruncate :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

- Data.StringVariants: mkNullableNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NullableNonEmptyText n)

+ Data.StringVariants: mkNullableNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> Maybe (NullableNonEmptyText n)

- Data.StringVariants: newtype NullableNonEmptyText n

+ Data.StringVariants: newtype NullableNonEmptyText (n :: Nat)

- Data.StringVariants: nonEmptyTextFromRefined :: Refined (ContainsNonWhitespaceCharacters && (SizeLessThan n || SizeEqualTo n)) Text -> NonEmptyText n

+ Data.StringVariants: nonEmptyTextFromRefined :: forall (n :: Nat). Refined (ContainsNonWhitespaceCharacters && (SizeLessThan n || SizeEqualTo n)) Text -> NonEmptyText n

- Data.StringVariants: nonEmptyTextToNullable :: NonEmptyText n -> NullableNonEmptyText n

+ Data.StringVariants: nonEmptyTextToNullable :: forall (n :: Nat). NonEmptyText n -> NullableNonEmptyText n

- Data.StringVariants: nonEmptyTextToText :: NonEmptyText n -> Text

+ Data.StringVariants: nonEmptyTextToText :: forall (n :: Nat). NonEmptyText n -> Text

- Data.StringVariants: nullNonEmptyText :: NullableNonEmptyText n

+ Data.StringVariants: nullNonEmptyText :: forall (n :: Nat). NullableNonEmptyText n

- Data.StringVariants: nullableNonEmptyTextToMaybeNonEmptyText :: NullableNonEmptyText n -> Maybe (NonEmptyText n)

+ Data.StringVariants: nullableNonEmptyTextToMaybeNonEmptyText :: forall (n :: Nat). NullableNonEmptyText n -> Maybe (NonEmptyText n)

- Data.StringVariants: nullableNonEmptyTextToMaybeText :: NullableNonEmptyText n -> Maybe Text

+ Data.StringVariants: nullableNonEmptyTextToMaybeText :: forall (n :: Nat). NullableNonEmptyText n -> Maybe Text

- Data.StringVariants: parseNullableNonEmptyText :: (KnownNat n, 1 <= n) => Text -> Object -> Parser (NullableNonEmptyText n)

+ Data.StringVariants: parseNullableNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> Object -> Parser (NullableNonEmptyText n)

- Data.StringVariants: proseFromNonEmptyText :: NonEmptyText n -> Prose

+ Data.StringVariants: proseFromNonEmptyText :: forall (n :: Nat). NonEmptyText n -> Prose

- Data.StringVariants: refinedFromNonEmptyText :: NonEmptyText n -> Refined (ContainsNonWhitespaceCharacters && (SizeLessThan n || SizeEqualTo n)) Text

+ Data.StringVariants: refinedFromNonEmptyText :: forall (n :: Nat). NonEmptyText n -> Refined (ContainsNonWhitespaceCharacters && (SizeLessThan n || SizeEqualTo n)) Text

- Data.StringVariants: takeNonEmptyText :: forall m n. (KnownNat m, KnownNat n, 1 <= n, n <= m) => NonEmptyText m -> NonEmptyText n

+ Data.StringVariants: takeNonEmptyText :: forall (m :: Nat) (n :: Nat). (KnownNat m, KnownNat n, 1 <= n, n <= m) => NonEmptyText m -> NonEmptyText n

- Data.StringVariants: takeNonEmptyTextEnd :: forall m n. (KnownNat m, KnownNat n, 1 <= n, n <= m) => NonEmptyText m -> NonEmptyText n

+ Data.StringVariants: takeNonEmptyTextEnd :: forall (m :: Nat) (n :: Nat). (KnownNat m, KnownNat n, 1 <= n, n <= m) => NonEmptyText m -> NonEmptyText n

- Data.StringVariants: unsafeMkNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> NonEmptyText n

+ Data.StringVariants: unsafeMkNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> NonEmptyText n

- Data.StringVariants: widen :: (1 <= n, n <= m) => NonEmptyText n -> NonEmptyText m

+ Data.StringVariants: widen :: forall (n :: Natural) (m :: Natural). (1 <= n, n <= m) => NonEmptyText n -> NonEmptyText m

- Data.StringVariants.NonEmptyText: (<>|) :: NonEmptyText n -> NonEmptyText m -> NonEmptyText (n + m)

+ Data.StringVariants.NonEmptyText: (<>|) :: forall (n :: Nat) (m :: Nat). NonEmptyText n -> NonEmptyText m -> NonEmptyText (n + m)

- Data.StringVariants.NonEmptyText: chunksOfNonEmptyText :: forall chunkSize totalSize. (KnownNat chunkSize, KnownNat totalSize, chunkSize <= totalSize, 1 <= chunkSize) => NonEmptyText totalSize -> NonEmpty (NonEmptyText chunkSize)

+ Data.StringVariants.NonEmptyText: chunksOfNonEmptyText :: forall (chunkSize :: Nat) (totalSize :: Nat). (KnownNat chunkSize, KnownNat totalSize, chunkSize <= totalSize, 1 <= chunkSize) => NonEmptyText totalSize -> NonEmpty (NonEmptyText chunkSize)

- Data.StringVariants.NonEmptyText: concatWithSpace :: NonEmptyText n -> NonEmptyText m -> NonEmptyText ((n + m) + 1)

+ Data.StringVariants.NonEmptyText: concatWithSpace :: forall (n :: Nat) (m :: Nat). NonEmptyText n -> NonEmptyText m -> NonEmptyText ((n + m) + 1)

- Data.StringVariants.NonEmptyText: exactLengthRefinedToRange :: Refined (ContainsNonWhitespaceCharacters && SizeEqualTo n) Text -> NonEmptyText n

+ Data.StringVariants.NonEmptyText: exactLengthRefinedToRange :: forall (n :: Nat). Refined (ContainsNonWhitespaceCharacters && SizeEqualTo n) Text -> NonEmptyText n

- Data.StringVariants.NonEmptyText: filterNonEmptyText :: (KnownNat n, 1 <= n) => (Char -> Bool) -> NonEmptyText n -> Maybe (NonEmptyText n)

+ Data.StringVariants.NonEmptyText: filterNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => (Char -> Bool) -> NonEmptyText n -> Maybe (NonEmptyText n)

- Data.StringVariants.NonEmptyText: mkNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

+ Data.StringVariants.NonEmptyText: mkNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

- Data.StringVariants.NonEmptyText: mkNonEmptyTextWithTruncate :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

+ Data.StringVariants.NonEmptyText: mkNonEmptyTextWithTruncate :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

- Data.StringVariants.NonEmptyText: nonEmptyTextFromRefined :: Refined (ContainsNonWhitespaceCharacters && (SizeLessThan n || SizeEqualTo n)) Text -> NonEmptyText n

+ Data.StringVariants.NonEmptyText: nonEmptyTextFromRefined :: forall (n :: Nat). Refined (ContainsNonWhitespaceCharacters && (SizeLessThan n || SizeEqualTo n)) Text -> NonEmptyText n

- Data.StringVariants.NonEmptyText: nonEmptyTextToText :: NonEmptyText n -> Text

+ Data.StringVariants.NonEmptyText: nonEmptyTextToText :: forall (n :: Nat). NonEmptyText n -> Text

- Data.StringVariants.NonEmptyText: refinedFromNonEmptyText :: NonEmptyText n -> Refined (ContainsNonWhitespaceCharacters && (SizeLessThan n || SizeEqualTo n)) Text

+ Data.StringVariants.NonEmptyText: refinedFromNonEmptyText :: forall (n :: Nat). NonEmptyText n -> Refined (ContainsNonWhitespaceCharacters && (SizeLessThan n || SizeEqualTo n)) Text

- Data.StringVariants.NonEmptyText: takeNonEmptyText :: forall m n. (KnownNat m, KnownNat n, 1 <= n, n <= m) => NonEmptyText m -> NonEmptyText n

+ Data.StringVariants.NonEmptyText: takeNonEmptyText :: forall (m :: Nat) (n :: Nat). (KnownNat m, KnownNat n, 1 <= n, n <= m) => NonEmptyText m -> NonEmptyText n

- Data.StringVariants.NonEmptyText: takeNonEmptyTextEnd :: forall m n. (KnownNat m, KnownNat n, 1 <= n, n <= m) => NonEmptyText m -> NonEmptyText n

+ Data.StringVariants.NonEmptyText: takeNonEmptyTextEnd :: forall (m :: Nat) (n :: Nat). (KnownNat m, KnownNat n, 1 <= n, n <= m) => NonEmptyText m -> NonEmptyText n

- Data.StringVariants.NonEmptyText: type IsNonEmptyText n s = (KnownSymbol s, KnownNat n, SymbolNonEmpty s, SymbolWithNoSpaceAround s, SymbolNoLongerThan s n)

+ Data.StringVariants.NonEmptyText: type IsNonEmptyText (n :: Nat) (s :: Symbol) = (KnownSymbol s, KnownNat n, SymbolNonEmpty s, SymbolWithNoSpaceAround s, SymbolNoLongerThan s n)

- Data.StringVariants.NonEmptyText: unsafeMkNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> NonEmptyText n

+ Data.StringVariants.NonEmptyText: unsafeMkNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> NonEmptyText n

- Data.StringVariants.NonEmptyText: widen :: (1 <= n, n <= m) => NonEmptyText n -> NonEmptyText m

+ Data.StringVariants.NonEmptyText: widen :: forall (n :: Natural) (m :: Natural). (1 <= n, n <= m) => NonEmptyText n -> NonEmptyText m

- Data.StringVariants.NonEmptyText.Internal: mkNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

+ Data.StringVariants.NonEmptyText.Internal: mkNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

- Data.StringVariants.NonEmptyText.Internal: mkNonEmptyTextWithTruncate :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

+ Data.StringVariants.NonEmptyText.Internal: mkNonEmptyTextWithTruncate :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

- Data.StringVariants.NonEmptyText.Internal: unsafeMkNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> NonEmptyText n

+ Data.StringVariants.NonEmptyText.Internal: unsafeMkNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> NonEmptyText n

- Data.StringVariants.NonEmptyText.Internal: widen :: (1 <= n, n <= m) => NonEmptyText n -> NonEmptyText m

+ Data.StringVariants.NonEmptyText.Internal: widen :: forall (n :: Natural) (m :: Natural). (1 <= n, n <= m) => NonEmptyText n -> NonEmptyText m

- Data.StringVariants.NullableNonEmptyText: NullableNonEmptyText :: Maybe (NonEmptyText n) -> NullableNonEmptyText n

+ Data.StringVariants.NullableNonEmptyText: NullableNonEmptyText :: Maybe (NonEmptyText n) -> NullableNonEmptyText (n :: Nat)

- Data.StringVariants.NullableNonEmptyText: fromMaybeNullableText :: Maybe (NullableNonEmptyText n) -> NullableNonEmptyText n

+ Data.StringVariants.NullableNonEmptyText: fromMaybeNullableText :: forall (n :: Nat). Maybe (NullableNonEmptyText n) -> NullableNonEmptyText n

- Data.StringVariants.NullableNonEmptyText: isNullNonEmptyText :: NullableNonEmptyText n -> Bool

+ Data.StringVariants.NullableNonEmptyText: isNullNonEmptyText :: forall (n :: Nat). NullableNonEmptyText n -> Bool

- Data.StringVariants.NullableNonEmptyText: maybeNonEmptyTextToNullable :: Maybe (NonEmptyText n) -> NullableNonEmptyText n

+ Data.StringVariants.NullableNonEmptyText: maybeNonEmptyTextToNullable :: forall (n :: Nat). Maybe (NonEmptyText n) -> NullableNonEmptyText n

- Data.StringVariants.NullableNonEmptyText: maybeTextToTruncateNullableNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Maybe Text -> NullableNonEmptyText n

+ Data.StringVariants.NullableNonEmptyText: maybeTextToTruncateNullableNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Maybe Text -> NullableNonEmptyText n

- Data.StringVariants.NullableNonEmptyText: mkNonEmptyTextWithTruncate :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

+ Data.StringVariants.NullableNonEmptyText: mkNonEmptyTextWithTruncate :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)

- Data.StringVariants.NullableNonEmptyText: mkNullableNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NullableNonEmptyText n)

+ Data.StringVariants.NullableNonEmptyText: mkNullableNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> Maybe (NullableNonEmptyText n)

- Data.StringVariants.NullableNonEmptyText: newtype NullableNonEmptyText n

+ Data.StringVariants.NullableNonEmptyText: newtype NullableNonEmptyText (n :: Nat)

- Data.StringVariants.NullableNonEmptyText: nonEmptyTextToNullable :: NonEmptyText n -> NullableNonEmptyText n

+ Data.StringVariants.NullableNonEmptyText: nonEmptyTextToNullable :: forall (n :: Nat). NonEmptyText n -> NullableNonEmptyText n

- Data.StringVariants.NullableNonEmptyText: nullNonEmptyText :: NullableNonEmptyText n

+ Data.StringVariants.NullableNonEmptyText: nullNonEmptyText :: forall (n :: Nat). NullableNonEmptyText n

- Data.StringVariants.NullableNonEmptyText: nullableNonEmptyTextToMaybeNonEmptyText :: NullableNonEmptyText n -> Maybe (NonEmptyText n)

+ Data.StringVariants.NullableNonEmptyText: nullableNonEmptyTextToMaybeNonEmptyText :: forall (n :: Nat). NullableNonEmptyText n -> Maybe (NonEmptyText n)

- Data.StringVariants.NullableNonEmptyText: nullableNonEmptyTextToMaybeText :: NullableNonEmptyText n -> Maybe Text

+ Data.StringVariants.NullableNonEmptyText: nullableNonEmptyTextToMaybeText :: forall (n :: Nat). NullableNonEmptyText n -> Maybe Text

- Data.StringVariants.NullableNonEmptyText: parseNullableNonEmptyText :: (KnownNat n, 1 <= n) => Text -> Object -> Parser (NullableNonEmptyText n)

+ Data.StringVariants.NullableNonEmptyText: parseNullableNonEmptyText :: forall (n :: Nat). (KnownNat n, 1 <= n) => Text -> Object -> Parser (NullableNonEmptyText n)

- Data.StringVariants.NullableNonEmptyText: type IsNullableNonEmptyText n s = (KnownSymbol s, KnownNat n, SymbolNonEmpty s, SymbolWithNoSpaceAround s, SymbolNoLongerThan s n)

+ Data.StringVariants.NullableNonEmptyText: type IsNullableNonEmptyText (n :: Nat) (s :: Symbol) = (KnownSymbol s, KnownNat n, SymbolNonEmpty s, SymbolWithNoSpaceAround s, SymbolNoLongerThan s n)

- Data.StringVariants.Prose: proseFromNonEmptyText :: NonEmptyText n -> Prose

+ Data.StringVariants.Prose: proseFromNonEmptyText :: forall (n :: Nat). NonEmptyText n -> Prose

- Data.StringVariants.Prose: type IsProse s = (KnownSymbol s, SymbolWithNoSpaceAround s)

+ Data.StringVariants.Prose: type IsProse (s :: Symbol) = (KnownSymbol s, SymbolWithNoSpaceAround s)

- Data.StringVariants.Prose.Internal: proseFromNonEmptyText :: NonEmptyText n -> Prose

+ Data.StringVariants.Prose.Internal: proseFromNonEmptyText :: forall (n :: Nat). NonEmptyText n -> Prose

- Data.StringVariants.Prose.Internal: type IsProse s = (KnownSymbol s, SymbolWithNoSpaceAround s)

+ Data.StringVariants.Prose.Internal: type IsProse (s :: Symbol) = (KnownSymbol s, SymbolWithNoSpaceAround s)

- Data.StringVariants.Util: type SymbolWithNoSpaceAround s = (SymbolNoLeadingSpace (UnconsSymbol s), SymbolNoTrailingSpace (UnconsSymbol s))

+ Data.StringVariants.Util: type SymbolWithNoSpaceAround (s :: Symbol) = (SymbolNoLeadingSpace UnconsSymbol s, SymbolNoTrailingSpace UnconsSymbol s)

- Data.StringVariants.Util: type family SymbolNoLongerThan (s :: Symbol) (n :: Nat) :: Constraint

+ Data.StringVariants.Util: type family SymbolNoLongerThan (s :: Symbol) (n :: Nat)

- Data.StringVariants.Util: usePositiveNat :: Integer -> a -> (forall n proxy. (KnownNat n, 1 <= n) => proxy n -> a) -> a

+ Data.StringVariants.Util: usePositiveNat :: Integer -> a -> (forall (n :: Nat) (proxy :: Nat -> Type). (KnownNat n, 1 <= n) => proxy n -> a) -> a

Files

CHANGELOG.md +8/−0
src/Data/StringVariants/NonEmptyText/Internal.hs +1/−1
src/Data/StringVariants/NullableNonEmptyText.hs +1/−1
string-variants.cabal +3/−3

CHANGELOG.md view

@@ -1,5 +1,13 @@ # Changelog +## [0.3.1.3] - 2025-12-11++- Fix the comparator displayed in the error message for too-long `NullableNonEmptyText`.++## [0.3.1.2] - 2025-01-30++- Add the limit number to the decode error string for `NonEmptyText`.+ ## [0.3.1.1] - 2024-10-31  - Add `Hashable` and `NFData` instances to `NonEmptyText`.

src/Data/StringVariants/NonEmptyText/Internal.hs view

@@ -43,7 +43,7 @@   parseJSON = withText "NonEmptyText" $ \t -> do     performInboundValidations t     case mkNonEmptyText t of-      Nothing -> fail $ "Data/StringVariants/NonEmptyText.hs: invalid NonEmptyText: " ++ T.unpack t+      Nothing -> fail $ "Data/StringVariants/NonEmptyText.hs: invalid NonEmptyText " ++ show (natVal (Proxy @n))  ++ ": " ++ T.unpack t       Just nonEmptyText -> pure nonEmptyText     where       -- These validations are performed at the edge of the system rather than in

src/Data/StringVariants/NullableNonEmptyText.hs view

@@ -115,7 +115,7 @@   parseJSON = \case     J.String t -> case mkNullableNonEmptyText t of       Just txt -> pure txt-      Nothing -> fail $ "Data/StringVariants/NullableNonEmptyText.hs: When trying to parse a NullableNonEmptyText, expected a String of length < " ++ show (natVal (Proxy @n)) ++ ", but received: " ++ T.unpack t+      Nothing -> fail $ "Data/StringVariants/NullableNonEmptyText.hs: When trying to parse a NullableNonEmptyText, expected a String of length <= " ++ show (natVal (Proxy @n)) ++ ", but received: " ++ T.unpack t     J.Null -> pure $ NullableNonEmptyText Nothing     x -> fail $ "Data/StringVariants/NullableNonEmptyText.hs: When trying to parse a NullableNonEmptyText, expected a String or Null, but received: " ++ show x

string-variants.cabal view

@@ -1,11 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.36.0.+-- This file has been generated from package.yaml by hpack version 0.38.2. -- -- see: https://github.com/sol/hpack  name:           string-variants-version:        0.3.1.1+version:        0.3.1.3 synopsis:       Constrained text newtypes description:    See README at <https://github.com/MercuryTechnologies/string-variants#readme>. category:       Data@@ -16,7 +16,7 @@ license-file:   LICENSE build-type:     Simple tested-with:-    GHC ==9.2.8 || ==9.4.8 || ==9.6.3+    GHC ==9.4.8 || ==9.6.6 || ==9.10.1 || ==9.12.1 extra-source-files:     CHANGELOG.md