Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | inject_types -> with_builtin_typessubstitutions | stuebinm | 2021-05-08 | 1 | -3/+3 |
| | | | | at request of Nadrieril. | ||||
* | substitute_names -> inject_types | stuebinm | 2021-05-02 | 1 | -7/+30 |
| | | | | | | | | | | | | 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! | ||||
* | remove forgotten println | stuebinm | 2021-05-01 | 1 | -1/+0 |
| | |||||
* | substitutions: add documentation | stuebinm | 2021-04-10 | 1 | -0/+37 |
| | |||||
* | add type substitutions to serde_dhall | stuebinm | 2021-04-10 | 1 | -2/+28 |
| | | | | | | | | | | | | | | | | | | | | | | | | this adds subsititutions, which work similar to the `Dhall.substitutions` mechanism of the Haskell dhall package, and which can be used e.g. like this: ```rust serde_dhall.from_str(...) .substitute_names(hashmap!["Newtype" => static_type]) .parse::<SimpleType>()? ``` The idea behind this is to make it easy to add programmer-defined types which may be used in configs for programs, without forcing the program's users to re-import the same type definitions each time (or the programmers to keep the dhall-based definitions in sync with their rust types, since these are now generated automatically). Caveats so far: - makes some of the code ugly (dhall internals are now used in serde_dhall/src/lib.rs, for example) - haven't tested error messages so far - some unecessary copying of strings and static type values | ||||
* | release: serde_dhall version 0.10.1 | Nadrieril | 2021-04-03 | 1 | -1/+1 |
| | |||||
* | fix: don't use `Option` to signal errors | Nadrieril | 2021-03-09 | 1 | -24/+31 |
| | |||||
* | release: serde_dhall version 0.10.0 | Nadrieril | 2021-02-04 | 1 | -1/+1 |
| | |||||
* | fixes #210 avoid possible conflicts by not using AsRef trait | Qeenon | 2021-01-25 | 1 | -1/+1 |
| | |||||
* | chore: convert doc links to intra-doc links | Nadrieril | 2020-12-18 | 6 | -67/+52 |
| | |||||
* | Unify `skip_resolve_expr` with normal resolution | Nadrieril | 2020-12-07 | 1 | -1/+1 |
| | |||||
* | Thread cx everywhere else imports are read | Nadrieril | 2020-12-07 | 2 | -5/+13 |
| | |||||
* | Thread cx through normalization | Nadrieril | 2020-12-07 | 2 | -21/+23 |
| | |||||
* | Don't store internal structures of `dhall` in `serde_dhall` | Nadrieril | 2020-12-07 | 2 | -37/+73 |
| | |||||
* | release: serde_dhall version 0.9.0 | Nadrieril | 2020-11-20 | 1 | -1/+1 |
| | |||||
* | Expose binary parsing in the API | Nadrieril | 2020-11-20 | 2 | -1/+42 |
| | |||||
* | release: serde_dhall version 0.8.0 | Nadrieril | 2020-10-28 | 1 | -1/+1 |
| | |||||
* | Fix clippy and formatting | Nadrieril | 2020-10-28 | 1 | -1/+1 |
| | |||||
* | Implement SimpleValue serialization | Nadrieril | 2020-10-28 | 1 | -1/+45 |
| | |||||
* | Move table of type correspondances | Nadrieril | 2020-10-28 | 2 | -23/+26 |
| | |||||
* | Add missing documentation | Nadrieril | 2020-10-28 | 3 | -10/+316 |
| | |||||
* | Make type annotation optional to allow serializing SimpleValue | Nadrieril | 2020-10-28 | 5 | -122/+138 |
| | |||||
* | Implement serialization | Nadrieril | 2020-10-28 | 9 | -14/+578 |
| | |||||
* | Prefer u64/i64 to usize/isize | Nadrieril | 2020-10-28 | 3 | -33/+9 |
| | |||||
* | Release serde_dhall version 0.7.5 | Nadrieril | 2020-10-28 | 1 | -1/+1 |
| | |||||
* | Make `SimpleValue` deserializable within other types | Nadrieril | 2020-10-27 | 2 | -18/+112 |
| | | | | Fixes https://github.com/Nadrieril/dhall-rust/issues/184 | ||||
* | Release serde_dhall version 0.7.4 | Nadrieril | 2020-10-25 | 1 | -1/+1 |
| | |||||
* | Release serde_dhall version 0.7.3 | Nadrieril | 2020-10-24 | 1 | -1/+1 |
| | |||||
* | Make SimpleValue public and add from_simple_value() | Benjamin Levy | 2020-10-24 | 3 | -6/+130 |
| | |||||
* | Release serde_dhall version 0.7.2 | Nadrieril | 2020-10-24 | 1 | -1/+1 |
| | |||||
* | Release serde_dhall version 0.7.1 | Nadrieril | 2020-10-16 | 1 | -1/+1 |
| | |||||
* | feat: Add a `Display` impl for `SimpleType` | Nadrieril | 2020-10-16 | 1 | -0/+21 |
| | | | | Fixes https://github.com/Nadrieril/dhall-rust/issues/179 | ||||
* | Release serde_dhall version 0.7.0 | Nadrieril | 2020-09-15 | 1 | -1/+1 |
| | |||||
* | Release serde_dhall version 0.6.0 | Nadrieril | 2020-08-05 | 1 | -1/+1 |
| | |||||
* | Release serde_dhall version 0.5.3 | Nadrieril | 2020-05-30 | 1 | -1/+1 |
| | |||||
* | Release serde_dhall version 0.5.2 | Nadrieril | 2020-04-12 | 1 | -1/+1 |
| | |||||
* | Deserialize `Prelude.Map` and `toMap` to a map instead of a list | Nadrieril | 2020-04-10 | 2 | -5/+54 |
| | |||||
* | Release serde_dhall version 0.5.1 | Nadrieril | 2020-04-09 | 1 | -1/+1 |
| | |||||
* | 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 cargo-release substitutions | Nadrieril | 2020-04-05 | 1 | -1/+1 |
| | |||||
* | Doc tweaks | Nadrieril | 2020-04-05 | 1 | -0/+4 |
| | |||||
* | Fix clippy warnings | Nadrieril | 2020-04-05 | 2 | -6/+4 |
| | |||||
* | Final doc tweaks | Nadrieril | 2020-04-05 | 4 | -58/+59 |
| | |||||
* | Tweaks | Nadrieril | 2020-04-05 | 1 | -10/+13 |
| | |||||
* | Borrow type annotation | Nadrieril | 2020-04-05 | 1 | -10/+8 |
| | |||||
* | Rewrite builder with state machine to allow parse::<> | Nadrieril | 2020-04-05 | 2 | -95/+132 |
| | |||||
* | Make Deserializer functions the only functions | Nadrieril | 2020-04-05 | 6 | -308/+30 |
| | |||||
* | Document Deserializer methods | Nadrieril | 2020-04-05 | 2 | -17/+198 |
| |