summaryrefslogtreecommitdiff
path: root/serde_dhall/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix module paths in serde_dhallNadrieril2020-01-312-2/+2
* Use Normalized in serde_dhallNadrieril2020-01-291-11/+11
* releaseNadrieril2020-01-161-1/+1
* Deserialize more typesNadrieril2020-01-163-21/+121
* 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-202-2/+9
* s/ExprF/ExprKind/Nadrieril2019-12-201-2/+2
* Move error module to root of crateNadrieril2019-12-201-2/+2
* Refer to semantics module properlyNadrieril2019-12-152-4/+4
* Reexport dhall_syntax as a module in dhallNadrieril2019-12-153-3/+3
* 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-282-4/+4
* clippyNadrieril2019-08-271-14/+18
* 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
* 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
* No need to track the absence of `Span`s at the type levelNadrieril2019-08-131-3/+6
* s/TypeThunk/TypedThunk/gNadrieril2019-08-131-3/+3
* Rework API to resemble that of serde_jsonNadrieril2019-08-132-92/+111
* Merge `Type` and `Value` in serde_dhallNadrieril2019-08-132-68/+45
* Add new error type for serde_dhallNadrieril2019-08-132-19/+51
* Move api into its own crateNadrieril2019-08-133-0/+427