Skip to content

Commit 7d92dfe

Browse files
author
Tom Sydney Kerckhove
committed
Upgrade to nixos-25.05 and lts 23.19
1 parent 665374f commit 7d92dfe

33 files changed

+130
-206
lines changed

example/generatedCode/src/OpenAPI/Operations/AddPet.hs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,12 @@ import qualified Prelude as GHC.Maybe
1212
import qualified Control.Monad.Fail
1313
import qualified Control.Monad.Trans.Reader
1414
import qualified Data.Aeson
15+
import qualified Data.Aeson as Data.Aeson.Decoding
1516
import qualified Data.Aeson as Data.Aeson.Encoding.Internal
1617
import qualified Data.Aeson as Data.Aeson.Types
1718
import qualified Data.Aeson as Data.Aeson.Types.FromJSON
18-
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
1919
import qualified Data.Aeson as Data.Aeson.Types.Internal
20+
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
2021
import qualified Data.ByteString
2122
import qualified Data.ByteString as Data.ByteString.Internal
2223
import qualified Data.ByteString as Data.ByteString.Internal.Type

example/generatedCode/src/OpenAPI/Operations/CreateUser.hs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,12 @@ import qualified Prelude as GHC.Maybe
1212
import qualified Control.Monad.Fail
1313
import qualified Control.Monad.Trans.Reader
1414
import qualified Data.Aeson
15+
import qualified Data.Aeson as Data.Aeson.Decoding
1516
import qualified Data.Aeson as Data.Aeson.Encoding.Internal
1617
import qualified Data.Aeson as Data.Aeson.Types
1718
import qualified Data.Aeson as Data.Aeson.Types.FromJSON
18-
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
1919
import qualified Data.Aeson as Data.Aeson.Types.Internal
20+
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
2021
import qualified Data.ByteString
2122
import qualified Data.ByteString as Data.ByteString.Internal
2223
import qualified Data.ByteString as Data.ByteString.Internal.Type

example/generatedCode/src/OpenAPI/Operations/CreateUsersWithArrayInput.hs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,12 @@ import qualified Prelude as GHC.Maybe
1212
import qualified Control.Monad.Fail
1313
import qualified Control.Monad.Trans.Reader
1414
import qualified Data.Aeson
15+
import qualified Data.Aeson as Data.Aeson.Decoding
1516
import qualified Data.Aeson as Data.Aeson.Encoding.Internal
1617
import qualified Data.Aeson as Data.Aeson.Types
1718
import qualified Data.Aeson as Data.Aeson.Types.FromJSON
18-
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
1919
import qualified Data.Aeson as Data.Aeson.Types.Internal
20+
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
2021
import qualified Data.ByteString
2122
import qualified Data.ByteString as Data.ByteString.Internal
2223
import qualified Data.ByteString as Data.ByteString.Internal.Type

example/generatedCode/src/OpenAPI/Operations/CreateUsersWithListInput.hs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,12 @@ import qualified Prelude as GHC.Maybe
1212
import qualified Control.Monad.Fail
1313
import qualified Control.Monad.Trans.Reader
1414
import qualified Data.Aeson
15+
import qualified Data.Aeson as Data.Aeson.Decoding
1516
import qualified Data.Aeson as Data.Aeson.Encoding.Internal
1617
import qualified Data.Aeson as Data.Aeson.Types
1718
import qualified Data.Aeson as Data.Aeson.Types.FromJSON
18-
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
1919
import qualified Data.Aeson as Data.Aeson.Types.Internal
20+
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
2021
import qualified Data.ByteString
2122
import qualified Data.ByteString as Data.ByteString.Internal
2223
import qualified Data.ByteString as Data.ByteString.Internal.Type

example/generatedCode/src/OpenAPI/Operations/DeleteOrder.hs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,12 @@ import qualified Prelude as GHC.Maybe
1212
import qualified Control.Monad.Fail
1313
import qualified Control.Monad.Trans.Reader
1414
import qualified Data.Aeson
15+
import qualified Data.Aeson as Data.Aeson.Decoding
1516
import qualified Data.Aeson as Data.Aeson.Encoding.Internal
1617
import qualified Data.Aeson as Data.Aeson.Types
1718
import qualified Data.Aeson as Data.Aeson.Types.FromJSON
18-
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
1919
import qualified Data.Aeson as Data.Aeson.Types.Internal
20+
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
2021
import qualified Data.ByteString
2122
import qualified Data.ByteString as Data.ByteString.Internal
2223
import qualified Data.ByteString as Data.ByteString.Internal.Type

