How can I decide the order of the proerties in DhallToJson

countoren · March 5, 2021, 5:31pm

Im searching a way to be able to move one of a Json object’s property to end base on its name, what will be the best way to achieve it ?

tristanC · March 6, 2021, 3:43pm

Using the haskell library, dhallToJSON gives you a JSON Value you can modify before printing out.

countoren · March 6, 2021, 3:52pm

Thanks for the response, I think I was not specific enough let me try to explain better.
I am converting json to dhall. I need the dhall’s record types to have their property (or one specific one) be in a custom order (not alphabetic). Is there any way I can organize the properties of the dhall’s record types in a specific order?

Gabriel439 · March 6, 2021, 4:02pm

@countoren: It might be possible to fix json-to-dhall to preserve field order. Could you open an issue against the dhall-haskell project to track this request: https://github.com/dhall-lang/dhall-haskell/issues

countoren · March 6, 2021, 10:24pm

done

github.com/dhall-lang/dhall-haskell

Preserve fields order in dhall-to-json

opened 10:21PM - 06 Mar 21 UTC

countoren

json/yaml

It could be helpful to have ```dhall-to-json``` to maintain the field order of a… Json object in dhall record sets(or some other alternative type) instead of having it order alphabetically. some application might be effected by the fields order of a Json for example. Or some user will order the field in a specific way in order for them to have the Json more readable (sub objects fields usually are pushed to the end). this ticket is base on this [topic](https://discourse.dhall-lang.org/t/how-can-i-decide-the-order-of-the-proerties-in-dhalltojson/437/2) in dhall discourse

Thanks