summaryrefslogtreecommitdiff
path: root/serde_dhall/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | Fixes #81
* 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
| | | | For clarity, and consistency with Value
* 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
| | | | | 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
* 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
| | | | There was no point in separating them
* Add new error type for serde_dhallNadrieril2019-08-132-19/+51
|
* Move api into its own crateNadrieril2019-08-133-0/+427