summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/value.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Use OnceCell to enable returning &ValKindNadrieril2020-01-301-68/+53
|
* Replace Form with a pair of RefCells, in preparation for OnceCellNadrieril2020-01-301-88/+71
|
* Move Form::PartialExpr into ThunkNadrieril2020-01-301-36/+46
|
* Only the Form must be in a RefCellNadrieril2020-01-301-61/+67
|
* Avoid unnecessary allocations of `Value`sNadrieril2020-01-301-4/+2
|
* Clarify normalization to ensure we only nze onceNadrieril2020-01-301-35/+44
|
* Move Thunk value into ValueInternalNadrieril2020-01-301-34/+32
|
* Prepare ValueInternal with new `Form`sNadrieril2020-01-301-53/+50
|
* Factor out text literals in ValueNadrieril2020-01-301-9/+65
| | | | This allows encapsulating invariants properly and reducing clutter
* Remove type parameter from ValueKindNadrieril2020-01-301-15/+12
|
* Remove Value visitorNadrieril2020-01-301-141/+87
| | | | | | It's mostly useful when we can change types, but it's also too constraining if we can, because then we can't enforce complex invariants like the one for TextLit.
* Move main API to lib.rsNadrieril2020-01-301-1/+1
|
* Move normalize under nzeNadrieril2020-01-301-3/+1
|
* Move Value-related stuff under semantics::nzeNadrieril2020-01-301-0/+698