deriving-aeson 0.2.4 → 0.2.5

raw patch · 3 files changed

+20/−7 lines, 3 filesdep ~aesonPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: aeson

API changes (from Hackage documentation)

- Deriving.Aeson: data CamelToKebab

- Deriving.Aeson: data CamelToSnake

- Deriving.Aeson: instance Deriving.Aeson.StringModifier Deriving.Aeson.CamelToKebab

- Deriving.Aeson: instance Deriving.Aeson.StringModifier Deriving.Aeson.CamelToSnake

+ Deriving.Aeson: data CamelTo (separator :: Symbol)

+ Deriving.Aeson: instance (GHC.TypeLits.KnownSymbol separator, Deriving.Aeson.NonEmptyString separator) => Deriving.Aeson.StringModifier (Deriving.Aeson.CamelTo separator)

+ Deriving.Aeson: type CamelToKebab = CamelTo "-"

+ Deriving.Aeson: type CamelToSnake = CamelTo "_"

Files

CHANGELOG.md +4/−0
deriving-aeson.cabal +1/−1
src/Deriving/Aeson.hs +15/−6

CHANGELOG.md view

@@ -1,5 +1,9 @@ # Revision history for deriving-aeson +## 0.2.5++* Added a generic `CamelTo` constructor+ ## 0.2.4  * Added `RejectUnknownFields`

deriving-aeson.cabal view

@@ -1,6 +1,6 @@ cabal-version:       2.4 name:                deriving-aeson-version:             0.2.4+version:             0.2.5 synopsis:            Type driven generic aeson instance customisation description:         This package provides a newtype wrapper with   FromJSON/ToJSON instances customisable via a phantom type parameter.

src/Deriving/Aeson.hs view

@@ -3,6 +3,7 @@ {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeOperators #-}+{-# LANGUAGE TypeFamilies #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE AllowAmbiguousTypes #-}@@ -26,6 +27,7 @@   , SumTwoElemArray   -- * Name modifiers   , StripPrefix+  , CamelTo   , CamelToKebab   , CamelToSnake   -- * Interface@@ -40,6 +42,7 @@ import Data.Aeson import Data.Aeson.Types import Data.Coerce+import Data.Kind import Data.List (stripPrefix) import Data.Maybe (fromMaybe) import Data.Proxy@@ -83,11 +86,14 @@ -- | Strip prefix @t@. If it doesn't have the prefix, keep it as-is. data StripPrefix t +-- | Generic CamelTo constructor taking in a separator char+data CamelTo (separator :: Symbol)+ -- | CamelCase to snake_case-data CamelToSnake+type CamelToSnake = CamelTo "_"  -- | CamelCase to kebab-case-data CamelToKebab+type CamelToKebab = CamelTo "-"  -- | Reify a function which modifies names class StringModifier t where@@ -100,11 +106,14 @@ instance (StringModifier a, StringModifier b) => StringModifier (a, b) where   getStringModifier = getStringModifier @b . getStringModifier @a -instance StringModifier CamelToKebab where-  getStringModifier = camelTo2 '-'+instance (KnownSymbol separator, NonEmptyString separator) => StringModifier (CamelTo separator) where+  getStringModifier = camelTo2 char+    where+      (char : _) = symbolVal (Proxy @separator) -instance StringModifier CamelToSnake where-  getStringModifier = camelTo2 '_'+type family NonEmptyString (xs :: Symbol) :: Constraint where+  NonEmptyString "" = TypeError ('Text "Empty string separator provided for camelTo separator")+  NonEmptyString _  = ()  -- | @{ "tag": t, "content": c}@ data SumTaggedObject t c