aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/dependency
diff options
context:
space:
mode:
authorEduardo Julian2022-04-08 05:42:36 -0400
committerEduardo Julian2022-04-08 05:42:36 -0400
commit0d909187d5b9effcd08f533d50af7d29c0d6bfd8 (patch)
treec50f12c5e47e3db90c3a701b54ee9953da942210 /stdlib/source/program/aedifex/dependency
parente5e4c2aff562e5c01fefb808d1d68a40f29c9cc5 (diff)
De-sigil-ification: $
Diffstat (limited to 'stdlib/source/program/aedifex/dependency')
-rw-r--r--stdlib/source/program/aedifex/dependency/status.lux38
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux
index bab454ea6..7c66d0688 100644
--- a/stdlib/source/program/aedifex/dependency/status.lux
+++ b/stdlib/source/program/aedifex/dependency/status.lux
@@ -1,14 +1,14 @@
(.using
- [library
- [lux "*"
- [abstract
- [equivalence {"+" Equivalence}]]
- [data
- [binary {"+" Binary}]
- ["[0]" sum]
- ["[0]" product]]]]
- ["[0]" /// "_"
- ["[1][0]" hash {"+" Hash SHA-1 MD5}]])
+ [library
+ [lux "*"
+ [abstract
+ [equivalence {"+" Equivalence}]]
+ [data
+ [binary {"+" Binary}]
+ ["[0]" sum]
+ ["[0]" product]]]]
+ ["[0]" /// "_"
+ ["[1][0]" hash {"+" Hash SHA-1 MD5}]])
(type: .public Status
(Variant
@@ -25,15 +25,15 @@
(def: .public equivalence
(Equivalence Status)
- ($_ sum.equivalence
- ..any_equivalence
- ($_ sum.equivalence
- ///hash.equivalence
- ///hash.equivalence)
- ($_ product.equivalence
- ///hash.equivalence
- ///hash.equivalence)
- ))
+ (all sum.equivalence
+ ..any_equivalence
+ (all sum.equivalence
+ ///hash.equivalence
+ ///hash.equivalence)
+ (all product.equivalence
+ ///hash.equivalence
+ ///hash.equivalence)
+ ))
(def: .public (verified payload)
(-> Binary Status)