| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2021-05-08 | inject_types -> with_builtin_typessubstitutions | stuebinm | 1 | -10/+10 | |
| at request of Nadrieril. | |||||
| 2021-05-02 | substitute_names -> inject_types | stuebinm | 1 | -2/+68 | |
| This does three things: 1. rename the substitute_names function into inject_types, and makes it accept anything that implements IntoIterator instead of just HashMaps 2. adds an extra function to inject just a single type 3. makes these functions chainable; before, each call to substitute_names would discard previous invocations. However, this currently comes at the cost of a lot of ugly copying. also, more tests! | |||||
| 2021-04-26 | substitutions: add test to serde.rs | stuebinm | 1 | -0/+21 | |
| 2021-03-27 | Remove a redundant semicolon in a test for good measure. | Ceri Storey | 1 | -2/+2 | |
| 2020-12-08 | tests: add a test that fetches the remote prelude | Nadrieril | 1 | -1/+17 | |
| It's too slow even in release mode. | |||||
| 2020-12-07 | Unify `skip_resolve_expr` with normal resolution | Nadrieril | 1 | -0/+19 | |
| 2020-12-07 | Don't store internal structures of `dhall` in `serde_dhall` | Nadrieril | 1 | -1/+13 | |
| 2020-11-20 | Expose binary parsing in the API | Nadrieril | 1 | -0/+21 | |
| 2020-10-28 | Fix clippy and formatting | Nadrieril | 1 | -1/+3 | |
| 2020-10-28 | Move some tests | Nadrieril | 2 | -61/+59 | |
| 2020-10-28 | Implement SimpleValue serialization | Nadrieril | 1 | -15/+16 | |
| 2020-10-28 | Make type annotation optional to allow serializing SimpleValue | Nadrieril | 3 | -35/+64 | |
| 2020-10-28 | Implement serialization | Nadrieril | 2 | -58/+146 | |
| 2020-10-28 | Prefer u64/i64 to usize/isize | Nadrieril | 1 | -7/+5 | |
| 2020-10-27 | Make `SimpleValue` deserializable within other types | Nadrieril | 1 | -1/+33 | |
| Fixes https://github.com/Nadrieril/dhall-rust/issues/184 | |||||
| 2020-06-25 | fix: update version_numbers test | Nadrieril | 1 | -2/+2 | |
| 2020-05-30 | ci: test wasm | Nadrieril | 2 | -1/+13 | |
| 2020-04-10 | Deserialize `Prelude.Map` and `toMap` to a map instead of a list | Nadrieril | 1 | -0/+4 | |
| 2020-04-09 | Move Label escaping out of its Display impl | Nadrieril | 1 | -2/+14 | |
| 2020-04-05 | Rewrite builder with state machine to allow parse::<> | Nadrieril | 1 | -2/+8 | |
| 2020-04-05 | Make Deserializer functions the only functions | Nadrieril | 2 | -6/+6 | |
| 2020-04-05 | Document Deserializer methods | Nadrieril | 1 | -1/+1 | |
| 2020-04-05 | Rename Deserialize trait to FromDhall | Nadrieril | 1 | -3/+3 | |
| 2020-04-05 | Add a test | Nadrieril | 1 | -0/+8 | |
| 2020-03-31 | Rework SimpleType | Nadrieril | 1 | -2/+2 | |
| 2020-03-31 | Reorganize API and internals of serde_dhall a bit | Nadrieril | 2 | -4/+7 | |
| 2020-03-31 | Ensure version numbers are kept in sync | Nadrieril | 1 | -0/+14 | |
| 2020-03-31 | Reorganize serde modules | Nadrieril | 2 | -3/+3 | |
| 2020-03-31 | Split serde_dhall::Value to separate values from types | Nadrieril | 1 | -2/+2 | |
| 2020-03-31 | Add SimpleValue type to facilitate deserialization | Nadrieril | 1 | -0/+2 | |
| 2020-03-31 | Fix indexing for spans that go to the end of the input | Nadrieril | 1 | -0/+3 | |
| 2020-01-16 | Deserialize more types | Nadrieril | 1 | -0/+85 | |
| 2019-08-15 | Disable some unused unstable features | Nadrieril | 1 | -1/+0 | |
| 2019-08-13 | Rework API to resemble that of serde_json | Nadrieril | 1 | -4/+4 | |
| 2019-08-13 | Merge `Type` and `Value` in serde_dhall | Nadrieril | 1 | -2/+2 | |
| There was no point in separating them | |||||
| 2019-08-13 | Move api into its own crate | Nadrieril | 1 | -0/+68 | |
 |
index : dhall_rust | |
| working copy forked from https://github.com/Nadrieril/dhall-rust |
| summaryrefslogtreecommitdiff |