New format for extensions [part 4]

1 files changed, 34 insertions, 0 deletions

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
+           )))