diff options
| author | Eduardo Julian | 2021-08-29 18:30:29 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-29 18:30:29 -0400 |
| commit | ff537895fe9c24f37a0ce11b640af5d4882571a5 (patch) | |
| tree | f59778fa4163277d3ca3a1df450af82a401debb3 /lux-bootstrapper | |
| parent | 1680d4d8bc4046ed4728413f1e7cfd77aa7e84b7 (diff) | |
Better parameterized type documentation.
Diffstat (limited to 'lux-bootstrapper')
| -rw-r--r-- | lux-bootstrapper/src/lux/type.clj | 33 |
1 files changed, 16 insertions, 17 deletions
diff --git a/lux-bootstrapper/src/lux/type.clj b/lux-bootstrapper/src/lux/type.clj index 6472a341d..9a153a821 100644 --- a/lux-bootstrapper/src/lux/type.clj +++ b/lux-bootstrapper/src/lux/type.clj @@ -56,17 +56,16 @@ (def IO (&/$Named (&/T [(str &/prelude "/control/io") "IO"]) (&/$UnivQ empty-env - (&/$Primitive (str &/prelude "/type/abstract.Abstraction " - &/prelude "/control/io.IO") + (&/$Primitive (str &/prelude "/control/io.IO") (&/|list (&/$Parameter 1)))))) (def List (&/$Named (&/T [&/prelude "List"]) (&/$UnivQ empty-env (&/$Sum - ;; lux;End + ;; .End Any - ;; lux;Item + ;; .Item (&/$Product (&/$Parameter 1) (&/$Apply (&/$Parameter 1) (&/$Parameter 0))))))) @@ -75,9 +74,9 @@ (&/$Named (&/T [&/prelude "Maybe"]) (&/$UnivQ empty-env (&/$Sum - ;; lux;None + ;; .None Any - ;; lux;Some + ;; .Some (&/$Parameter 1)) ))) @@ -140,27 +139,27 @@ (&/$Parameter 1)) Code-List (&/$Apply Code List)] (&/$UnivQ empty-env - (&/$Sum ;; "lux;Bit" + (&/$Sum ;; .Bit Bit - (&/$Sum ;; "lux;Nat" + (&/$Sum ;; .Nat Nat - (&/$Sum ;; "lux;Int" + (&/$Sum ;; .Int Int - (&/$Sum ;; "lux;Rev" + (&/$Sum ;; .Rev Rev - (&/$Sum ;; "lux;Frac" + (&/$Sum ;; .Frac Frac - (&/$Sum ;; "lux;Text" + (&/$Sum ;; .Text Text - (&/$Sum ;; "lux;Identifier" + (&/$Sum ;; .Identifier Ident - (&/$Sum ;; "lux;Tag" + (&/$Sum ;; .Tag Ident - (&/$Sum ;; "lux;Form" + (&/$Sum ;; .Form Code-List - (&/$Sum ;; "lux;Tuple" + (&/$Sum ;; .Tuple Code-List - ;; "lux;Record" + ;; .Record (&/$Apply (&/$Product Code Code) List) )))))))))) )))) |