Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Thread cx everywhere else imports are read | Nadrieril | 2020-12-07 | 1 | -5/+12 |
| | |||||
* | Thread cx through normalization | Nadrieril | 2020-12-07 | 1 | -2/+2 |
| | |||||
* | Don't store internal structures of `dhall` in `serde_dhall` | Nadrieril | 2020-12-07 | 1 | -33/+66 |
| | |||||
* | Move table of type correspondances | Nadrieril | 2020-10-28 | 1 | -1/+22 |
| | |||||
* | Make type annotation optional to allow serializing SimpleValue | Nadrieril | 2020-10-28 | 1 | -65/+75 |
| | |||||
* | Implement serialization | Nadrieril | 2020-10-28 | 1 | -3/+103 |
| | |||||
* | Make `SimpleValue` deserializable within other types | Nadrieril | 2020-10-27 | 1 | -11/+0 |
| | | | | Fixes https://github.com/Nadrieril/dhall-rust/issues/184 | ||||
* | Make SimpleValue public and add from_simple_value() | Benjamin Levy | 2020-10-24 | 1 | -3/+82 |
| | |||||
* | feat: Add a `Display` impl for `SimpleType` | Nadrieril | 2020-10-16 | 1 | -0/+21 |
| | | | | Fixes https://github.com/Nadrieril/dhall-rust/issues/179 | ||||
* | Deserialize `Prelude.Map` and `toMap` to a map instead of a list | Nadrieril | 2020-04-10 | 1 | -5/+53 |
| | |||||
* | Move BinOp and Builtin definitions in the relevant module | Nadrieril | 2020-04-06 | 1 | -1/+2 |
| | |||||
* | Extract operation-related code to a new module | Nadrieril | 2020-04-06 | 1 | -1/+2 |
| | |||||
* | Split off operations from main expr enum | Nadrieril | 2020-04-06 | 1 | -6/+7 |
| | |||||
* | Fix clippy warnings | Nadrieril | 2020-04-05 | 1 | -2/+2 |
| | |||||
* | Final doc tweaks | Nadrieril | 2020-04-05 | 1 | -23/+22 |
| | |||||
* | Make Deserializer functions the only functions | Nadrieril | 2020-04-05 | 1 | -3/+3 |
| | |||||
* | Document Deserializer methods | Nadrieril | 2020-04-05 | 1 | -1/+1 |
| | |||||
* | Rename Deserialize trait to FromDhall | Nadrieril | 2020-04-05 | 1 | -4/+4 |
| | |||||
* | Hide serde Error internals | Nadrieril | 2020-03-31 | 1 | -5/+5 |
| | |||||
* | Document more | Nadrieril | 2020-03-31 | 1 | -3/+7 |
| | |||||
* | Move mod simple into value | Nadrieril | 2020-03-31 | 1 | -15/+237 |
| | |||||
* | Hide Value from API | Nadrieril | 2020-03-31 | 1 | -3/+3 |
| | |||||
* | Rework SimpleValue | Nadrieril | 2020-03-31 | 1 | -1/+1 |
| | |||||
* | Rework SimpleType | Nadrieril | 2020-03-31 | 1 | -1/+1 |
| | |||||
* | Hide SimpleValue from api | Nadrieril | 2020-03-31 | 1 | -2/+1 |
| | |||||
* | Add a bunch of TODOs | Nadrieril | 2020-03-31 | 1 | -0/+3 |
| | |||||
* | Reorganize API and internals of serde_dhall a bit | Nadrieril | 2020-03-31 | 1 | -1/+1 |
| | |||||
* | Introduce option builder | Nadrieril | 2020-03-31 | 1 | -22/+10 |
| | |||||
* | Expose simple::Val/Ty properly in the API | Nadrieril | 2020-03-31 | 1 | -14/+13 |
| | |||||
* | Move Value, SimpleValue and SimpleType to serde | Nadrieril | 2020-03-31 | 1 | -0/+73 |