summaryrefslogtreecommitdiff
path: root/dhall/src/traits (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* Document all of the APINadrieril2019-04-132-7/+33
* Thread lifetimes through other newtypesNadrieril2019-04-113-36/+37
* Add lifetime parameters to Parsed and ResolvedNadrieril2019-04-111-4/+4
* Remove type parameter from TypeErrorNadrieril2019-04-111-6/+6
* Respect import boundariesNadrieril2019-04-111-1/+1
* Abstract get_type() into a traitNadrieril2019-04-112-0/+58
* Handle untyped case differently from the type of SortNadrieril2019-04-111-1/+1
* Add basic deserialization supportNadrieril2019-04-112-1/+25
* Allow providing type for typechecking in APINadrieril2019-04-101-2/+5
* Cleanup error handlingNadrieril2019-04-101-3/+3
* Split traits module into submodulesNadrieril2019-04-103-0/+151
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 20:24:51 +0000