summaryrefslogtreecommitdiff
path: root/dhall/src/traits/static_type.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-06Move api-related modules into an api moduleNadrieril1-149/+0
2019-05-06Reorganize dhall into a phase structureNadrieril1-3/+3
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril1-7/+7
2019-05-04Make SubExpr generic in the variable labels typeNadrieril1-7/+7
2019-05-04Remove dummy lifetimesNadrieril1-20/+20
2019-05-04rustfmtNadrieril1-1/+1
2019-05-04Rename dhall_generator to dhall_proc_macrosNadrieril1-1/+1
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-1/+1
2019-05-02Instead of possibly nonexistent Type, treat Sort speciallyNadrieril1-5/+3
2019-05-02Store Thunk in NormalizedNadrieril1-1/+3
2019-05-02TweaksNadrieril1-1/+1
2019-04-23Avoid duplicating work when matching on Pi typesNadrieril1-0/+1
2019-04-18Remove obsolete dhall_expr!() macroNadrieril1-14/+14
2019-04-13Document all of the APINadrieril1-7/+26
2019-04-11Thread lifetimes through other newtypesNadrieril1-22/+23
2019-04-11Handle untyped case differently from the type of SortNadrieril1-1/+1
2019-04-11Add basic deserialization supportNadrieril1-0/+24
2019-04-10Split traits module into submodulesNadrieril1-50/+0
2019-04-10Add error submoduleNadrieril1-5/+1
2019-04-10Add a new Deserialize trait for reading dhall valuesNadrieril1-0/+50
2019-04-10Add SimpleType and SimpeStaticType. Derive the latterNadrieril1-39/+70
2019-04-06Rename some modulesNadrieril1-0/+0
2019-04-06s/Type/StaticType/Nadrieril1-11/+11
2019-03-31Remove some redundant namespacingNadrieril1-30/+30
2019-03-26Derive DhallType for structsNadrieril1-0/+77
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 01:31:11 +0000