aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/repository.lux24
-rw-r--r--stdlib/source/test/aedifex/repository/identity.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux12
5 files changed, 24 insertions, 24 deletions
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 80d3f43e9..465d46709 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -1,27 +1,27 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [equivalence {"+" Equivalence}]
- [hash {"+" Hash}]
- ["[0]" monad {"+" do}]]
+ [equivalence (.only Equivalence)]
+ [hash (.only Hash)]
+ ["[0]" monad (.only do)]]
[control
["[0]" io]
["[0]" try]
- ["[0]" exception {"+" exception:}]]
+ ["[0]" exception (.only exception:)]]
[data
["[0]" product]
- ["[0]" binary {"+" Binary}]
+ ["[0]" binary (.only Binary)]
["[0]" text
- ["%" format {"+" format}]]
+ ["%" format (.only format)]]
[collection
- ["[0]" dictionary {"+" Dictionary}]]]
+ ["[0]" dictionary (.only Dictionary)]]]
[math
- ["[0]" random {"+" Random}]]
+ ["[0]" random (.only Random)]]
[world
[net
- ["[0]" uri {"+" URI}]]]]]
+ ["[0]" uri (.only URI)]]]]]
["[0]" / "_"
["[1][0]" identity]
["[1][0]" origin]
@@ -35,8 +35,8 @@
["[0]" /
["[0]" remote]
["/[1]" // "_"
- ["[1][0]" artifact {"+" Version Artifact}
- ["[1]/[0]" extension {"+" Extension}]]]]])
+ ["[1][0]" artifact (.only Version Artifact)
+ ["[1]/[0]" extension (.only Extension)]]]]])
(def: artifact
(-> Version Artifact)
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index e1b67e424..9dbd6a858 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -1,12 +1,12 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
[\\specification
["$[0]" equivalence]]]
[math
- ["[0]" random {"+" Random}]]]]
+ ["[0]" random (.only Random)]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 9c9703d55..d8867b598 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -1,9 +1,9 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" try ("[1]#[0]" functor)]
[parser
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index 90a0f89dd..2f652b513 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -1,12 +1,12 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
[\\specification
["$[0]" equivalence]]]
[math
- ["[0]" random {"+" Random}]]]]
+ ["[0]" random (.only Random)]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index c20722d4c..79c4987a0 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -1,11 +1,11 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
- ["[0]" io {"+" IO}]
+ ["[0]" io (.only IO)]
["[0]" maybe ("[1]#[0]" functor)]
["[0]" try ("[1]#[0]" monad)]
["[0]" exception]
@@ -13,15 +13,15 @@
[data
["[0]" binary ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" format}]
+ ["%" format (.only format)]
[encoding
["[0]" utf8]]]
[collection
["[0]" dictionary]]]
[math
- ["[0]" random {"+" Random}]]
+ ["[0]" random (.only Random)]]
[world
- [net {"+" URL}
+ [net (.only URL)
["[0]" http "_"
["[1]" client]
["[1]/[0]" status]