-
Notifications
You must be signed in to change notification settings - Fork 9
flake.lock: Update #218
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
flake.lock: Update #218
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Flake lock file updates:
• Updated input 'nixpkgs':
'github:NixOS/nixpkgs/5ab036a8d97cb9476fbe81b09076e6e91d15e1b6' (2025-06-30)
→ 'github:NixOS/nixpkgs/126caa58957300de7fdd6c7813f45b46ae1d2f23' (2025-09-17)
diff --ignore-all-space --minimal --new-file --recursive main/generated/AdditionalProperties/Json.elm branch/cli/generated/AdditionalProperties/Json.elm
0a1,326
> module AdditionalProperties.Json exposing
> ( encodeStringLists, encodeTaxonomy, encodeVagueExtras
> , decodeStringLists, decodeTaxonomy, decodeVagueExtras
> )
>
> {-|
>
>
> ## Encoders
>
> @docs encodeStringLists, encodeTaxonomy, encodeVagueExtras
>
>
> ## Decoders
>
> @docs decodeStringLists, decodeTaxonomy, decodeVagueExtras
>
> -}
>
> import AdditionalProperties.Types
> import Dict
> import Json.Decode
> import Json.Encode
> import OpenApi.Common
>
>
> encodeStringLists : AdditionalProperties.Types.StringLists -> Json.Encode.Value
> encodeStringLists =
> Json.Encode.dict Basics.identity (Json.Encode.list Json.Encode.string)
>
>
> encodeTaxonomy : AdditionalProperties.Types.Taxonomy -> Json.Encode.Value
> encodeTaxonomy rec =
> Json.Encode.object
> [ ( "tags"
> , Json.Encode.object
> (List.append
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack ->
> ( "category", Json.Encode.string mapUnpack )
> )
> rec.tags.category
> ]
> )
> (List.map
> (\( key, value ) ->
> ( key
> , Json.Encode.object
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack ->
> ( "isPopular"
> , Json.Encode.bool mapUnpack
> )
> )
> value.isPopular
> , Just
> ( "name"
> , Json.Encode.string value.name
> )
> ]
> )
> )
> )
> (Dict.toList rec.tags.additionalProperties)
> )
> )
> )
> ]
>
>
> encodeVagueExtras : AdditionalProperties.Types.VagueExtras -> Json.Encode.Value
> encodeVagueExtras rec =
> Json.Encode.object
> (List.append
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack -> ( "a", Json.Encode.string mapUnpack ))
> rec.a
> , Just ( "b", Json.Encode.string rec.b )
> ]
> )
> (List.map
> (\( key, value ) -> ( key, Basics.identity value ))
> (Dict.toList rec.additionalProperties)
> )
> )
>
>
> decodeStringLists : Json.Decode.Decoder AdditionalProperties.Types.StringLists
> decodeStringLists =
> Json.Decode.dict (Json.Decode.list Json.Decode.string)
>
>
> decodeTaxonomy : Json.Decode.Decoder AdditionalProperties.Types.Taxonomy
> decodeTaxonomy =
> Json.Decode.succeed
> (\tags -> { tags = tags })
> |> OpenApi.Common.jsonDecodeAndMap
> (Json.Decode.field
> "tags"
> (Json.Decode.succeed
> (\category additionalProperties ->
> { category =
> category
> , additionalProperties =
> additionalProperties
> }
> )
> |> OpenApi.Common.jsonDecodeAndMap
> (OpenApi.Common.decodeOptionalField
> "category"
> Json.Decode.string
> )
> |> OpenApi.Common.jsonDecodeAndMap
> (Json.Decode.keyValuePairs
> Json.Decode.value
> |> Json.Decode.andThen
> (\andThenUnpack ->
> List.filterMap
> (\( key, jsonValue ) ->
> if
> List.member
> key
> [ "category"
> ]
> then
> Nothing
>
> else
> let
> additionalPropertyDecoder =
> Json.Decode.succeed
> (\isPopular name ->
> { isPopular =
> isPopular
> , name =
> name
> }
> )
> |> OpenApi.Common.jsonDecodeAndMap
> (OpenApi.Common.decodeOptionalField
> "isPopular"
> Json.Decode.bool
> )
> |> OpenApi.Common.jsonDecodeAndMap
> (Json.Decode.field
> "name"
> Json.Decode.string
> )
> in
> case
> Json.Decode.decodeValue
> additionalPropertyDecoder
> jsonValue
> of
> Ok decodedValue ->
> Just
> (Result.Ok
> ( key
> , decodedValue
> )
> )
>
> Err decodeError ->
> Just
> (Result.Err
> ((("Field '" ++ key)
> ++ "': "
> )
> ++ Json.Decode.errorToString
> decodeError
> )
> )
> )
> andThenUnpack
> |> (\resultPairs ->
> let
> fieldErrors =
> List.filterMap
> (\field ->
> case
> field
> of
> Ok _ ->
> Nothing
>
> Err error ->
> Just
> error
> )
> resultPairs
> in
> if
> List.isEmpty
> fieldErrors
> then
> resultPairs
> |> List.filterMap
> Result.toMaybe
> |> Dict.fromList
> |> Json.Decode.succeed
>
> else
> [ """Errors while decoding additionalProperties:
> - """
> , String.join
> """
>
> - """
> fieldErrors
> , """
> """
> ]
> |> String.concat
> |> Json.Decode.fail
> )
> )
> )
> )
> )
>
>
> decodeVagueExtras : Json.Decode.Decoder AdditionalProperties.Types.VagueExtras
> decodeVagueExtras =
> Json.Decode.succeed
> (\a b additionalProperties ->
> { a = a, b = b, additionalProperties = additionalProperties }
> )
> |> OpenApi.Common.jsonDecodeAndMap
> (OpenApi.Common.decodeOptionalField "a" Json.Decode.string)
> |> OpenApi.Common.jsonDecodeAndMap
> (Json.Decode.field "b" Json.Decode.string)
> |> OpenApi.Common.jsonDecodeAndMap
> (Json.Decode.keyValuePairs
> Json.Decode.value
> |> Json.Decode.andThen
> (\andThenUnpack ->
> List.filterMap
> (\( key, jsonValue ) ->
> if
> List.member
> key
> [ "a"
> , "b"
> ]
> then
> Nothing
>
> else
> let
> additionalPropertyDecoder =
> Json.Decode.value
> in
> case
> Json.Decode.decodeValue
> additionalPropertyDecoder
> jsonValue
> of
> Ok decodedValue ->
> Just
> (Result.Ok
> ( key
> , decodedValue
> )
> )
>
> Err decodeError ->
> Just
> (Result.Err
> ((("Field '" ++ key)
> ++ "': "
> )
> ++ Json.Decode.errorToString
> decodeError
> )
> )
> )
> andThenUnpack
> |> (\resultPairs ->
> let
> fieldErrors =
> List.filterMap
> (\field ->
> case
> field
> of
> Ok _ ->
> Nothing
>
> Err error ->
> Just
> error
> )
> resultPairs
> in
> if
> List.isEmpty
> fieldErrors
> then
> resultPairs
> |> List.filterMap
> Result.toMaybe
> |> Dict.fromList
> |> Json.Decode.succeed
>
> else
> [ """Errors while decoding additionalProperties:
> - """
> , String.join
> """
>
> - """
> fieldErrors
> , """
> """
> ]
> |> String.concat
> |> Json.Decode.fail
> )
> )
> )
diff --ignore-all-space --minimal --new-file --recursive main/generated/AdditionalProperties/Types.elm branch/cli/generated/AdditionalProperties/Types.elm
0a1,57
> module AdditionalProperties.Types exposing (StringLists, Taxonomy, VagueExtras)
>
> {-|
>
>
> ## Aliases
>
> @docs StringLists, Taxonomy, VagueExtras
>
> -}
>
> import Dict
> import Json.Encode
>
>
> {-| Lists of strings stored in arbitrary object keys
> -}
> type alias StringLists =
> Dict.Dict String (List String)
>
>
> {-| Taxonomy data
>
> - tags: Tag information
>
> - category: Category of these tags
>
> - additionalProperties: Dictionary of tags, keyed by machine id
>
> Each value in the dict is a record of:
> - isPopular: Whether the tag is popular
> - name: Name of the tag
>
> -}
> type alias Taxonomy =
> { tags :
> { additionalProperties :
> Dict.Dict String { isPopular : Maybe Bool, name : String }
> , category : Maybe String
> }
> }
>
>
> {-| Fields:
>
> - a: Something
>
> - b: Something else
>
> - additionalProperties: Arbitrary data whose type is not defined by the API spec
>
> -}
> type alias VagueExtras =
> { additionalProperties : Dict.Dict String Json.Encode.Value
> , a : Maybe String
> , b : String
> }
diff --ignore-all-space --minimal --new-file --recursive main/generated/AirlineCodeLookupApi/Api.elm branch/cli/generated/AirlineCodeLookupApi/Api.elm
0a1,107
> module AirlineCodeLookupApi.Api exposing (getairlines, getairlinesTask)
>
> {-|
>
>
> ## airlines
>
> @docs getairlines, getairlinesTask
>
> -}
>
> import AirlineCodeLookupApi.Json
> import AirlineCodeLookupApi.Types
> import Dict
> import Http
> import Json.Decode
> import OpenApi.Common
> import Task
> import Url.Builder
>
>
> {-| Return airlines information.
> -}
> getairlines :
> { toMsg :
> Result (OpenApi.Common.Error AirlineCodeLookupApi.Types.Getairlines_Error String) AirlineCodeLookupApi.Types.Airlines
> -> msg
> , params : { airlineCodes : Maybe String }
> }
> -> Cmd msg
> getairlines config =
> Http.request
> { url =
> Url.Builder.crossOrigin
> "https://test.api.amadeus.com/v1"
> [ "reference-data", "airlines" ]
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (Url.Builder.string "airlineCodes")
> config.params.airlineCodes
> ]
> )
> , method = "GET"
> , headers = []
> , expect =
> OpenApi.Common.expectJsonCustom
> (Dict.fromList
> [ ( "400"
> , Json.Decode.map
> AirlineCodeLookupApi.Types.Getairlines_400
> AirlineCodeLookupApi.Json.decodeStatusCode400
> )
> , ( "500"
> , Json.Decode.map
> AirlineCodeLookupApi.Types.Getairlines_500
> AirlineCodeLookupApi.Json.decodeStatusCode500
> )
> ]
> )
> AirlineCodeLookupApi.Json.decodeAirlines
> config.toMsg
> , body = Http.emptyBody
> , timeout = Nothing
> , tracker = Nothing
> }
>
>
> {-| Return airlines information.
> -}
> getairlinesTask :
> { params : { airlineCodes : Maybe String } }
> -> Task.Task (OpenApi.Common.Error AirlineCodeLookupApi.Types.Getairlines_Error String) AirlineCodeLookupApi.Types.Airlines
> getairlinesTask config =
> Http.task
> { url =
> Url.Builder.crossOrigin
> "https://test.api.amadeus.com/v1"
> [ "reference-data", "airlines" ]
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (Url.Builder.string "airlineCodes")
> config.params.airlineCodes
> ]
> )
> , method = "GET"
> , headers = []
> , resolver =
> OpenApi.Common.jsonResolverCustom
> (Dict.fromList
> [ ( "400"
> , Json.Decode.map
> AirlineCodeLookupApi.Types.Getairlines_400
> AirlineCodeLookupApi.Json.decodeStatusCode400
> )
> , ( "500"
> , Json.Decode.map
> AirlineCodeLookupApi.Types.Getairlines_500
> AirlineCodeLookupApi.Json.decodeStatusCode500
> )
> ]
> )
> AirlineCodeLookupApi.Json.decodeAirlines
> , body = Http.emptyBody
> , timeout = Nothing
> }
diff --ignore-all-space --minimal --new-file --recursive main/generated/AirlineCodeLookupApi/Json.elm branch/cli/generated/AirlineCodeLookupApi/Json.elm
0a1,522
> module AirlineCodeLookupApi.Json exposing
> ( encodeAirline, encodeAirlines, encodeError, encodeMeta, encodeStatusCode400, encodeStatusCode500
> , encodeWarning
> , decodeAirline, decodeAirlines, decodeError, decodeMeta, decodeStatusCode400, decodeStatusCode500
> , decodeWarning
> )
>
> {-|
>
>
> ## Encoders
>
> @docs encodeAirline, encodeAirlines, encodeError, encodeMeta, encodeStatusCode400, encodeStatusCode500
> @docs encodeWarning
>
>
> ## Decoders
>
> @docs decodeAirline, decodeAirlines, decodeError, decodeMeta, decodeStatusCode400, decodeStatusCode500
> @docs decodeWarning
>
> -}
>
> import AirlineCodeLookupApi.Types
> import Json.Decode
> import Json.Encode
> import OpenApi.Common
> import Url
>
>
> encodeAirline : AirlineCodeLookupApi.Types.Airline -> Json.Encode.Value
> encodeAirline rec =
> Json.Encode.object
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack -> ( "businessName", Json.Encode.string mapUnpack ))
> rec.businessName
> , Maybe.map
> (\mapUnpack -> ( "commonName", Json.Encode.string mapUnpack ))
> rec.commonName
> , Maybe.map
> (\mapUnpack -> ( "iataCode", Json.Encode.string mapUnpack ))
> rec.iataCode
> , Maybe.map
> (\mapUnpack -> ( "icaoCode", Json.Encode.string mapUnpack ))
> rec.icaoCode
> , Maybe.map
> (\mapUnpack -> ( "type", Json.Encode.string mapUnpack ))
> rec.type_
> ]
> )
>
>
> encodeAirlines : AirlineCodeLookupApi.Types.Airlines -> Json.Encode.Value
> encodeAirlines rec =
> Json.Encode.object
> (List.filterMap
> Basics.identity
> [ Just ( "data", Json.Encode.list encodeAirline rec.data )
> , Maybe.map
> (\mapUnpack -> ( "meta", encodeMeta mapUnpack ))
> rec.meta
> , Maybe.map
> (\mapUnpack ->
> ( "warnings", Json.Encode.list encodeWarning mapUnpack )
> )
> rec.warnings
> ]
> )
>
>
> encodeError : AirlineCodeLookupApi.Types.Error -> Json.Encode.Value
> encodeError rec =
> Json.Encode.object
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack -> ( "code", Json.Encode.int mapUnpack ))
> rec.code
> , Maybe.map
> (\mapUnpack -> ( "detail", Json.Encode.string mapUnpack ))
> rec.detail
> , Maybe.map
> (\mapUnpack ->
> ( "source"
> , Json.Encode.object
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack0 ->
> ( "example"
> , Json.Encode.string mapUnpack0
> )
> )
> mapUnpack.example
> , Maybe.map
> (\mapUnpack0 ->
> ( "parameter"
> , Json.Encode.string mapUnpack0
> )
> )
> mapUnpack.parameter
> , Maybe.map
> (\mapUnpack0 ->
> ( "pointer"
> , Json.Encode.string mapUnpack0
> )
> )
> mapUnpack.pointer
> ]
> )
> )
> )
> rec.source
> , Maybe.map
> (\mapUnpack -> ( "status", Json.Encode.int mapUnpack ))
> rec.status
> , Maybe.map
> (\mapUnpack -> ( "title", Json.Encode.string mapUnpack ))
> rec.title
> ]
> )
>
>
> encodeMeta : AirlineCodeLookupApi.Types.Meta -> Json.Encode.Value
> encodeMeta rec =
> Json.Encode.object
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack -> ( "count", Json.Encode.int mapUnpack ))
> rec.count
> , Maybe.map
> (\mapUnpack ->
> ( "links"
> , Json.Encode.object
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack0 ->
> ( "first"
> , OpenApi.Common.encodeStringUri
> mapUnpack0
> )
> )
> mapUnpack.first
> , Maybe.map
> (\mapUnpack0 ->
> ( "last"
> , OpenApi.Common.encodeStringUri
> mapUnpack0
> )
> )
> mapUnpack.last
> , Maybe.map
> (\mapUnpack0 ->
> ( "next"
> , OpenApi.Common.encodeStringUri
> mapUnpack0
> )
> )
> mapUnpack.next
> , Maybe.map
> (\mapUnpack0 ->
> ( "previous"
> , OpenApi.Common.encodeStringUri
> mapUnpack0
> )
> )
> mapUnpack.previous
> , Maybe.map
> (\mapUnpack0 ->
> ( "self"
> , OpenApi.Common.encodeStringUri
> mapUnpack0
> )
> )
> mapUnpack.self
> , Maybe.map
> (\mapUnpack0 ->
> ( "up"
> , OpenApi.Common.encodeStringUri
> mapUnpack0
> )
> )
> mapUnpack.up
> ]
> )
> )
> )
> rec.links
> ]
> )
>
>
> encodeStatusCode400 : AirlineCodeLookupApi.Types.StatusCode400 -> Json.Encode.Value
> encodeStatusCode400 rec =
> Json.Encode.object
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack ->
> ( "errors", Json.Encode.list encodeError mapUnpack )
> )
> rec.errors
> ]
> )
>
>
> encodeStatusCode500 : AirlineCodeLookupApi.Types.StatusCode500 -> Json.Encode.Value
> encodeStatusCode500 rec =
> Json.Encode.object
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack ->
> ( "errors", Json.Encode.list encodeError mapUnpack )
> )
> rec.errors
> ]
> )
>
>
> encodeWarning : AirlineCodeLookupApi.Types.Warning -> Json.Encode.Value
> encodeWarning rec =
> Json.Encode.object
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack -> ( "code", Json.Encode.int mapUnpack ))
> rec.code
> , Maybe.map
> (\mapUnpack -> ( "detail", Json.Encode.string mapUnpack ))
> rec.detail
> , Maybe.map
> (\mapUnpack ->
> ( "source"
> , Json.Encode.object
> (List.filterMap
> Basics.identity
> [ Maybe.map
> (\mapUnpack0 ->
> ( "example"
> , Json.Encode.string mapUnpack0
> |
Collaborator
Author
|
I'm utterly confused by the diff. It shouldn't have a diff |
Owner
Node 18 - 20 related? Shouldn't be, but that'd be my only guess |
wolfadex
approved these changes
Sep 17, 2025
Collaborator
Author
|
Going to check manually locally to see what's up |
Owner
Sounds good. Feel free to merge when you do/don't find anything |
Collaborator
Author
|
Yeah, no diff locally |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Flake lock file updates:
• Updated input 'nixpkgs':
'github:NixOS/nixpkgs/5ab036a8d97cb9476fbe81b09076e6e91d15e1b6' (2025-06-30)
→ 'github:NixOS/nixpkgs/126caa58957300de7fdd6c7813f45b46ae1d2f23' (2025-09-17)