New format for extensions [part 4]

2 files changed, 36 insertions, 6 deletions

diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux
index 0694d559c..2229ef10e 100644
--- a/stdlib/source/test/lux/world.lux
+++ b/stdlib/source/test/lux/world.lux
@@ -13,10 +13,7 @@
   ["[1][0]" output
    ["[1]/[0]" video
     ["[1]/[0]" resolution]]]
-  ["[1][0]" net
-   ["[1]/[0]" http
-    ["[1]/[0]" client]
-    ["[1]/[0]" status]]]
+  ["[1][0]" net]
   ["[1][0]" time]
   ["[1][0]" locale]])
 
@@ -29,8 +26,7 @@
        /environment.test
        /input/keyboard.test
        /output/video/resolution.test
-       /net/http/client.test
-       /net/http/status.test
+       /net.test
        /time.test
        /locale.test
        ))
diff --git a/stdlib/source/test/lux/world/net.lux b/stdlib/source/test/lux/world/net.lux
new file mode 100644
index 000000000..a6d74f5c6
--- /dev/null
+++ b/stdlib/source/test/lux/world/net.lux
@@ -0,0 +1,34 @@
+(.require
+ [library
+  [lux (.except)
+   [abstract
+    [monad (.only do)]]
+   [math
+    ["[0]" random (.only Random)]]
+   [test
+    ["_" property (.only Test)]]]]
+ [\\library
+  ["[0]" /]]
+ ["[0]" /
+  ["[1][0]" http
+   ["[1]/[0]" client]
+   ["[1]/[0]" status]]])
+
+(def .public test
+  Test
+  (<| (_.covering /._)
+      (do [! random.monad]
+        [])
+      (all _.and
+           (_.coverage [/.Host]
+             true)
+           (_.coverage [/.Port]
+             true)
+           (_.coverage [/.URL]
+             true)
+           (_.coverage [/.Address]
+             true)
+
+           /http/client.test
+           /http/status.test
+           )))