From 0d909187d5b9effcd08f533d50af7d29c0d6bfd8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Apr 2022 05:42:36 -0400
Subject: De-sigil-ification: $

---
 stdlib/source/program/aedifex/profile.lux | 114 +++++++++++++++---------------
 1 file changed, 57 insertions(+), 57 deletions(-)

(limited to 'stdlib/source/program/aedifex/profile.lux')

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)
-- 
cgit v1.2.3