diff options
Diffstat (limited to 'stdlib/source/program/aedifex/profile.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/profile.lux | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 90e5f3d8d..5758a3795 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -39,7 +39,7 @@ [repository [remote (.only Address)]]]) -(def: .public default_lux +(def .public default_lux Dependency [dependency.#artifact ["com.github.luxlang" "lux-jvm" "0.6.5"] dependency.#type type.jvm_library]) @@ -49,10 +49,10 @@ {#Repo} {#Manual})) -(def: distribution_equivalence +(def distribution_equivalence (Equivalence Distribution) (implementation - (def: (= reference subject) + (def (= reference subject) (case [reference subject] (^.with_template [<tag>] [[{<tag>} {<tag>}] @@ -68,7 +68,7 @@ URL Distribution]) -(def: license_equivalence +(def license_equivalence (Equivalence License) (all product.equivalence text.equivalence @@ -82,7 +82,7 @@ [Text URL]) -(def: organization_equivalence +(def organization_equivalence (Equivalence Organization) (all product.equivalence text.equivalence @@ -96,7 +96,7 @@ Email (Maybe Organization)]) -(def: developer_equivalence +(def developer_equivalence (Equivalence Developer) (all product.equivalence text.equivalence @@ -117,7 +117,7 @@ #developers (List Developer) #contributors (List Contributor)])) -(def: info_equivalence +(def info_equivalence (Equivalence Info) (all product.equivalence (maybe.equivalence text.equivalence) @@ -129,7 +129,7 @@ (list.equivalence ..developer_equivalence) (list.equivalence ..developer_equivalence))) -(def: .public default_info +(def .public default_info Info [#name {.#None} #url {.#None} @@ -143,25 +143,25 @@ (type: .public Source Path) -(def: .public default_source +(def .public default_source Source "source") (type: .public Target Path) -(def: .public default_target +(def .public default_target Target "target") -(def: .public default_repository +(def .public default_repository Address "https://repo1.maven.org/maven2/") (type: .public Name Text) -(def: .public default +(def .public default Name "") @@ -186,7 +186,7 @@ #lua Runtime #ruby Runtime])) -(def: .public equivalence +(def .public equivalence (Equivalence Profile) (all product.equivalence ... #parents @@ -226,10 +226,10 @@ ... #ruby runtime.equivalence)) -(def: .public monoid +(def .public monoid (Monoid Profile) (implementation - (def: identity + (def identity [#parents (list) #identity {.#None} #info {.#None} @@ -249,7 +249,7 @@ #lua runtime.default_lua #ruby runtime.default_ruby]) - (def: (composite override baseline) + (def (composite override baseline) (template.let [(!runtime <tag> <runtime>) [(if (runtime#= <runtime> (the <tag> override)) (the <tag> baseline) |