Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2021-05-08 | inject_types -> with_builtin_typessubstitutions | stuebinm | 1 | -3/+3 | |
at request of Nadrieril. | |||||
2021-05-02 | substitute_names -> inject_types | stuebinm | 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! | |||||
2021-05-01 | remove forgotten println | stuebinm | 1 | -1/+0 | |
2021-04-10 | substitutions: add documentation | stuebinm | 1 | -0/+37 | |
2021-04-10 | add type substitutions to serde_dhall | stuebinm | 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 | |||||
2021-04-03 | release: serde_dhall version 0.10.1 | Nadrieril | 1 | -1/+1 | |
2021-03-09 | fix: don't use `Option` to signal errors | Nadrieril | 1 | -24/+31 | |
2021-02-04 | release: serde_dhall version 0.10.0 | Nadrieril | 1 | -1/+1 | |
2021-01-25 | fixes #210 avoid possible conflicts by not using AsRef trait | Qeenon | 1 | -1/+1 | |
2020-12-18 | chore: convert doc links to intra-doc links | Nadrieril | 6 | -67/+52 | |
2020-12-07 | Unify `skip_resolve_expr` with normal resolution | Nadrieril | 1 | -1/+1 | |
2020-12-07 | Thread cx everywhere else imports are read | Nadrieril | 2 | -5/+13 | |
2020-12-07 | Thread cx through normalization | Nadrieril | 2 | -21/+23 | |
2020-12-07 | Don't store internal structures of `dhall` in `serde_dhall` | Nadrieril | 2 | -37/+73 | |
2020-11-20 | release: serde_dhall version 0.9.0 | Nadrieril | 1 | -1/+1 | |
2020-11-20 | Expose binary parsing in the API | Nadrieril | 2 | -1/+42 | |
2020-10-28 | release: serde_dhall version 0.8.0 | Nadrieril | 1 | -1/+1 | |
2020-10-28 | Fix clippy and formatting | Nadrieril | 1 | -1/+1 | |
2020-10-28 | Implement SimpleValue serialization | Nadrieril | 1 | -1/+45 | |
2020-10-28 | Move table of type correspondances | Nadrieril | 2 | -23/+26 | |
2020-10-28 | Add missing documentation | Nadrieril | 3 | -10/+316 | |
2020-10-28 | Make type annotation optional to allow serializing SimpleValue | Nadrieril | 5 | -122/+138 | |
2020-10-28 | Implement serialization | Nadrieril | 9 | -14/+578 | |
2020-10-28 | Prefer u64/i64 to usize/isize | Nadrieril | 3 | -33/+9 | |
2020-10-28 | Release serde_dhall version 0.7.5 | Nadrieril | 1 | -1/+1 | |
2020-10-27 | Make `SimpleValue` deserializable within other types | Nadrieril | 2 | -18/+112 | |
Fixes https://github.com/Nadrieril/dhall-rust/issues/184 | |||||
2020-10-25 | Release serde_dhall version 0.7.4 | Nadrieril | 1 | -1/+1 | |
2020-10-24 | Release serde_dhall version 0.7.3 | Nadrieril | 1 | -1/+1 | |
2020-10-24 | Make SimpleValue public and add from_simple_value() | Benjamin Levy | 3 | -6/+130 | |
2020-10-24 | Release serde_dhall version 0.7.2 | Nadrieril | 1 | -1/+1 | |
2020-10-16 | Release serde_dhall version 0.7.1 | Nadrieril | 1 | -1/+1 | |
2020-10-16 | feat: Add a `Display` impl for `SimpleType` | Nadrieril | 1 | -0/+21 | |
Fixes https://github.com/Nadrieril/dhall-rust/issues/179 | |||||
2020-09-15 | Release serde_dhall version 0.7.0 | Nadrieril | 1 | -1/+1 | |
2020-08-05 | Release serde_dhall version 0.6.0 | Nadrieril | 1 | -1/+1 | |
2020-05-30 | Release serde_dhall version 0.5.3 | Nadrieril | 1 | -1/+1 | |
2020-04-12 | Release serde_dhall version 0.5.2 | Nadrieril | 1 | -1/+1 | |
2020-04-10 | Deserialize `Prelude.Map` and `toMap` to a map instead of a list | Nadrieril | 2 | -5/+54 | |
2020-04-09 | Release serde_dhall version 0.5.1 | Nadrieril | 1 | -1/+1 | |
2020-04-06 | Move BinOp and Builtin definitions in the relevant module | Nadrieril | 1 | -1/+2 | |
2020-04-06 | Extract operation-related code to a new module | Nadrieril | 1 | -1/+2 | |
2020-04-06 | Split off operations from main expr enum | Nadrieril | 1 | -6/+7 | |
2020-04-05 | Fix cargo-release substitutions | Nadrieril | 1 | -1/+1 | |
2020-04-05 | Doc tweaks | Nadrieril | 1 | -0/+4 | |
2020-04-05 | Fix clippy warnings | Nadrieril | 2 | -6/+4 | |
2020-04-05 | Final doc tweaks | Nadrieril | 4 | -58/+59 | |
2020-04-05 | Tweaks | Nadrieril | 1 | -10/+13 | |
2020-04-05 | Borrow type annotation | Nadrieril | 1 | -10/+8 | |
2020-04-05 | Rewrite builder with state machine to allow parse::<> | Nadrieril | 2 | -95/+132 | |
2020-04-05 | Make Deserializer functions the only functions | Nadrieril | 6 | -308/+30 | |
2020-04-05 | Document Deserializer methods | Nadrieril | 2 | -17/+198 | |