summaryrefslogtreecommitdiff
path: root/serde_dhall/src (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-05-08inject_types -> with_builtin_typessubstitutionsstuebinm1-3/+3
at request of Nadrieril.
2021-05-02substitute_names -> inject_typesstuebinm1-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-01remove forgotten printlnstuebinm1-1/+0
2021-04-10substitutions: add documentationstuebinm1-0/+37
2021-04-10add type substitutions to serde_dhallstuebinm1-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-03release: serde_dhall version 0.10.1Nadrieril1-1/+1
2021-03-09fix: don't use `Option` to signal errorsNadrieril1-24/+31
2021-02-04release: serde_dhall version 0.10.0Nadrieril1-1/+1
2021-01-25fixes #210 avoid possible conflicts by not using AsRef traitQeenon1-1/+1
2020-12-18chore: convert doc links to intra-doc linksNadrieril6-67/+52
2020-12-07Unify `skip_resolve_expr` with normal resolutionNadrieril1-1/+1
2020-12-07Thread cx everywhere else imports are readNadrieril2-5/+13
2020-12-07Thread cx through normalizationNadrieril2-21/+23
2020-12-07Don't store internal structures of `dhall` in `serde_dhall`Nadrieril2-37/+73
2020-11-20release: serde_dhall version 0.9.0Nadrieril1-1/+1
2020-11-20Expose binary parsing in the APINadrieril2-1/+42
2020-10-28release: serde_dhall version 0.8.0Nadrieril1-1/+1
2020-10-28Fix clippy and formattingNadrieril1-1/+1
2020-10-28Implement SimpleValue serializationNadrieril1-1/+45
2020-10-28Move table of type correspondancesNadrieril2-23/+26
2020-10-28Add missing documentationNadrieril3-10/+316
2020-10-28Make type annotation optional to allow serializing SimpleValueNadrieril5-122/+138
2020-10-28Implement serializationNadrieril9-14/+578
2020-10-28Prefer u64/i64 to usize/isizeNadrieril3-33/+9
2020-10-28Release serde_dhall version 0.7.5Nadrieril1-1/+1
2020-10-27Make `SimpleValue` deserializable within other typesNadrieril2-18/+112
Fixes https://github.com/Nadrieril/dhall-rust/issues/184
2020-10-25Release serde_dhall version 0.7.4Nadrieril1-1/+1
2020-10-24Release serde_dhall version 0.7.3Nadrieril1-1/+1
2020-10-24Make SimpleValue public and add from_simple_value()Benjamin Levy3-6/+130
2020-10-24Release serde_dhall version 0.7.2Nadrieril1-1/+1
2020-10-16Release serde_dhall version 0.7.1Nadrieril1-1/+1
2020-10-16feat: Add a `Display` impl for `SimpleType`Nadrieril1-0/+21
Fixes https://github.com/Nadrieril/dhall-rust/issues/179
2020-09-15Release serde_dhall version 0.7.0Nadrieril1-1/+1
2020-08-05Release serde_dhall version 0.6.0Nadrieril1-1/+1
2020-05-30Release serde_dhall version 0.5.3Nadrieril1-1/+1
2020-04-12Release serde_dhall version 0.5.2Nadrieril1-1/+1
2020-04-10Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril2-5/+54
2020-04-09Release serde_dhall version 0.5.1Nadrieril1-1/+1
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril1-1/+2
2020-04-06Extract operation-related code to a new moduleNadrieril1-1/+2
2020-04-06Split off operations from main expr enumNadrieril1-6/+7
2020-04-05Fix cargo-release substitutionsNadrieril1-1/+1
2020-04-05Doc tweaksNadrieril1-0/+4
2020-04-05Fix clippy warningsNadrieril2-6/+4
2020-04-05Final doc tweaksNadrieril4-58/+59
2020-04-05TweaksNadrieril1-10/+13
2020-04-05Borrow type annotationNadrieril1-10/+8
2020-04-05Rewrite builder with state machine to allow parse::<>Nadrieril2-95/+132
2020-04-05Make Deserializer functions the only functionsNadrieril6-308/+30
2020-04-05Document Deserializer methodsNadrieril2-17/+198