| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| | | |||||
| * | Rename Deserialize trait to FromDhall | Nadrieril | 2020-04-05 | 5 | -11/+11 |
| | | |||||
| * | Rename Options to Deserializer | Nadrieril | 2020-04-05 | 1 | -13/+21 |
| | | |||||
| * | More doc | Nadrieril | 2020-03-31 | 4 | -74/+128 |
| | | |||||
| * | Hide serde Error internals | Nadrieril | 2020-03-31 | 5 | -18/+27 |
| | | |||||
 |
index : dhall_rust | |
| working copy forked from https://github.com/Nadrieril/dhall-rust |
| summaryrefslogtreecommitdiff |