dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

	Commit message (Collapse)	Author	Age	Files	Lines
*	inject_types -> with_builtin_typessubstitutions	stuebinm	2021-05-08	1	-10/+10
\| \| \| \|	at request of Nadrieril.
*	substitute_names -> inject_types	stuebinm	2021-05-02	1	-2/+68
\| \| \| \| \| \| \| \| \| \| \| \|	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!
*	substitutions: add test to serde.rs	stuebinm	2021-04-26	1	-0/+21
\|
*	Remove a redundant semicolon in a test for good measure.	Ceri Storey	2021-03-27	1	-2/+2
\|
*	tests: add a test that fetches the remote prelude	Nadrieril	2020-12-08	1	-1/+17
\| \| \| \|	It's too slow even in release mode.
*	Unify `skip_resolve_expr` with normal resolution	Nadrieril	2020-12-07	1	-0/+19
\|
*	Don't store internal structures of `dhall` in `serde_dhall`	Nadrieril	2020-12-07	1	-1/+13
\|
*	Expose binary parsing in the API	Nadrieril	2020-11-20	1	-0/+21
\|
*	Fix clippy and formatting	Nadrieril	2020-10-28	1	-1/+3
\|
*	Move some tests	Nadrieril	2020-10-28	2	-61/+59
\|
*	Implement SimpleValue serialization	Nadrieril	2020-10-28	1	-15/+16
\|
*	Make type annotation optional to allow serializing SimpleValue	Nadrieril	2020-10-28	3	-35/+64
\|
*	Implement serialization	Nadrieril	2020-10-28	2	-58/+146
\|
*	Prefer u64/i64 to usize/isize	Nadrieril	2020-10-28	1	-7/+5
\|
*	Make `SimpleValue` deserializable within other types	Nadrieril	2020-10-27	1	-1/+33
\| \| \| \|	Fixes https://github.com/Nadrieril/dhall-rust/issues/184
*	fix: update version_numbers test	Nadrieril	2020-06-25	1	-2/+2
\|
*	ci: test wasm	Nadrieril	2020-05-30	2	-1/+13
\|
*	Deserialize `Prelude.Map` and `toMap` to a map instead of a list	Nadrieril	2020-04-10	1	-0/+4
\|
*	Move Label escaping out of its Display impl	Nadrieril	2020-04-09	1	-2/+14
\|
*	Rewrite builder with state machine to allow parse::<>	Nadrieril	2020-04-05	1	-2/+8
\|
*	Make Deserializer functions the only functions	Nadrieril	2020-04-05	2	-6/+6
\|
*	Document Deserializer methods	Nadrieril	2020-04-05	1	-1/+1
\|
*	Rename Deserialize trait to FromDhall	Nadrieril	2020-04-05	1	-3/+3
\|
*	Add a test	Nadrieril	2020-04-05	1	-0/+8
\|
*	Rework SimpleType	Nadrieril	2020-03-31	1	-2/+2
\|
*	Reorganize API and internals of serde_dhall a bit	Nadrieril	2020-03-31	2	-4/+7
\|
*	Ensure version numbers are kept in sync	Nadrieril	2020-03-31	1	-0/+14
\|
*	Reorganize serde modules	Nadrieril	2020-03-31	2	-3/+3
\|
*	Split serde_dhall::Value to separate values from types	Nadrieril	2020-03-31	1	-2/+2
\|
*	Add SimpleValue type to facilitate deserialization	Nadrieril	2020-03-31	1	-0/+2
\|
*	Fix indexing for spans that go to the end of the input	Nadrieril	2020-03-31	1	-0/+3
\|
*	Deserialize more types	Nadrieril	2020-01-16	1	-0/+85
\|
*	Disable some unused unstable features	Nadrieril	2019-08-15	1	-1/+0
\|
*	Rework API to resemble that of serde_json	Nadrieril	2019-08-13	1	-4/+4
\|
*	Merge `Type` and `Value` in serde_dhall	Nadrieril	2019-08-13	1	-2/+2
\| \| \| \|	There was no point in separating them
*	Move api into its own crate	Nadrieril	2019-08-13	1	-0/+68