diff options
author | Eduardo Julian | 2022-04-08 05:42:36 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-04-08 05:42:36 -0400 |
commit | 0d909187d5b9effcd08f533d50af7d29c0d6bfd8 (patch) | |
tree | c50f12c5e47e3db90c3a701b54ee9953da942210 /stdlib/source/program/aedifex/profile.lux | |
parent | e5e4c2aff562e5c01fefb808d1d68a40f29c9cc5 (diff) |
De-sigil-ification: $
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/profile.lux | 114 |
1 files changed, 57 insertions, 57 deletions
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 39f788b4b..0c772a641 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -70,10 +70,10 @@ (def: license_equivalence (Equivalence License) - ($_ product.equivalence - text.equivalence - text.equivalence - ..distribution_equivalence)) + (all product.equivalence + text.equivalence + text.equivalence + ..distribution_equivalence)) (type: .public SCM URL) @@ -84,9 +84,9 @@ (def: organization_equivalence (Equivalence Organization) - ($_ product.equivalence - text.equivalence - text.equivalence)) + (all product.equivalence + text.equivalence + text.equivalence)) (type: .public Email Text) @@ -98,10 +98,10 @@ (def: developer_equivalence (Equivalence Developer) - ($_ product.equivalence - text.equivalence - text.equivalence - (maybe.equivalence ..organization_equivalence))) + (all product.equivalence + text.equivalence + text.equivalence + (maybe.equivalence ..organization_equivalence))) (type: .public Contributor Developer) @@ -119,15 +119,15 @@ (def: info_equivalence (Equivalence Info) - ($_ product.equivalence - (maybe.equivalence text.equivalence) - (maybe.equivalence text.equivalence) - (maybe.equivalence text.equivalence) - (maybe.equivalence text.equivalence) - (list.equivalence ..license_equivalence) - (maybe.equivalence ..organization_equivalence) - (list.equivalence ..developer_equivalence) - (list.equivalence ..developer_equivalence))) + (all product.equivalence + (maybe.equivalence text.equivalence) + (maybe.equivalence text.equivalence) + (maybe.equivalence text.equivalence) + (maybe.equivalence text.equivalence) + (list.equivalence ..license_equivalence) + (maybe.equivalence ..organization_equivalence) + (list.equivalence ..developer_equivalence) + (list.equivalence ..developer_equivalence))) (def: .public default_info Info @@ -188,43 +188,43 @@ (def: .public equivalence (Equivalence Profile) - ($_ product.equivalence - ... #parents - (list.equivalence text.equivalence) - ... #identity - (maybe.equivalence artifact.equivalence) - ... #info - (maybe.equivalence ..info_equivalence) - ... #repositories - set.equivalence - ... #dependencies - set.equivalence - ... #lux - dependency.equivalence - ... #compilers - (list.equivalence compiler.equivalence) - ... #sources - set.equivalence - ... #target - text.equivalence - ... #program - (maybe.equivalence text.equivalence) - ... #test - (maybe.equivalence text.equivalence) - ... #deploy_repositories - (dictionary.equivalence text.equivalence) - ... #configuration - (plist.equivalence text.equivalence) - ... #java - runtime.equivalence - ... #js - runtime.equivalence - ... #python - runtime.equivalence - ... #lua - runtime.equivalence - ... #ruby - runtime.equivalence)) + (all product.equivalence + ... #parents + (list.equivalence text.equivalence) + ... #identity + (maybe.equivalence artifact.equivalence) + ... #info + (maybe.equivalence ..info_equivalence) + ... #repositories + set.equivalence + ... #dependencies + set.equivalence + ... #lux + dependency.equivalence + ... #compilers + (list.equivalence compiler.equivalence) + ... #sources + set.equivalence + ... #target + text.equivalence + ... #program + (maybe.equivalence text.equivalence) + ... #test + (maybe.equivalence text.equivalence) + ... #deploy_repositories + (dictionary.equivalence text.equivalence) + ... #configuration + (plist.equivalence text.equivalence) + ... #java + runtime.equivalence + ... #js + runtime.equivalence + ... #python + runtime.equivalence + ... #lua + runtime.equivalence + ... #ruby + runtime.equivalence)) (implementation: .public monoid (Monoid Profile) |