Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/Data/StringVariants/NullableNonEmptyText.hs
Original file line number Diff line number Diff line change
Expand Up @@ -40,9 +40,9 @@
import Data.Data (Data, Proxy (..))
import Data.Hashable (Hashable)
import Data.Maybe (fromMaybe)
import Data.MonoTraversable (MonoFoldable)

Check warning on line 43 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.10)

The import of ‘Data.MonoTraversable’ is redundant

Check warning on line 43 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.12)

The import of ‘Data.MonoTraversable’ is redundant

Check warning on line 43 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.4)

The import of ‘Data.MonoTraversable’ is redundant

Check warning on line 43 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.8)

The import of ‘Data.MonoTraversable’ is redundant

Check warning on line 43 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.6)

The import of ‘Data.MonoTraversable’ is redundant
import Data.StringVariants.NonEmptyText
import Data.StringVariants.NonEmptyText.Internal (NonEmptyText (..))

Check warning on line 45 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.10)

The import of ‘Data.StringVariants.NonEmptyText.Internal’ is redundant

Check warning on line 45 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.12)

The import of ‘Data.StringVariants.NonEmptyText.Internal’ is redundant

Check warning on line 45 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.4)

The import of ‘Data.StringVariants.NonEmptyText.Internal’ is redundant

Check warning on line 45 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.8)

The import of ‘Data.StringVariants.NonEmptyText.Internal’ is redundant

Check warning on line 45 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.6)

The import of ‘Data.StringVariants.NonEmptyText.Internal’ is redundant
import Data.StringVariants.Util
import Data.Text (Text)
import Data.Text qualified as T
Expand Down Expand Up @@ -84,7 +84,7 @@
-- > {"name": "Daniel", catchphrase: " Yabba-Dabba Do! "}
--
-- Use 'nullableNonEmptyTextToMaybeNonEmptyText' to extract @Maybe (NonEmptyText n)@ from @NullableNonEmptyText n@.
newtype NullableNonEmptyText n = NullableNonEmptyText (Maybe (NonEmptyText n))

Check warning on line 87 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.10)

Missing role annotation: type role NullableNonEmptyText phantom

Check warning on line 87 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.12)

Missing role annotation: type role NullableNonEmptyText phantom

Check warning on line 87 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.8)

Missing role annotation: type role NullableNonEmptyText phantom
deriving stock (Data, Generic, Show, Read, Lift)
deriving newtype (Eq, Ord, Hashable, NFData)

Expand Down Expand Up @@ -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

Expand Down Expand Up @@ -155,7 +155,7 @@
}
where
compileNullableNonEmptyText' :: String -> Q Exp
compileNullableNonEmptyText' s = usePositiveNat n errorMessage $ \(_ :: proxy n) ->

Check warning on line 158 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.10)

The type variable ‘n’ is implicitly quantified,

Check warning on line 158 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.12)

The type variable ‘n’ is implicitly quantified,

Check warning on line 158 in src/Data/StringVariants/NullableNonEmptyText.hs

View workflow job for this annotation

GitHub Actions / build (3.10, 9.8)

The type variable ‘n’ is implicitly quantified,
case mkNullableNonEmptyText @n (T.pack s) of
Just txt -> [|$(lift txt)|]
Nothing -> errorMessage
Expand Down
Loading