diff options
author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /stdlib/source/program/aedifex/profile.lux | |
parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) |
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/profile.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 5e07a1c18..3017defcd 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -44,7 +44,7 @@ [dependency.#artifact ["com.github.luxlang" "lux-jvm" "0.6.5"] dependency.#type type.jvm_library]) -(type: .public Distribution +(type .public Distribution (Variant {#Repo} {#Manual})) @@ -63,7 +63,7 @@ _ false)))) -(type: .public License +(type .public License [Text URL Distribution]) @@ -75,10 +75,10 @@ text.equivalence ..distribution_equivalence)) -(type: .public SCM +(type .public SCM URL) -(type: .public Organization +(type .public Organization [Text URL]) @@ -88,10 +88,10 @@ text.equivalence text.equivalence)) -(type: .public Email +(type .public Email Text) -(type: .public Developer +(type .public Developer [Text Email (Maybe Organization)]) @@ -103,10 +103,10 @@ text.equivalence (maybe.equivalence ..organization_equivalence))) -(type: .public Contributor +(type .public Contributor Developer) -(type: .public Info +(type .public Info (Record [#name (Maybe Text) #url (Maybe URL) @@ -140,14 +140,14 @@ #developers (list) #contributors (list)]) -(type: .public Source +(type .public Source Path) (def .public default_source Source "source") -(type: .public Target +(type .public Target Path) (def .public default_target @@ -158,14 +158,14 @@ Address "https://repo1.maven.org/maven2/") -(type: .public Name +(type .public Name Text) (def .public default Name "") -(type: .public Profile +(type .public Profile (Record [#parents (List Name) #identity (Maybe Artifact) |