dhall_rust/serde_dhall/src/options, branch substitutions

inject_types -> with_builtin_types

2021-05-08T16:38:37Z

at request of Nadrieril.

substitute_names -> inject_types

2021-05-01T22:36:45Z

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

2021-05-01T21:43:45Z

substitutions: add documentation

2021-04-10T21:28:29Z

add type substitutions to serde_dhall

2021-04-10T20:59:07Z

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::()? ``` 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

chore: convert doc links to intra-doc links

2020-12-18T22:19:23Z

Unify `skip_resolve_expr` with normal resolution

2020-12-07T19:34:39Z

Thread cx everywhere else imports are read

2020-12-07T19:34:39Z

Thread cx through normalization

2020-12-07T19:34:38Z

Don't store internal structures of `dhall` in `serde_dhall`

2020-12-07T19:34:38Z