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