aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex/artifact.lux10
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot.lux38
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/stamp.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version.lux22
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version/value.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux26
6 files changed, 56 insertions, 56 deletions
diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux
index cc90d0b78..4d3d9cc87 100644
--- a/stdlib/source/program/aedifex/artifact.lux
+++ b/stdlib/source/program/aedifex/artifact.lux
@@ -33,11 +33,11 @@
(def: .public hash
(Hash Artifact)
- ($_ product.hash
- text.hash
- text.hash
- text.hash
- ))
+ (all product.hash
+ text.hash
+ text.hash
+ text.hash
+ ))
(def: .public equivalence
(Equivalence Artifact)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index 8f06a3817..db9fa0891 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -1,19 +1,19 @@
(.using
- [library
- [lux {"-" Type}
- [abstract
- [equivalence {"+" Equivalence}]
- [monad {"+" do}]]
- [control
- ["<>" parser
- ["<[0]>" xml {"+" Parser}]
- ["<[0]>" text]]]
- [data
- ["[0]" sum]
- [format
- ["[0]" xml {"+" XML}]]]]]
- ["[0]" / "_"
- ["[1][0]" stamp {"+" Stamp}]])
+ [library
+ [lux {"-" Type}
+ [abstract
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
+ [control
+ ["<>" parser
+ ["<[0]>" xml {"+" Parser}]
+ ["<[0]>" text]]]
+ [data
+ ["[0]" sum]
+ [format
+ ["[0]" xml {"+" XML}]]]]]
+ ["[0]" / "_"
+ ["[1][0]" stamp {"+" Stamp}]])
(type: .public Snapshot
(Variant
@@ -28,10 +28,10 @@
(def: .public equivalence
(Equivalence Snapshot)
- ($_ sum.equivalence
- ..any_equivalence
- /stamp.equivalence
- ))
+ (all sum.equivalence
+ ..any_equivalence
+ /stamp.equivalence
+ ))
(template [<definition> <tag>]
[(def: <definition> xml.Tag ["" <tag>])]
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index f17f27680..55a3957a9 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -23,10 +23,10 @@
(def: .public equivalence
(Equivalence Stamp)
- ($_ product.equivalence
- //time.equivalence
- //build.equivalence
- ))
+ (all product.equivalence
+ //time.equivalence
+ //build.equivalence
+ ))
(def: <timestamp>
xml.Tag
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
index 66923459c..e5053ed73 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
@@ -25,11 +25,11 @@
(def: .public equivalence
(Equivalence Version)
- ($_ product.equivalence
- text.equivalence
- text.equivalence
- ///time.equivalence
- ))
+ (all product.equivalence
+ text.equivalence
+ text.equivalence
+ ///time.equivalence
+ ))
(template [<definition> <tag>]
[(def: <definition> xml.Tag ["" <tag>])]
@@ -60,9 +60,9 @@
(def: .public parser
(Parser Version)
(<| (<xml>.node ..<snapshot_version>)
- ($_ <>.and
- (<xml>.somewhere (..text ..<extension>))
- (<xml>.somewhere (..text ..<value>))
- (<xml>.somewhere (<text>.then ///time.parser
- (..text ..<updated>)))
- )))
+ (all <>.and
+ (<xml>.somewhere (..text ..<extension>))
+ (<xml>.somewhere (..text ..<value>))
+ (<xml>.somewhere (<text>.then ///time.parser
+ (..text ..<updated>)))
+ )))
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
index 65d30acdf..63bed8532 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
@@ -18,10 +18,10 @@
(def: .public equivalence
(Equivalence Value)
- ($_ product.equivalence
- text.equivalence
- ///.equivalence
- ))
+ (all product.equivalence
+ text.equivalence
+ ///.equivalence
+ ))
(def: separator
"-")
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index 377e33a67..16789996f 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -42,11 +42,11 @@
(def: .public equivalence
(Equivalence Versioning)
- ($_ product.equivalence
- //snapshot.equivalence
- //time.equivalence
- (list.equivalence //snapshot/version.equivalence)
- ))
+ (all product.equivalence
+ //snapshot.equivalence
+ //time.equivalence
+ (list.equivalence //snapshot/version.equivalence)
+ ))
(template [<definition> <tag>]
[(def: <definition> xml.Tag ["" <tag>])]
@@ -83,11 +83,11 @@
(def: .public parser
(Parser Versioning)
(<| (<xml>.node ..<versioning>)
- ($_ <>.and
- (<>.else {//snapshot.#Local} (<xml>.somewhere //snapshot.parser))
- (<>.else //time.epoch (<xml>.somewhere ..last_updated_parser))
- (<| (<>.else (list))
- <xml>.somewhere
- (<xml>.node ..<snapshot_versions>)
- (<>.some //snapshot/version.parser))
- )))
+ (all <>.and
+ (<>.else {//snapshot.#Local} (<xml>.somewhere //snapshot.parser))
+ (<>.else //time.epoch (<xml>.somewhere ..last_updated_parser))
+ (<| (<>.else (list))
+ <xml>.somewhere
+ (<xml>.node ..<snapshot_versions>)
+ (<>.some //snapshot/version.parser))
+ )))