Simon Zeng

Support a toJSON for each type that converts Kubernetes objects into weakly typed JSON

2

This was something that was brought up a while back: https://discourse.dhall-lang.org/t/expense-proposal-pure-dhall-function-to-render-yaml/92/10?u=s-zeng But I did not find a matching ticket for it, so I'm creating one now with this ticket. We...

``` >>> dhall.dumps({3: 4}) '{ 3 = 4 }' ``` Having numbers as object keys is invalid syntax in dhall. We should either fix the dump by quoting keys in...

As of right now, the kwargs flags for dump(s) and load(s) are still the ones inherited from hyperjson, and as of right now most of those don't do anything. We...

# Description When passing mix-typed lists to dhall.dump(s), the resulting dhall that is outputted is not well-typed and cannot be read back with dhall.loads # Expected behaviour python-dhall should error...

Dumping an empty list currently gives a TypeError. We should support a mechanism to allow empty lists to be tagged with a type. Example: Currently, the following fails with a...

Python representation of Optional and Unions

2

We should have types/objects in Python that we can use to serialize into dhall unions. Optionally, we can have a flag that lets dhall deserialize into such types. i.e. desired...

Get some documentation up on readthedocs

This is a publishing issue. Let me know if you are affected by this and I can schedule some time to fix it. I'm considering this low priority otherwise

Year, Month, and Date extraction from a Date

10

Hello, is it possible to have `Date/year, Date/month, Date/date: Date -> Natural` functions added to the standard? Usecase: well-typed way to have templated directories in the format `.../YYYY/MM/DD/...`

Structs that work and type check properly in a single file fail to work properly when imported. Reproducing example below: Tested on commit 78169ab547190f7b98a1d69f4670b955f1d29f30 on master ```python # a.star StructA...