json-spec-elm-servant 0.4.4.4 → 0.5.0.0
raw patch · 3 files changed
+15/−5 lines, 3 filesdep ~basePVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base
API changes (from Hackage documentation)
- Data.JsonSpec.Elm.Servant: instance Data.JsonSpec.Elm.Servant.IsParam (Servant.API.ReqBody.ReqBody' mods '[Servant.API.ContentTypes.JSON] a) => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.ReqBody.ReqBody' (other : mods) (Servant.API.ContentTypes.JSON : accept) a)
- Data.JsonSpec.Elm.Servant: instance GHC.Internal.TypeLits.KnownSymbol name => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.Capture.Capture name tpy)
- Data.JsonSpec.Elm.Servant: instance GHC.Internal.TypeLits.KnownSymbol name => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.Header.Header' (Servant.API.Modifiers.Optional : mods) name a)
- Data.JsonSpec.Elm.Servant: instance GHC.Internal.TypeLits.KnownSymbol name => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.Header.Header' (Servant.API.Modifiers.Required : mods) name a)
- Data.JsonSpec.Elm.Servant: instance GHC.Internal.TypeLits.KnownSymbol name => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.QueryParam.QueryParam' (Servant.API.Modifiers.Optional : more) name typ)
- Data.JsonSpec.Elm.Servant: instance GHC.Internal.TypeLits.KnownSymbol name => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.QueryParam.QueryParam' (Servant.API.Modifiers.Required : more) name typ)
- Data.JsonSpec.Elm.Servant: instance GHC.Internal.TypeLits.KnownSymbol segment => Data.JsonSpec.Elm.Servant.IsParam segment
- Data.JsonSpec.Elm.Servant: instance forall k1 (m :: k1) (c :: GHC.Internal.TypeNats.Nat) (t :: [*]) r (h :: [*]). Data.JsonSpec.Elm.Servant.Elmable (Servant.API.Verbs.Verb m c t r) => Data.JsonSpec.Elm.Servant.Elmable (Servant.API.Verbs.Verb m c t (Servant.API.ResponseHeaders.Headers h r))
- Data.JsonSpec.Elm.Servant: instance forall k1 (m :: k1) (c :: GHC.Internal.TypeNats.Nat) (t :: [*]). Data.JsonSpec.Elm.Servant.Elmable (Servant.API.Verbs.NoContentVerb m) => Data.JsonSpec.Elm.Servant.Elmable (Servant.API.Verbs.Verb m c t Servant.API.ContentTypes.NoContent)
- Data.JsonSpec.Elm.Servant: instance forall k1 response (method :: k1) (code :: GHC.Internal.TypeNats.Nat) (types :: [*]). (Data.JsonSpec.Elm.HasType (Data.JsonSpec.Encode.EncodingSpec response), Servant.API.Verbs.ReflectMethod method) => Data.JsonSpec.Elm.Servant.Elmable (Servant.API.Verbs.Verb method code types response)
+ Data.JsonSpec.Elm.Servant: instance Data.JsonSpec.Elm.Servant.IsParam (Servant.API.ReqBody.ReqBody' (other : mods) accept a) => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.ReqBody.ReqBody' (other : mods) (Servant.API.ContentTypes.JSON : accept) a)
+ Data.JsonSpec.Elm.Servant: instance GHC.TypeLits.KnownSymbol name => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.Capture.Capture name tpy)
+ Data.JsonSpec.Elm.Servant: instance GHC.TypeLits.KnownSymbol name => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.Header.Header' (Servant.API.Modifiers.Optional : mods) name a)
+ Data.JsonSpec.Elm.Servant: instance GHC.TypeLits.KnownSymbol name => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.Header.Header' (Servant.API.Modifiers.Required : mods) name a)
+ Data.JsonSpec.Elm.Servant: instance GHC.TypeLits.KnownSymbol name => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.QueryParam.QueryParam' (Servant.API.Modifiers.Optional : more) name typ)
+ Data.JsonSpec.Elm.Servant: instance GHC.TypeLits.KnownSymbol name => Data.JsonSpec.Elm.Servant.IsParam (Servant.API.QueryParam.QueryParam' (Servant.API.Modifiers.Required : more) name typ)
+ Data.JsonSpec.Elm.Servant: instance GHC.TypeLits.KnownSymbol segment => Data.JsonSpec.Elm.Servant.IsParam segment
+ Data.JsonSpec.Elm.Servant: instance forall k1 (m :: k1) (c :: GHC.TypeNats.Nat) (t :: [*]) r (h :: [*]). Data.JsonSpec.Elm.Servant.Elmable (Servant.API.Verbs.Verb m c t r) => Data.JsonSpec.Elm.Servant.Elmable (Servant.API.Verbs.Verb m c t (Servant.API.ResponseHeaders.Headers h r))
+ Data.JsonSpec.Elm.Servant: instance forall k1 (m :: k1) (c :: GHC.TypeNats.Nat) (t :: [*]). Servant.API.Verbs.ReflectMethod m => Data.JsonSpec.Elm.Servant.Elmable (Servant.API.Verbs.Verb m c t Servant.API.ContentTypes.NoContent)
+ Data.JsonSpec.Elm.Servant: instance forall k1 response (method :: k1) (code :: GHC.TypeNats.Nat) (types :: [*]). (Data.JsonSpec.Elm.HasType (Data.JsonSpec.Encode.EncodingSpec response), Servant.API.Verbs.ReflectMethod method) => Data.JsonSpec.Elm.Servant.Elmable (Servant.API.Verbs.Verb method code types response)
Files
- changelog.md +9/−0
- json-spec-elm-servant.cabal +3/−2
- src/Data/JsonSpec/Elm/Servant.hs +3/−3
+ changelog.md view
@@ -0,0 +1,9 @@+# Changelog++## 0.5.0.0++- Added support for GHC 9.14.+ - This release is expected to be compatible with the `0.4.4.x` series in+ most practical cases.+ - The major version bump is required because exposed type class instances+ and their constraints changed, which is a technical API change.
json-spec-elm-servant.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: json-spec-elm-servant-version: 0.4.4.4+version: 0.5.0.0 synopsis: Generated elm code for servant APIs. description: Generate Elm encoders, decoders, and API requests for an Servant API, where the shape of the data@@ -18,12 +18,13 @@ category: JSON, Elm, Servant, Web build-type: Simple extra-source-files:+ changelog.md README.md LICENSE common dependencies build-depends:- , base >= 4.19.2.0 && < 4.22+ , base >= 4.19.2.0 && < 4.23 , bound >= 2.0.7 && < 2.1 , containers >= 0.6.8 && < 0.8 , directory >= 1.3.8.1 && < 1.4
src/Data/JsonSpec/Elm/Servant.hs view
@@ -389,7 +389,7 @@ instance (Elmable (Verb m c t r)) => Elmable (Verb m c t (Headers h r)) where endpoints = endpoints @(Verb m c t r) instance {- Elmable (Verb m c t NoContent) -}- (Elmable (NoContentVerb m))+ (ReflectMethod m) => Elmable (Verb m c t NoContent) where@@ -471,11 +471,11 @@ encoder <- encoderOf @(DecodingSpec a) pure $ BodyEncoder {elmType, encoder} instance {- IsParam (ReqBody' (other : mods) (JSON : accept) a) -}- {-# overlaps #-} (IsParam (ReqBody' mods '[JSON] a))+ {-# overlaps #-} (IsParam (ReqBody' (other : mods) accept a)) => IsParam (ReqBody' (other : mods) (JSON : accept) a) where- param = param @(ReqBody' mods '[JSON] a)+ param = param @(ReqBody' (other : mods) accept a) instance {- IsParam (ReqBody' mods (other : accept) a) -} {-# overlaps #-} (IsParam (ReqBody' mods accept a)) =>