summaryrefslogtreecommitdiff
path: root/serde_dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-18Cut releaseNadrieril1-1/+1
2020-02-21Cut releaseNadrieril1-1/+1
2020-02-19Expose fewer pub thingsNadrieril1-5/+5
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril1-5/+6
2020-02-11Remove the Embed variant from ExprKindNadrieril1-1/+1
2020-02-02More errorsNadrieril2-2/+2
2020-01-31Fix module paths in serde_dhallNadrieril2-2/+2
2020-01-29Use Normalized in serde_dhallNadrieril1-11/+11
2020-01-16releaseNadrieril1-1/+1
2020-01-16Deserialize more typesNadrieril3-21/+121
2020-01-16Improve serde_dhall docs greatlyNadrieril1-50/+86
2019-12-24Release new versionNadrieril1-1/+1
2019-12-21Prepare for publishing on crates.ioNadrieril1-0/+1
2019-12-20Seal `Deserialize` traitNadrieril2-2/+9
2019-12-20s/ExprF/ExprKind/Nadrieril1-2/+2
2019-12-20Move error module to root of crateNadrieril1-2/+2
2019-12-15Refer to semantics module properlyNadrieril2-4/+4
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril3-3/+3
2019-11-11Update rust toolchainNadrieril1-2/+0
2019-08-30Cleanup conversion of `Value` to `Expr`Nadrieril1-1/+1
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril2-4/+4
2019-08-27clippyNadrieril1-14/+18
2019-08-20Move type construction fns from serde_dhall to dhallNadrieril1-26/+6
2019-08-20Introduce a new enum to store either a Value or a ValueFNadrieril1-2/+6
2019-08-20Naming tweaksNadrieril1-4/+2
2019-08-19Merge TypedValue and ValueNadrieril1-18/+13
2019-08-19Reduce untyped construction of ValuesNadrieril1-7/+2
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril1-5/+5
2019-08-17s/Thunk/Value/Nadrieril1-8/+9
2019-08-16s/Value/ValueF/Nadrieril1-2/+2
2019-08-16Try to minimize untyped TypedThunksNadrieril1-9/+15
2019-08-16Remove dead codeNadrieril1-1/+2
2019-08-16Reduce api surface of dhall crateNadrieril1-8/+6
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril1-3/+6
2019-08-13s/TypeThunk/TypedThunk/gNadrieril1-3/+3
2019-08-13Rework API to resemble that of serde_jsonNadrieril2-92/+111
2019-08-13Merge `Type` and `Value` in serde_dhallNadrieril2-68/+45
2019-08-13Add new error type for serde_dhallNadrieril2-19/+51
2019-08-13Move api into its own crateNadrieril3-0/+427