diff --git a/lib/text-class/test/unit/Data/Text/ClassSpec.hs b/lib/text-class/test/unit/Data/Text/ClassSpec.hs index 5cdf75ecb5c..5633dc91e86 100644 --- a/lib/text-class/test/unit/Data/Text/ClassSpec.hs +++ b/lib/text-class/test/unit/Data/Text/ClassSpec.hs @@ -52,6 +52,11 @@ spec = do in fromText @Int "patate" === Left (TextDecodingError err) it "fromText . toText === pure" $ property $ \(i :: Int) -> (fromText . toText) i === pure i + it "fromText ~ fromTextMaybe" $ + property $ \(Digits t) -> + classify (isNothing (fromTextMaybe @Int t)) "invalid" $ + classify ((compare 0 <$> fromTextMaybe @Int t) == Just GT) "valid negative" $ + toList (fromTextMaybe @Int t) === toList (fromText t) describe "Text" $ do it "fromText \"patate\"" $ @@ -60,11 +65,6 @@ spec = do toText @Text "patate" === "patate" it "fromText . toText === pure" $ property $ \(t :: Text) -> (fromText . toText) t === pure t - it "fromText ~ fromTextMaybe" $ - property $ \(Digits t) -> - classify (isNothing (fromTextMaybe @Int t)) "invalid" $ - classify ((compare 0 <$> fromTextMaybe @Int t) == Just GT) "valid negative" $ - toList (fromTextMaybe @Int t) === toList (fromText t) {------------------------------------------------------------------------------- Arbitrary Instances