diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/program/aedifex/dependency.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/dependency/status.lux | 38 |
2 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/program/aedifex/dependency.lux b/stdlib/source/program/aedifex/dependency.lux index 4027354d9..edeccc15f 100644 --- a/stdlib/source/program/aedifex/dependency.lux +++ b/stdlib/source/program/aedifex/dependency.lux @@ -20,10 +20,10 @@ (def: .public hash (Hash Dependency) - ($_ product.hash - //.hash - text.hash - )) + (all product.hash + //.hash + text.hash + )) (def: .public equivalence (Equivalence Dependency) 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) |