summaryrefslogtreecommitdiff
path: root/serde_dhall/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* 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