summaryrefslogtreecommitdiff
path: root/dhall/src/traits (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rename dhall_generator to dhall_proc_macrosNadrieril2019-05-041-1/+1
|
* Rename dhall_core to dhall_syntaxNadrieril2019-05-042-2/+2
|
* Instead of possibly nonexistent Type, treat Sort speciallyNadrieril2019-05-023-26/+8
|
* Store Thunk in NormalizedNadrieril2019-05-021-1/+3
|
* TweaksNadrieril2019-05-021-1/+1
|
* Don't need to store original expression in TypeErrorNadrieril2019-04-291-11/+0
|
* Silence warningsNadrieril2019-04-231-0/+2
|
* Avoid duplicating work when matching on Pi typesNadrieril2019-04-232-1/+2
|
* Temporarily simplify functions depending on TypeInternalNadrieril2019-04-221-9/+12
|
* Factor out context handlingNadrieril2019-04-211-5/+6
|
* Remove obsolete dhall_expr!() macroNadrieril2019-04-181-14/+14
|
* Remove more duplicationNadrieril2019-04-181-1/+1
|
* Remove higher-kinded type noise in TypeNadrieril2019-04-161-4/+4
|
* Naming tweaksNadrieril2019-04-161-2/+2
|
* Namespace deserialization functions in a `de` submoduleNadrieril2019-04-141-1/+1
| | | | Closes #73
* Document all of the APINadrieril2019-04-132-7/+33
| | | | Closes #64
* Thread lifetimes through other newtypesNadrieril2019-04-113-36/+37
| | | | Closes #55
* Add lifetime parameters to Parsed and ResolvedNadrieril2019-04-111-4/+4
| | | | Future-proofing
* Remove type parameter from TypeErrorNadrieril2019-04-111-6/+6
|
* Respect import boundariesNadrieril2019-04-111-1/+1
| | | | Closes #54
* Abstract get_type() into a traitNadrieril2019-04-112-0/+58
|
* Handle untyped case differently from the type of SortNadrieril2019-04-111-1/+1
| | | | Closes #59
* Add basic deserialization supportNadrieril2019-04-112-1/+25
| | | | Closes #13
* Allow providing type for typechecking in APINadrieril2019-04-101-2/+5
|
* Cleanup error handlingNadrieril2019-04-101-3/+3
| | | | Closes #41
* Split traits module into submodulesNadrieril2019-04-103-0/+151
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-19 17:32:22 +0000