example/generatedCode/src/OpenAPI/Operations/DeletePet.hs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,12 @@ import qualified Prelude as GHC.Maybe
1212
import qualified Control.Monad.Fail
1313
import qualified Control.Monad.Trans.Reader
1414
import qualified Data.Aeson
15+
import qualified Data.Aeson as Data.Aeson.Decoding
1516
import qualified Data.Aeson as Data.Aeson.Encoding.Internal
1617
import qualified Data.Aeson as Data.Aeson.Types
1718
import qualified Data.Aeson as Data.Aeson.Types.FromJSON
18-
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
1919
import qualified Data.Aeson as Data.Aeson.Types.Internal
20+
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
2021
import qualified Data.ByteString
2122
import qualified Data.ByteString as Data.ByteString.Internal
2223
import qualified Data.ByteString as Data.ByteString.Internal.Type

example/generatedCode/src/OpenAPI/Operations/DeleteUser.hs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,12 @@ import qualified Prelude as GHC.Maybe
1212
import qualified Control.Monad.Fail
1313
import qualified Control.Monad.Trans.Reader
1414
import qualified Data.Aeson
15+
import qualified Data.Aeson as Data.Aeson.Decoding
1516
import qualified Data.Aeson as Data.Aeson.Encoding.Internal
1617
import qualified Data.Aeson as Data.Aeson.Types
1718
import qualified Data.Aeson as Data.Aeson.Types.FromJSON
18-
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
1919
import qualified Data.Aeson as Data.Aeson.Types.Internal
20+
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
2021
import qualified Data.ByteString
2122
import qualified Data.ByteString as Data.ByteString.Internal
2223
import qualified Data.ByteString as Data.ByteString.Internal.Type

