aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/repository.lux30
-rw-r--r--stdlib/source/test/aedifex/repository/identity.lux6
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux6
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux6
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux18
5 files changed, 33 insertions, 33 deletions
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 8e8b4c945..9412b5fd5 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -1,28 +1,28 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+ Equivalence)]
- [hash (#+ Hash)]
- ["." monad (#+ do)]]
+ [equivalence {"+" [Equivalence]}]
+ [hash {"+" [Hash]}]
+ ["." monad {"+" [do]}]]
[control
["." io]
["." try]
- ["." exception (#+ exception:)]]
+ ["." exception {"+" [exception:]}]]
[data
["." product]
- ["." binary (#+ Binary)]
+ ["." binary {"+" [Binary]}]
["." text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
- ["." dictionary (#+ Dictionary)]]]
+ ["." dictionary {"+" [Dictionary]}]]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[world
[net
- ["." uri (#+ URI)]]]]]
- ["." / #_
+ ["." uri {"+" [URI]}]]]]]
+ ["." / "_"
["#." identity]
["#." origin]
["#." local]
@@ -34,9 +34,9 @@
[\\program
["." /
["." remote]
- ["/#" // #_
- ["#." artifact (#+ Version Artifact)
- ["#/." extension (#+ Extension)]]]]])
+ ["/#" // "_"
+ ["#." artifact {"+" [Version Artifact]}
+ ["#/." extension {"+" [Extension]}]]]]])
(def: artifact
(-> Version Artifact)
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 6158d2397..045136c43 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -1,12 +1,12 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
[\\specification
["$." equivalence]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 34ae887d7..eb7b9777d 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try ("#\." functor)]
[parser
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index 80c2946bc..6567471a1 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -1,12 +1,12 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
[\\specification
["$." equivalence]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 3218f15cd..a38e68104 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -1,11 +1,11 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- ["." io (#+ IO)]
+ ["." io {"+" [IO]}]
["." maybe ("#\." functor)]
["." try ("#\." monad)]
["." exception]
@@ -13,22 +13,22 @@
[data
["." binary ("#\." equivalence)]
["." text ("#\." equivalence)
- ["%" format (#+ format)]
+ ["%" format {"+" [format]}]
[encoding
["." utf8]]]
[collection
["." dictionary]]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[world
- [net (#+ URL)
- ["." http #_
+ [net {"+" [URL]}
+ ["." http "_"
["#" client]
["#/." status]
["@#" /]]]]]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#." identity]]]])
(def: (url_body url)