summaryrefslogtreecommitdiff
path: root/dhall/src/traits (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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