Closed Gabriella439 closed 6 years ago
Fixes #27
This adds support for converting Dhall lists of the form:
List { mapKey : Text, mapValue : v }
... to JSON records. For example, this Dhall association list:
[ { mapKey = "foo", mapValue = 1 } , { mapKey = "bar", mapValue = 2 } ]
... converts to this JSON record:
{ "foo": 1 , "bar": 2 }
This functionality can be customized via the command line API. For example, you can use --noMaps to disable this entirely or you can use the --key and --value options to rename the expected fields for the association list.
--noMaps
--key
--value
Fixes #27
This adds support for converting Dhall lists of the form:
... to JSON records. For example, this Dhall association list:
... converts to this JSON record:
This functionality can be customized via the command line API. For example, you can use
--noMaps
to disable this entirely or you can use the--key
and--value
options to rename the expected fields for the association list.