summaryrefslogtreecommitdiff
path: root/dhall/src/traits (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move api-related modules into an api moduleNadrieril2019-05-064-240/+0
* Consolidate errors in the error moduleNadrieril2019-05-061-2/+2
* Reorganize dhall into a phase structureNadrieril2019-05-063-9/+6
* Merge TypedInternal and TypedNadrieril2019-05-061-1/+1
* Remove dummy lifetimesNadrieril2019-05-043-33/+33
* rustfmtNadrieril2019-05-041-1/+1
* 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
* 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-05 20:37:29 +0000