example/generatedCode/src/OpenAPI/Operations/FindPetsByStatus.hs

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,12 @@ import qualified Prelude as GHC.Maybe
1212
import qualified Control.Monad.Fail
1313
import qualified Control.Monad.Trans.Reader
1414
import qualified Data.Aeson
15+
import qualified Data.Aeson as Data.Aeson.Decoding
1516
import qualified Data.Aeson as Data.Aeson.Encoding.Internal
1617
import qualified Data.Aeson as Data.Aeson.Types
1718
import qualified Data.Aeson as Data.Aeson.Types.FromJSON
18-
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
1919
import qualified Data.Aeson as Data.Aeson.Types.Internal
20+
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
2021
import qualified Data.ByteString
2122
import qualified Data.ByteString as Data.ByteString.Internal
2223
import qualified Data.ByteString as Data.ByteString.Internal.Type
@@ -50,8 +51,8 @@ import OpenAPI.Types
5051
-- Multiple status values can be provided with comma separated strings
5152
findPetsByStatus :: forall m . OpenAPI.Common.MonadHTTP m => [FindPetsByStatusParametersStatus] -- ^ status: Status values that need to be considered for filter
5253
-> OpenAPI.Common.ClientT m (Network.HTTP.Client.Types.Response FindPetsByStatusResponse) -- ^ Monadic computation which returns the result of the operation
53-
findPetsByStatus status = GHC.Base.fmap (\response_0 -> GHC.Base.fmap (Data.Either.either FindPetsByStatusResponseError GHC.Base.id GHC.Base.. (\response body -> if | (\status_1 -> Network.HTTP.Types.Status.statusCode status_1 GHC.Classes.== 200) (Network.HTTP.Client.Types.responseStatus response) -> FindPetsByStatusResponse200 Data.Functor.<$> (Data.Aeson.eitherDecodeStrict body :: Data.Either.Either GHC.Base.String
54-
[Pet])
54+
findPetsByStatus status = GHC.Base.fmap (\response_0 -> GHC.Base.fmap (Data.Either.either FindPetsByStatusResponseError GHC.Base.id GHC.Base.. (\response body -> if | (\status_1 -> Network.HTTP.Types.Status.statusCode status_1 GHC.Classes.== 200) (Network.HTTP.Client.Types.responseStatus response) -> FindPetsByStatusResponse200 Data.Functor.<$> (Data.Aeson.Decoding.eitherDecodeStrict body :: Data.Either.Either GHC.Base.String
55+
[Pet])
5556
| (\status_2 -> Network.HTTP.Types.Status.statusCode status_2 GHC.Classes.== 400) (Network.HTTP.Client.Types.responseStatus response) -> Data.Either.Right FindPetsByStatusResponse400
5657
| GHC.Base.otherwise -> Data.Either.Left "Missing default response type") response_0) response_0) (OpenAPI.Common.doCallWithConfigurationM (Data.Text.toUpper GHC.Base.$ Data.Text.Internal.pack "GET") "/pet/findByStatus" [OpenAPI.Common.QueryParameter (Data.Text.Internal.pack "status") (GHC.Maybe.Just GHC.Base.$ Data.Aeson.Types.ToJSON.toJSON status) (Data.Text.Internal.pack "form") GHC.Types.True])
5758
-- | Defines the enum schema located at @paths.\/pet\/findByStatus.GET.parameters.[0].schema.items@ in the specification.
@@ -90,8 +91,8 @@ findPetsByStatusWithConfiguration :: forall m . OpenAPI.Common.MonadHTTP m => Op
9091
-> [FindPetsByStatusParametersStatus] -- ^ status: Status values that need to be considered for filter
9192
-> m (Network.HTTP.Client.Types.Response FindPetsByStatusResponse) -- ^ Monadic computation which returns the result of the operation
9293
findPetsByStatusWithConfiguration config
93-
status = GHC.Base.fmap (\response_3 -> GHC.Base.fmap (Data.Either.either FindPetsByStatusResponseError GHC.Base.id GHC.Base.. (\response body -> if | (\status_4 -> Network.HTTP.Types.Status.statusCode status_4 GHC.Classes.== 200) (Network.HTTP.Client.Types.responseStatus response) -> FindPetsByStatusResponse200 Data.Functor.<$> (Data.Aeson.eitherDecodeStrict body :: Data.Either.Either GHC.Base.String
94-
[Pet])
94+
status = GHC.Base.fmap (\response_3 -> GHC.Base.fmap (Data.Either.either FindPetsByStatusResponseError GHC.Base.id GHC.Base.. (\response body -> if | (\status_4 -> Network.HTTP.Types.Status.statusCode status_4 GHC.Classes.== 200) (Network.HTTP.Client.Types.responseStatus response) -> FindPetsByStatusResponse200 Data.Functor.<$> (Data.Aeson.Decoding.eitherDecodeStrict body :: Data.Either.Either GHC.Base.String
95+
[Pet])
9596
| (\status_5 -> Network.HTTP.Types.Status.statusCode status_5 GHC.Classes.== 400) (Network.HTTP.Client.Types.responseStatus response) -> Data.Either.Right FindPetsByStatusResponse400
9697
| GHC.Base.otherwise -> Data.Either.Left "Missing default response type") response_3) response_3) (OpenAPI.Common.doCallWithConfiguration config (Data.Text.toUpper GHC.Base.$ Data.Text.Internal.pack "GET") "/pet/findByStatus" [OpenAPI.Common.QueryParameter (Data.Text.Internal.pack "status") (GHC.Maybe.Just GHC.Base.$ Data.Aeson.Types.ToJSON.toJSON status) (Data.Text.Internal.pack "form") GHC.Types.True])
9798
-- | > GET /pet/findByStatus

example/generatedCode/src/OpenAPI/Operations/FindPetsByTags.hs

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,12 @@ import qualified Prelude as GHC.Maybe
1212
import qualified Control.Monad.Fail
1313
import qualified Control.Monad.Trans.Reader
1414
import qualified Data.Aeson
15+
import qualified Data.Aeson as Data.Aeson.Decoding
1516
import qualified Data.Aeson as Data.Aeson.Encoding.Internal
1617
import qualified Data.Aeson as Data.Aeson.Types
1718
import qualified Data.Aeson as Data.Aeson.Types.FromJSON
18-
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
1919
import qualified Data.Aeson as Data.Aeson.Types.Internal
20+
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
2021
import qualified Data.ByteString
2122
import qualified Data.ByteString as Data.ByteString.Internal
2223
import qualified Data.ByteString as Data.ByteString.Internal.Type
@@ -50,8 +51,8 @@ import OpenAPI.Types
5051
-- Muliple tags can be provided with comma separated strings. Use tag1, tag2, tag3 for testing.
5152
findPetsByTags :: forall m . OpenAPI.Common.MonadHTTP m => [Data.Text.Internal.Text] -- ^ tags: Tags to filter by
5253
-> OpenAPI.Common.ClientT m (Network.HTTP.Client.Types.Response FindPetsByTagsResponse) -- ^ Monadic computation which returns the result of the operation
53-
findPetsByTags tags = GHC.Base.fmap (\response_0 -> GHC.Base.fmap (Data.Either.either FindPetsByTagsResponseError GHC.Base.id GHC.Base.. (\response body -> if | (\status_1 -> Network.HTTP.Types.Status.statusCode status_1 GHC.Classes.== 200) (Network.HTTP.Client.Types.responseStatus response) -> FindPetsByTagsResponse200 Data.Functor.<$> (Data.Aeson.eitherDecodeStrict body :: Data.Either.Either GHC.Base.String
54-
[Pet])
54+
findPetsByTags tags = GHC.Base.fmap (\response_0 -> GHC.Base.fmap (Data.Either.either FindPetsByTagsResponseError GHC.Base.id GHC.Base.. (\response body -> if | (\status_1 -> Network.HTTP.Types.Status.statusCode status_1 GHC.Classes.== 200) (Network.HTTP.Client.Types.responseStatus response) -> FindPetsByTagsResponse200 Data.Functor.<$> (Data.Aeson.Decoding.eitherDecodeStrict body :: Data.Either.Either GHC.Base.String
55+
[Pet])
5556
| (\status_2 -> Network.HTTP.Types.Status.statusCode status_2 GHC.Classes.== 400) (Network.HTTP.Client.Types.responseStatus response) -> Data.Either.Right FindPetsByTagsResponse400
5657
| GHC.Base.otherwise -> Data.Either.Left "Missing default response type") response_0) response_0) (OpenAPI.Common.doCallWithConfigurationM (Data.Text.toUpper GHC.Base.$ Data.Text.Internal.pack "GET") "/pet/findByTags" [OpenAPI.Common.QueryParameter (Data.Text.Internal.pack "tags") (GHC.Maybe.Just GHC.Base.$ Data.Aeson.Types.ToJSON.toJSON tags) (Data.Text.Internal.pack "form") GHC.Types.True])
5758
-- | Represents a response of the operation 'findPetsByTags'.
@@ -69,8 +70,8 @@ findPetsByTagsWithConfiguration :: forall m . OpenAPI.Common.MonadHTTP m => Open
6970
-> [Data.Text.Internal.Text] -- ^ tags: Tags to filter by
7071
-> m (Network.HTTP.Client.Types.Response FindPetsByTagsResponse) -- ^ Monadic computation which returns the result of the operation
7172
findPetsByTagsWithConfiguration config
72-
tags = GHC.Base.fmap (\response_3 -> GHC.Base.fmap (Data.Either.either FindPetsByTagsResponseError GHC.Base.id GHC.Base.. (\response body -> if | (\status_4 -> Network.HTTP.Types.Status.statusCode status_4 GHC.Classes.== 200) (Network.HTTP.Client.Types.responseStatus response) -> FindPetsByTagsResponse200 Data.Functor.<$> (Data.Aeson.eitherDecodeStrict body :: Data.Either.Either GHC.Base.String
73-
[Pet])
73+
tags = GHC.Base.fmap (\response_3 -> GHC.Base.fmap (Data.Either.either FindPetsByTagsResponseError GHC.Base.id GHC.Base.. (\response body -> if | (\status_4 -> Network.HTTP.Types.Status.statusCode status_4 GHC.Classes.== 200) (Network.HTTP.Client.Types.responseStatus response) -> FindPetsByTagsResponse200 Data.Functor.<$> (Data.Aeson.Decoding.eitherDecodeStrict body :: Data.Either.Either GHC.Base.String
74+
[Pet])
7475
| (\status_5 -> Network.HTTP.Types.Status.statusCode status_5 GHC.Classes.== 400) (Network.HTTP.Client.Types.responseStatus response) -> Data.Either.Right FindPetsByTagsResponse400
7576
| GHC.Base.otherwise -> Data.Either.Left "Missing default response type") response_3) response_3) (OpenAPI.Common.doCallWithConfiguration config (Data.Text.toUpper GHC.Base.$ Data.Text.Internal.pack "GET") "/pet/findByTags" [OpenAPI.Common.QueryParameter (Data.Text.Internal.pack "tags") (GHC.Maybe.Just GHC.Base.$ Data.Aeson.Types.ToJSON.toJSON tags) (Data.Text.Internal.pack "form") GHC.Types.True])
7677
-- | > GET /pet/findByTags

0 commit comments

Comments
 (0)