aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/profile.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-06-12 13:33:48 -0400
committerEduardo Julian2022-06-12 13:33:48 -0400
commit8c3a1afab9efeb86e2f53d743551fc689fbad257 (patch)
tree396b2fd29bac407544d2136a0d9e6e3b8b2c30af /stdlib/source/program/aedifex/profile.lux
parent9c21fd1f33eb52fb971d493ad21a67036d68b841 (diff)
De-sigil-ification: suffix : [Part 4]
Diffstat (limited to 'stdlib/source/program/aedifex/profile.lux')
-rw-r--r--stdlib/source/program/aedifex/profile.lux118
1 files changed, 59 insertions, 59 deletions
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux
index 6420d69ac..90e5f3d8d 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -49,19 +49,19 @@
{#Repo}
{#Manual}))
-(implementation: distribution_equivalence
+(def: distribution_equivalence
(Equivalence Distribution)
+ (implementation
+ (def: (= reference subject)
+ (case [reference subject]
+ (^.with_template [<tag>]
+ [[{<tag>} {<tag>}]
+ true])
+ ([#Repo]
+ [#Manual])
- (def: (= reference subject)
- (case [reference subject]
- (^.with_template [<tag>]
- [[{<tag>} {<tag>}]
- true])
- ([#Repo]
- [#Manual])
-
- _
- false)))
+ _
+ false))))
(type: .public License
[Text
@@ -226,55 +226,55 @@
... #ruby
runtime.equivalence))
-(implementation: .public monoid
+(def: .public monoid
(Monoid Profile)
+ (implementation
+ (def: identity
+ [#parents (list)
+ #identity {.#None}
+ #info {.#None}
+ #repositories (set.empty text.hash)
+ #dependencies (set.empty dependency.hash)
+ #lux ..default_lux
+ #compilers (list)
+ #sources (set.empty text.hash)
+ #target ..default_target
+ #program {.#None}
+ #test {.#None}
+ #deploy_repositories (dictionary.empty text.hash)
+ #configuration plist.empty
+ #java runtime.default_java
+ #js runtime.default_js
+ #python runtime.default_python
+ #lua runtime.default_lua
+ #ruby runtime.default_ruby])
- (def: identity
- [#parents (list)
- #identity {.#None}
- #info {.#None}
- #repositories (set.empty text.hash)
- #dependencies (set.empty dependency.hash)
- #lux ..default_lux
- #compilers (list)
- #sources (set.empty text.hash)
- #target ..default_target
- #program {.#None}
- #test {.#None}
- #deploy_repositories (dictionary.empty text.hash)
- #configuration plist.empty
- #java runtime.default_java
- #js runtime.default_js
- #python runtime.default_python
- #lua runtime.default_lua
- #ruby runtime.default_ruby])
-
- (def: (composite override baseline)
- (template.let [(!runtime <tag> <runtime>)
- [(if (runtime#= <runtime> (the <tag> override))
- (the <tag> baseline)
- (the <tag> override))]]
- [#parents (list#composite (the #parents baseline) (the #parents override))
- #identity (maybe#composite (the #identity override) (the #identity baseline))
- #info (maybe#composite (the #info override) (the #info baseline))
- #repositories (set.union (the #repositories baseline) (the #repositories override))
- #dependencies (set.union (the #dependencies baseline) (the #dependencies override))
- #lux (if (dependency#= ..default_lux (the #lux override))
- (the #lux baseline)
- (the #lux override))
- #compilers (list#composite (the #compilers baseline) (the #compilers override))
- #sources (set.union (the #sources baseline) (the #sources override))
- #target (if (text#= ..default_target (the #target baseline))
- (the #target override)
- (the #target baseline))
- #program (maybe#composite (the #program override) (the #program baseline))
- #test (maybe#composite (the #test override) (the #test baseline))
- #deploy_repositories (dictionary.composite (the #deploy_repositories override) (the #deploy_repositories baseline))
- #configuration (plist#composite (the #configuration override) (the #configuration baseline))
- #java (!runtime #java runtime.default_java)
- #js (!runtime #js runtime.default_js)
- #python (!runtime #python runtime.default_python)
- #lua (!runtime #lua runtime.default_lua)
- #ruby (!runtime #ruby runtime.default_ruby)])))
+ (def: (composite override baseline)
+ (template.let [(!runtime <tag> <runtime>)
+ [(if (runtime#= <runtime> (the <tag> override))
+ (the <tag> baseline)
+ (the <tag> override))]]
+ [#parents (list#composite (the #parents baseline) (the #parents override))
+ #identity (maybe#composite (the #identity override) (the #identity baseline))
+ #info (maybe#composite (the #info override) (the #info baseline))
+ #repositories (set.union (the #repositories baseline) (the #repositories override))
+ #dependencies (set.union (the #dependencies baseline) (the #dependencies override))
+ #lux (if (dependency#= ..default_lux (the #lux override))
+ (the #lux baseline)
+ (the #lux override))
+ #compilers (list#composite (the #compilers baseline) (the #compilers override))
+ #sources (set.union (the #sources baseline) (the #sources override))
+ #target (if (text#= ..default_target (the #target baseline))
+ (the #target override)
+ (the #target baseline))
+ #program (maybe#composite (the #program override) (the #program baseline))
+ #test (maybe#composite (the #test override) (the #test baseline))
+ #deploy_repositories (dictionary.composite (the #deploy_repositories override) (the #deploy_repositories baseline))
+ #configuration (plist#composite (the #configuration override) (the #configuration baseline))
+ #java (!runtime #java runtime.default_java)
+ #js (!runtime #js runtime.default_js)
+ #python (!runtime #python runtime.default_python)
+ #lua (!runtime #lua runtime.default_lua)
+ #ruby (!runtime #ruby runtime.default_ruby)]))))
(exception: .public no_identity)