summaryrefslogtreecommitdiff
path: root/serde_dhall/src/lib.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Cut releaseNadrieril2020-02-211-1/+1
|
* More errorsNadrieril2020-02-021-1/+1
|
* Fix module paths in serde_dhallNadrieril2020-01-311-1/+1
|
* Use Normalized in serde_dhallNadrieril2020-01-291-11/+11
|
* releaseNadrieril2020-01-161-1/+1
|
* Deserialize more typesNadrieril2020-01-161-0/+22
|
* Improve serde_dhall docs greatlyNadrieril2020-01-161-50/+86
|
* Release new versionNadrieril2019-12-241-1/+1
|
* Prepare for publishing on crates.ioNadrieril2019-12-211-0/+1
|
* Seal `Deserialize` traitNadrieril2019-12-201-2/+7
| | | | Fixes #81
* Move error module to root of crateNadrieril2019-12-201-2/+2
|
* Refer to semantics module properlyNadrieril2019-12-151-3/+3
|
* Reexport dhall_syntax as a module in dhallNadrieril2019-12-151-1/+1
|
* Update rust toolchainNadrieril2019-11-111-2/+0
|
* Cleanup conversion of `Value` to `Expr`Nadrieril2019-08-301-1/+1
|
* Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-2/+2
| | | | For clarity, and consistency with Value
* Move type construction fns from serde_dhall to dhallNadrieril2019-08-201-26/+6
|
* Introduce a new enum to store either a Value or a ValueFNadrieril2019-08-201-2/+6
|
* Naming tweaksNadrieril2019-08-201-4/+2
|
* Merge TypedValue and ValueNadrieril2019-08-191-18/+13
|
* Reduce untyped construction of ValuesNadrieril2019-08-191-7/+2
|
* Use TypedValue instead of Typed in normalize and typecheckNadrieril2019-08-191-5/+5
| | | | | Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized
* s/Thunk/Value/Nadrieril2019-08-171-8/+9
|
* s/Value/ValueF/Nadrieril2019-08-161-2/+2
|
* Try to minimize untyped TypedThunksNadrieril2019-08-161-9/+15
|
* Remove dead codeNadrieril2019-08-161-1/+2
|
* Reduce api surface of dhall crateNadrieril2019-08-161-8/+6
| | | | Helps detect unused code
* s/TypeThunk/TypedThunk/gNadrieril2019-08-131-3/+3
|
* Rework API to resemble that of serde_jsonNadrieril2019-08-131-91/+109
|
* Merge `Type` and `Value` in serde_dhallNadrieril2019-08-131-55/+32
| | | | There was no point in separating them
* Add new error type for serde_dhallNadrieril2019-08-131-8/+50
|
* Move api into its own crateNadrieril2019-08-131-0/+264