aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
authorEduardo Julian2022-11-06 20:52:21 -0400
committerEduardo Julian2022-11-06 20:52:21 -0400
commitae4c0a4746d59b552ebeba166a43ce756dd265af (patch)
tree8548fb3e4a77bd986d459a639ee31cf2455fe20e /stdlib
parentfd8ea1e1b9cae781abe42aeadda2e0ef149994d6 (diff)
More efficient code-generation for text composition.
Diffstat (limited to '')
-rw-r--r--stdlib/source/format/lux/data/text.lux2
-rw-r--r--stdlib/source/library/lux.lux23
-rw-r--r--stdlib/source/library/lux/abstract/comonad.lux2
-rw-r--r--stdlib/source/library/lux/abstract/monad.lux2
-rw-r--r--stdlib/source/library/lux/control/concurrency/thread.lux5
-rw-r--r--stdlib/source/library/lux/control/exception.lux16
-rw-r--r--stdlib/source/library/lux/control/try.lux5
-rw-r--r--stdlib/source/library/lux/data/text.lux6
-rw-r--r--stdlib/source/library/lux/documentation/remember.lux (renamed from stdlib/source/library/lux/control/remember.lux)0
-rw-r--r--stdlib/source/library/lux/math/number/frac.lux15
-rw-r--r--stdlib/source/library/lux/math/number/i64.lux5
-rw-r--r--stdlib/source/library/lux/math/number/nat.lux5
-rw-r--r--stdlib/source/library/lux/math/number/rev.lux5
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux13
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/common.lux79
-rw-r--r--stdlib/source/library/lux/meta/location.lux13
-rw-r--r--stdlib/source/library/lux/world/net/http.lux4
-rw-r--r--stdlib/source/library/lux/world/net/http/client.lux3
-rw-r--r--stdlib/source/library/lux/world/net/http/request.lux234
-rw-r--r--stdlib/source/library/lux/world/net/mime.lux4
-rw-r--r--stdlib/source/library/lux/world/net/uri/encoding.lux18
-rw-r--r--stdlib/source/library/lux/world/time/day.lux7
-rw-r--r--stdlib/source/library/lux/world/time/month.lux7
-rw-r--r--stdlib/source/specification/lux/abstract/enum.lux20
-rw-r--r--stdlib/source/test/lux/control.lux2
-rw-r--r--stdlib/source/test/lux/data/text.lux2
-rw-r--r--stdlib/source/test/lux/documentation.lux6
-rw-r--r--stdlib/source/test/lux/documentation/remember.lux (renamed from stdlib/source/test/lux/control/remember.lux)0
-rw-r--r--stdlib/source/test/lux/world/net.lux4
-rw-r--r--stdlib/source/test/lux/world/net/http/request.lux226
-rw-r--r--stdlib/source/test/lux/world/net/mime.lux3
-rw-r--r--stdlib/source/test/lux/world/net/uri/port.lux327
32 files changed, 678 insertions, 385 deletions
diff --git a/stdlib/source/format/lux/data/text.lux b/stdlib/source/format/lux/data/text.lux
index 0b475e609..db6aa5d7a 100644
--- a/stdlib/source/format/lux/data/text.lux
+++ b/stdlib/source/format/lux/data/text.lux
@@ -51,7 +51,7 @@
(def .public format
(syntax (_ [fragments (<>.many <code>.any)])
- (in (.list (` (all .text_composite# (,* fragments)))))))
+ (in (.list (` (.text_composite# (,* fragments)))))))
(with_template [<name> <type> <formatter>]
[(def .public <name>
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index d8ef5fd2f..9250c2cc6 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -1260,8 +1260,8 @@
(def' .private quantification_level
Text
(.text_composite# double_quote
- (.text_composite# "quantification_level"
- double_quote)))
+ "quantification_level"
+ double_quote))
(def' .private quantified
{#Function Code Code}
@@ -4295,7 +4295,7 @@
(function (again left right)
(when (..text#split_by pattern right)
{#Some [pre post]}
- (again (all .text_composite# left pre replacement) post)
+ (again (.text_composite# left pre replacement) post)
{#None}
(.text_composite# left right))))
@@ -4303,7 +4303,7 @@
(def (alias_stand_in index)
(-> Nat Text)
- (all .text_composite# "[" (nat#encoded index) "]"))
+ (.text_composite# "[" (nat#encoded index) "]"))
(def (module_alias context aliased)
(-> (List Text) Text Text)
@@ -4368,7 +4368,7 @@
(when (relative_ups 0 module)
0
(meta#in (if nested?
- (all .text_composite# relative_root ..module_separator module)
+ (.text_composite# relative_root ..module_separator module)
module))
relatives
@@ -4385,10 +4385,9 @@
0 prefix
_ (all text#composite prefix ..module_separator clean))]
(meta#in output))
- (failure (all .text_composite#
- "Cannot climb the module hierarchy..." \n
- "Importing module: " module \n
- " Relative Root: " relative_root \n))))))
+ (failure (.text_composite# "Cannot climb the module hierarchy..." \n
+ "Importing module: " module \n
+ " Relative Root: " relative_root \n))))))
(def (imports_parser nested? relative_root context imports)
(-> Bit Text (List Text) (List Code) (Meta (List Importation)))
@@ -5463,10 +5462,10 @@
(do meta#monad
[location location
.let [[module line column] location
- location (all .text_composite# (text#encoded module) "," (nat#encoded line) "," (nat#encoded column))
- message (all .text_composite# "Undefined behavior at " location)]]
+ location (.text_composite# (text#encoded module) "," (nat#encoded line) "," (nat#encoded column))
+ message (.text_composite# "Undefined behavior at " location)]]
(exec
- (.log!# (all .text_composite# "WARNING: " message))
+ (.log!# (.text_composite# "WARNING: " message))
(in (list (` (..panic! (, (text$ message))))))))
_
diff --git a/stdlib/source/library/lux/abstract/comonad.lux b/stdlib/source/library/lux/abstract/comonad.lux
index c62c42674..99f3fb425 100644
--- a/stdlib/source/library/lux/abstract/comonad.lux
+++ b/stdlib/source/library/lux/abstract/comonad.lux
@@ -40,7 +40,7 @@
{.#Some bindings}
(let [[module short] (symbol ..be)
symbol (is (-> Text Code)
- (|>> (all .text_composite# module " " short " ") [""] {.#Symbol} [location.dummy]))
+ (|>> (.text_composite# module " " short " ") [""] {.#Symbol} [location.dummy]))
g!_ (symbol "_")
g!each (symbol "each")
g!disjoint (symbol "disjoint")
diff --git a/stdlib/source/library/lux/abstract/monad.lux b/stdlib/source/library/lux/abstract/monad.lux
index 6667d75fa..9b4d74dac 100644
--- a/stdlib/source/library/lux/abstract/monad.lux
+++ b/stdlib/source/library/lux/abstract/monad.lux
@@ -70,7 +70,7 @@
(if (|> bindings list#size .int (.int_%# +2) (.i64_=# +0))
(let [[module short] (symbol ..do)
symbol (is (-> Text Code)
- (|>> (.all .text_composite# module " " short " ") [""] {.#Symbol} [location.dummy]))
+ (|>> (.text_composite# module " " short " ") [""] {.#Symbol} [location.dummy]))
g!_ (symbol "_")
g!each (symbol "each")
g!conjoint (symbol "conjoint")
diff --git a/stdlib/source/library/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux
index 81b2f04c8..b30444a54 100644
--- a/stdlib/source/library/lux/control/concurrency/thread.lux
+++ b/stdlib/source/library/lux/control/concurrency/thread.lux
@@ -108,9 +108,8 @@
(when (try (io.run! action))
{try.#Failure error}
(exec
- (debug.log! (all .text_composite#
- "ERROR DURING THREAD EXECUTION:" text.new_line
- error))
+ (debug.log! (.text_composite# "ERROR DURING THREAD EXECUTION:" text.\n
+ error))
[])
{try.#Success _}
diff --git a/stdlib/source/library/lux/control/exception.lux b/stdlib/source/library/lux/control/exception.lux
index 55ac0667d..49642bc07 100644
--- a/stdlib/source/library/lux/control/exception.lux
+++ b/stdlib/source/library/lux/control/exception.lux
@@ -147,19 +147,17 @@
..report))
(.def separator
- (let [gap (all .text_composite# text.new_line text.new_line)
+ (let [gap (.text_composite# text.new_line text.new_line)
horizontal_line (|> "-" (list.repeated 64) text.together)]
- (all .text_composite#
- gap
- horizontal_line
- gap)))
+ (.text_composite# gap
+ horizontal_line
+ gap)))
(.def (decorated prelude error)
(-> Text Text Text)
- (all .text_composite#
- prelude
- ..separator
- error))
+ (.text_composite# prelude
+ ..separator
+ error))
(.def .public (with exception message computation)
(All (_ e a) (-> (Exception e) e (Try a) (Try a)))
diff --git a/stdlib/source/library/lux/control/try.lux b/stdlib/source/library/lux/control/try.lux
index 1a1fae856..70a35df76 100644
--- a/stdlib/source/library/lux/control/try.lux
+++ b/stdlib/source/library/lux/control/try.lux
@@ -169,6 +169,5 @@
[(if <test>
<then>
{..#Failure (let [symbol#encoded (`` (.in_module# (,, (static .prelude)) .symbol#encoded))]
- (all .text_composite#
- "[" (symbol#encoded (symbol ..when)) "]"
- " " "Invalid condition!"))})]))
+ (.text_composite# "[" (symbol#encoded (symbol ..when)) "]"
+ " " "Invalid condition!"))})]))
diff --git a/stdlib/source/library/lux/data/text.lux b/stdlib/source/library/lux/data/text.lux
index c66e10c61..6efb9eb0d 100644
--- a/stdlib/source/library/lux/data/text.lux
+++ b/stdlib/source/library/lux/data/text.lux
@@ -121,7 +121,7 @@
(def .public (enclosed [left right] content)
(-> [Text Text] Text Text)
- (all .text_composite# left content right))
+ (.text_composite# left content right))
(def .public (enclosed' boundary content)
(-> Text Text Text)
@@ -181,7 +181,7 @@
(<| (maybe.else template)
(do maybe.monad
[[pre post] (..split_by pattern template)]
- (in (all .text_composite# pre replacement post)))))
+ (in (.text_composite# pre replacement post)))))
(for @.js (these (def defined?
(macro (_ tokens lux)
@@ -217,7 +217,7 @@
right template])
(when (..split_by pattern right)
{.#Some [pre post]}
- (again (all .text_composite# left pre replacement) post)
+ (again (.text_composite# left pre replacement) post)
{.#None}
(.text_composite# left right)))]
diff --git a/stdlib/source/library/lux/control/remember.lux b/stdlib/source/library/lux/documentation/remember.lux
index be344f2ef..be344f2ef 100644
--- a/stdlib/source/library/lux/control/remember.lux
+++ b/stdlib/source/library/lux/documentation/remember.lux
diff --git a/stdlib/source/library/lux/math/number/frac.lux b/stdlib/source/library/lux/math/number/frac.lux
index a25106d63..13c54f28b 100644
--- a/stdlib/source/library/lux/math/number/frac.lux
+++ b/stdlib/source/library/lux/math/number/frac.lux
@@ -785,14 +785,13 @@
mantissa (..mantissa bits)
exponent (//int.- (.int ..double_bias) (..exponent bits))
sign (..sign bits)]
- (all .text_composite#
- (when (.nat sign)
- 1 "-"
- 0 "+"
- _ (undefined))
- (at <nat> encoded (.nat mantissa))
- ".0E"
- (at <int> encoded exponent))))
+ (.text_composite# (when (.nat sign)
+ 1 "-"
+ 0 "+"
+ _ (undefined))
+ (at <nat> encoded (.nat mantissa))
+ ".0E"
+ (at <int> encoded exponent))))
(def (decoded representation)
(let [negative? (text.starts_with? "-" representation)
diff --git a/stdlib/source/library/lux/math/number/i64.lux b/stdlib/source/library/lux/math/number/i64.lux
index 8baa67ee5..b7922e45d 100644
--- a/stdlib/source/library/lux/math/number/i64.lux
+++ b/stdlib/source/library/lux/math/number/i64.lux
@@ -155,9 +155,8 @@
(.text_composite# char output))
output))))
pattern (repetitions (n./ (n.+ size size) ..width)
- (.text_composite#
- (repetitions size "1")
- (repetitions size "0")))
+ (.text_composite# (repetitions size "1")
+ (repetitions size "0")))
high (try.trusted (at n.binary decoded pattern))
low (..right_rotated size high)]
diff --git a/stdlib/source/library/lux/math/number/nat.lux b/stdlib/source/library/lux/math/number/nat.lux
index 4b8366218..66c29f167 100644
--- a/stdlib/source/library/lux/math/number/nat.lux
+++ b/stdlib/source/library/lux/math/number/nat.lux
@@ -301,9 +301,8 @@
(function (_ value)
(loop (again [input value
output ""])
- (let [output' (.text_composite#
- (<to_character> (.i64_and# mask input))
- output)]
+ (let [output' (.text_composite# (<to_character> (.i64_and# mask input))
+ output)]
(when (is Nat (.i64_right# <shift> input))
0
output'
diff --git a/stdlib/source/library/lux/math/number/rev.lux b/stdlib/source/library/lux/math/number/rev.lux
index 4704d7c8a..47b3f52db 100644
--- a/stdlib/source/library/lux/math/number/rev.lux
+++ b/stdlib/source/library/lux/math/number/rev.lux
@@ -331,9 +331,8 @@
(again (-- idx) true output)
(again (-- idx)
false
- (.text_composite#
- (at //nat.decimal encoded digit)
- output)))))))
+ (.text_composite# (at //nat.decimal encoded digit)
+ output)))))))
(def (digits#+! param subject)
(-> Digits Digits Digits)
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux
index 3daa22bc1..3dab02980 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -97,6 +97,17 @@
(-> Type Type Type Type (-> Text Handler))
(simple (list subjectT param0T param1T) outputT))
+(def .public (variadic input output extension_name)
+ (-> Type Type (-> Text Handler))
+ (function (_ analyse archive args)
+ (do [! phase.monad]
+ [_ (typeA.inference output)
+ argsA (monad.each !
+ (|>> (analyse archive)
+ (typeA.expecting input))
+ args)]
+ (in {analysis.#Extension [.prelude (format extension_name "|generation")] argsA}))))
+
... TODO: Get rid of this ASAP
(these
(exception.def .public (char_text_must_be_size_1 text)
@@ -342,7 +353,7 @@
(-> Bundle Bundle)
(|>> (install "text_=#" (binary Text Text Bit))
(install "text_<#" (binary Text Text Bit))
- (install "text_composite#" (binary Text Text Text))
+ (install "text_composite#" (variadic Text Text))
(install "text_index#" (trinary Nat Text Text (type_literal (Maybe Nat))))
(install "text_size#" (unary Text Nat))
(install "text_char#" (binary Nat Text Nat))
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/common.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/common.lux
index 5f17ba7cc..4d8a17afa 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/common.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/common.lux
@@ -4,8 +4,10 @@
[abstract
["[0]" monad (.only do)]]
[control
+ ["|" pipe]
["<>" parser]
- ["[0]" try]]
+ ["[0]" try]
+ ["[0]" function]]
[data
["[0]" product]
[collection
@@ -295,15 +297,20 @@
(dictionary.has "f64_encoded#|generation" (unary ..f64::encode))
(dictionary.has "f64_decoded#|generation" (unary ..f64::decode))))
+(def $String::length
+ (_.invokevirtual ..$String "length" (type.method [(list) (list) type.int (list)])))
+
(def (text::size inputG)
(Unary (Bytecode Any))
(all _.composite
inputG
(_.checkcast $String)
- (_.invokevirtual ..$String "length" (type.method [(list) (list) type.int (list)]))
+ $String::length
..lux_int))
-(def no_op (Bytecode Any) (_#in []))
+(def no_op
+ (Bytecode Any)
+ (_#in []))
(with_template [<name> <pre_subject> <pre_param> <op> <post>]
[(def (<name> [paramG subjectG])
@@ -324,12 +331,64 @@
..lux_int]
)
-(def (text::concat [leftG rightG])
- (Binary (Bytecode Any))
- (all _.composite
- leftG (_.checkcast $String)
- rightG (_.checkcast $String)
- (_.invokevirtual ..$String "concat" (type.method [(list) (list ..$String) ..$String (list)]))))
+(def text::composite
+ (Variadic (Bytecode Any))
+ (let [$StringBuilder (type.class "java.lang.StringBuilder" (list))
+ add_part! (is (-> (Bytecode Any)
+ (Bytecode Any))
+ (function (_ it)
+ (all _.composite
+ it
+ (_.checkcast $String)
+ )))
+ update_size! (is (Bytecode Any)
+ (all _.composite
+ _.dup
+ $String::length
+ _.dup2_x1
+ _.pop2
+ _.iadd
+ ))
+ new_StringBuilder (is (Bytecode Any)
+ (all _.composite
+ (_.new $StringBuilder)
+ _.dup_x1
+ _.swap
+ (_.invokespecial $StringBuilder "<init>" (type.method [(list) (list type.int) type.void (list)]))
+ ))
+ compose_part! (is (Bytecode Any)
+ (all _.composite
+ _.swap
+ (_.invokevirtual $StringBuilder "append" (type.method [(list) (list ..$String) $StringBuilder (list)]))
+ ))]
+ (|>> (|.when (list)
+ (_.string "")
+
+ (list single)
+ single
+
+ (list left right)
+ (all _.composite
+ left (_.checkcast $String)
+ right (_.checkcast $String)
+ (_.invokevirtual ..$String "concat" (type.method [(list) (list ..$String) ..$String (list)])))
+
+ parts
+ (do [! _.monad]
+ [_ (_.int (.i64 +0))
+ _ (monad.each ! (is (-> (Bytecode Any)
+ (Bytecode Any))
+ (function (_ it)
+ (all _.composite
+ (add_part! it)
+ update_size!
+ )))
+ (list.reversed parts))
+ _ new_StringBuilder
+ _ (monad.each ! (function.constant compose_part!)
+ parts)]
+ (_.invokevirtual $StringBuilder "toString" (type.method [(list) (list) ..$String (list)])))
+ ))))
(def (text::clip [offset! length! subject!])
(Trinary (Bytecode Any))
@@ -367,7 +426,7 @@
(-> Bundle Bundle)
(|>> (dictionary.has "text_=#|generation" (binary ..text::=))
(dictionary.has "text_<#|generation" (binary ..text::<))
- (dictionary.has "text_composite#|generation" (binary ..text::concat))
+ (dictionary.has "text_composite#|generation" (variadic ..text::composite))
(dictionary.has "text_index#|generation" (trinary ..text::index))
(dictionary.has "text_size#|generation" (unary ..text::size))
(dictionary.has "text_char#|generation" (binary ..text::char))
diff --git a/stdlib/source/library/lux/meta/location.lux b/stdlib/source/library/lux/meta/location.lux
index 56eafe44b..cd5bfdd4c 100644
--- a/stdlib/source/library/lux/meta/location.lux
+++ b/stdlib/source/library/lux/meta/location.lux
@@ -36,16 +36,15 @@
(-> Location Text)
(let [separator ","
[file line column] it]
- (all .text_composite#
- "@"
- (`` ((.in_module# (,, (static .prelude)) .text#encoded) file)) separator
- (`` ((.in_module# (,, (static .prelude)) .nat#encoded) line)) separator
- (`` ((.in_module# (,, (static .prelude)) .nat#encoded) column)))))
+ (.text_composite# "@"
+ (`` ((.in_module# (,, (static .prelude)) .text#encoded) file)) separator
+ (`` ((.in_module# (,, (static .prelude)) .nat#encoded) line)) separator
+ (`` ((.in_module# (,, (static .prelude)) .nat#encoded) column)))))
(def \n
(.int_char# +10))
(def .public (with location error)
(-> Location Text Text)
- (all .text_composite# (..format location) \n
- error))
+ (.text_composite# (..format location) \n
+ error))
diff --git a/stdlib/source/library/lux/world/net/http.lux b/stdlib/source/library/lux/world/net/http.lux
index 05cf85509..d03a8d398 100644
--- a/stdlib/source/library/lux/world/net/http.lux
+++ b/stdlib/source/library/lux/world/net/http.lux
@@ -2,9 +2,7 @@
[library
[lux (.except #version #host)
[control
- [try (.only Try)]
- [concurrency
- [frp (.only Channel)]]]
+ [try (.only Try)]]
[data
[binary (.only Binary)]]]]
[/
diff --git a/stdlib/source/library/lux/world/net/http/client.lux b/stdlib/source/library/lux/world/net/http/client.lux
index f3851016a..8ba9a1694 100644
--- a/stdlib/source/library/lux/world/net/http/client.lux
+++ b/stdlib/source/library/lux/world/net/http/client.lux
@@ -227,7 +227,8 @@
(these)))
(def .public (async client)
- (-> (Client IO) (Client Async))
+ (-> (Client IO)
+ (Client Async))
(implementation
(def (request method url headers data)
(|> (at client request method url headers data)
diff --git a/stdlib/source/library/lux/world/net/http/request.lux b/stdlib/source/library/lux/world/net/http/request.lux
index 477fbf2e3..05b55332a 100644
--- a/stdlib/source/library/lux/world/net/http/request.lux
+++ b/stdlib/source/library/lux/world/net/http/request.lux
@@ -1,143 +1,127 @@
(.require
[library
[lux (.except)
+ [abstract
+ [monad (.only Monad)]]
[control
- pipe
- ["[0]" monad (.only do)]
- ["[0]" maybe]
- ["[0]" try (.only Try)]
- [concurrency
- ["[0]" async (.only Async)]
- ["[0]" frp]]]
+ ["[0]" try]]
[data
- ["[0]" number
- ["n" nat]]
- ["[0]" text
- ["[0]" encoding]]
+ ["[0]" binary (.only Binary)]
+ [text
+ [encoding
+ ["[0]" utf8 (.use "[1]#[0]" codec)]]]
[format
- ["[0]" context (.only Context Property)]
- ["[0]" json (.only JSON)
- ["<[1]>" \\parser]]]
- [collection
- ["[0]" list (.use "[1]#[0]" functor mix)]
- ["[0]" dictionary]]]
- [meta
- [macro
- ["^" pattern]]]
- [world
- ["[0]" binary (.only Binary)]]]]
- ["[0]" // (.only Body Response Server)
- ["[1][0]" response]
- ["[1][0]" query]
- ["[1][0]" cookie]])
+ ["[0]" json (.only JSON) (.use "[1]#[0]" codec)]]]]]
+ ["[0]" // (.only Body)
+ ["[0]" version]
+ ["[0]" header (.only Header)]
+ ["/[1]" // (.only)
+ ["[0]" mime]
+ [uri (.only URI)
+ ["[0]" scheme]
+ ["[0]" query (.only Query) (.use "[1]#[0]" codec)]]]])
(type .public (Request !)
- [Identification Protocol Resource (Message !)])
+ (Record
+ [#identification //.Identification
+ #protocol //.Protocol
+ #resource //.Resource
+ #message (//.Message !)]))
-(type .public (Server !)
- (-> (Request !)
- (! (Response !))))
+(def (body ! it)
+ (All (_ !)
+ (-> (Monad !) Binary
+ (//.Body !)))
+ (function (_ _)
+ (at ! in {try.#Success [(binary.size it) it]})))
-(def .public (static response)
- (-> Response Server)
- (function (_ request)
- (async.resolved response)))
+(def .public (utf8 ! it)
+ (All (_ !)
+ (-> (Monad !) Text
+ (Request !)))
+ [#identification [//.#local [///.#host ""
+ ///.#port 0]
+ //.#remote [///.#host ""
+ ///.#port 0]]
+ #protocol [//.#version version.v1_1
+ //.#scheme scheme.http]
+ #resource [//.#method {//.#Post}
+ //.#uri ""]
+ #message [//.#headers (|> header.empty
+ (header.has header.content_type mime.utf_8))
+ //.#body (body ! (utf8#encoded it))]])
-(def (merge inputs)
- (-> (List Binary) Binary)
- (let [[_ output] (try.trusted
- (monad.mix try.monad
- (function (_ input [offset output])
- (let [amount (binary.size input)]
- (at try.functor each (|>> [(n.+ amount offset)])
- (binary.copy amount 0 input offset output))))
- [0 (|> inputs
- (list#each binary.size)
- (list#mix n.+ 0)
- binary.empty)]
- inputs))]
- output))
+(def .public text ..utf8)
-(def (read_text_body body)
- (-> Body (Async (Try Text)))
- (do async.monad
- [blobs (frp.list body)]
- (in (at encoding.utf8 decoded (merge blobs)))))
+(def .public (json ! it)
+ (All (_ !)
+ (-> (Monad !) JSON
+ (Request !)))
+ [#identification [//.#local [///.#host ""
+ ///.#port 0]
+ //.#remote [///.#host ""
+ ///.#port 0]]
+ #protocol [//.#version version.v1_1
+ //.#scheme scheme.http]
+ #resource [//.#method {//.#Post}
+ //.#uri ""]
+ #message [//.#headers (|> header.empty
+ (header.has header.content_type mime.json))
+ //.#body (body ! (utf8#encoded (json#encoded it)))]])
-(def failure
- (//response.bad_request ""))
+(def .public (form ! it)
+ (All (_ !)
+ (-> (Monad !) Query
+ (Request !)))
+ [#identification [//.#local [///.#host ""
+ ///.#port 0]
+ //.#remote [///.#host ""
+ ///.#port 0]]
+ #protocol [//.#version version.v1_1
+ //.#scheme scheme.http]
+ #resource [//.#method {//.#Post}
+ //.#uri ""]
+ #message [//.#headers (|> header.empty
+ (header.has header.content_type mime.form))
+ //.#body (body ! (utf8#encoded (query#encoded it)))]])
-(def .public (json reader server)
- (All (_ a) (-> (<json>.Reader a) (-> a Server) Server))
- (function (_ (^.let request [identification protocol resource message]))
- (do async.monad
- [?raw (read_text_body (the //.#body message))]
- (when (do try.monad
- [raw ?raw
- content (at json.codec decoded raw)]
- (json.result content reader))
- {try.#Success input}
- (server input request)
-
- {try.#Failure error}
- (async.resolved ..failure)))))
+(with_template [<name> <scheme>]
+ [(def .public <name>
+ (All (_ !)
+ (-> (Request !)
+ (Request !)))
+ (|>> (has [#protocol //.#scheme] <scheme>)))]
-(def .public (text server)
- (-> (-> Text Server) Server)
- (function (_ (^.let request [identification protocol resource message]))
- (do async.monad
- [?raw (read_text_body (the //.#body message))]
- (when ?raw
- {try.#Success content}
- (server content request)
-
- {try.#Failure error}
- (async.resolved ..failure)))))
+ [http scheme.http]
+ [https scheme.https]
+ )
-(def .public (query property server)
- (All (_ a) (-> (Property a) (-> a Server) Server))
- (function (_ [identification protocol resource message])
- (let [full (the //.#uri resource)
- [uri query] (|> full
- (text.split_by "?")
- (maybe.else [full ""]))]
- (when (do try.monad
- [query (//query.parameters query)
- input (context.result query property)]
- (in [[identification protocol (has //.#uri uri resource) message]
- input]))
- {try.#Success [request input]}
- (server input request)
-
- {try.#Failure error}
- (async.resolved ..failure)))))
+(with_template [<name> <method>]
+ [(def .public <name>
+ (All (_ !)
+ (-> (Request !)
+ (Request !)))
+ (has [#resource //.#method] {<method>}))]
-(def .public (form property server)
- (All (_ a) (-> (Property a) (-> a Server) Server))
- (function (_ (^.let request [identification protocol resource message]))
- (do async.monad
- [?body (read_text_body (the //.#body message))]
- (when (do try.monad
- [body ?body
- form (//query.parameters body)]
- (context.result form property))
- {try.#Success input}
- (server input request)
-
- {try.#Failure error}
- (async.resolved ..failure)))))
+ [post //.#Post]
+ [get //.#Get]
+ [put //.#Put]
+ [patch //.#Patch]
+ [delete //.#Delete]
+ [head //.#Head]
+ [connect //.#Connect]
+ [options //.#Options]
+ [trace //.#Trace]
+ )
-(def .public (cookies property server)
- (All (_ a) (-> (Property a) (-> a Server) Server))
- (function (_ (^.let request [identification protocol resource message]))
- (when (do try.monad
- [cookies (|> (the //.#headers message)
- (dictionary.value "Cookie")
- (maybe.else "")
- //cookie.get)]
- (context.result cookies property))
- {try.#Success input}
- (server input request)
-
- {try.#Failure error}
- (async.resolved ..failure))))
+(def .public (uri it)
+ (All (_ !)
+ (-> URI (Request !)
+ (Request !)))
+ (|>> (has [#resource //.#uri] it)))
+
+(def .public (with_header it value)
+ (All (_ ! of)
+ (-> (Header of) of (Request !)
+ (Request !)))
+ (|>> (revised [#message //.#headers] (header.has it value))))
diff --git a/stdlib/source/library/lux/world/net/mime.lux b/stdlib/source/library/lux/world/net/mime.lux
index 8e3919836..409e13080 100644
--- a/stdlib/source/library/lux/world/net/mime.lux
+++ b/stdlib/source/library/lux/world/net/mime.lux
@@ -104,6 +104,10 @@
[audio_3gpp2 "audio/3gpp2"]
[video_3gpp2 "video/3gpp2"]
[compressed_7z "application/x-7z-compressed"]
+
+ ... https://developer.mozilla.org/en-US/docs/Web/HTTP/Methods/POST
+ [form "application/x-www-form-urlencoded"]
+ [multi_part_form "multipart/form-data"]
)
(def .public (text encoding)
diff --git a/stdlib/source/library/lux/world/net/uri/encoding.lux b/stdlib/source/library/lux/world/net/uri/encoding.lux
index 91a5c2020..085d80744 100644
--- a/stdlib/source/library/lux/world/net/uri/encoding.lux
+++ b/stdlib/source/library/lux/world/net/uri/encoding.lux
@@ -60,10 +60,9 @@
(let [index' (++ index)]
(again index'
index'
- (all .text_composite#
- output
- (.text_clip# slice_start (nat.- slice_start index) input)
- <encoding>)))]
+ (.text_composite# output
+ (.text_clip# slice_start (nat.- slice_start index) input)
+ <encoding>)))]
<reserved>))
@@ -71,9 +70,8 @@
(again (++ index)
slice_start
output)))
- (all .text_composite#
- output
- (.text_clip# slice_start (nat.- slice_start index) input))))))
+ (.text_composite# output
+ (.text_clip# slice_start (nat.- slice_start index) input))))))
)
(def escape (char "%"))
@@ -102,9 +100,9 @@
.let [index' (++ encoding_end)]]
(again index'
index'
- (all .text_composite# output
- (.text_clip# slice_start (nat.- slice_start index) input)
- (text.of_char value))))
+ (.text_composite# output
+ (.text_clip# slice_start (nat.- slice_start index) input)
+ (text.of_char value))))
(exception.except ..invalid [input])))
_
diff --git a/stdlib/source/library/lux/world/time/day.lux b/stdlib/source/library/lux/world/time/day.lux
index 60c30a816..cda78a83f 100644
--- a/stdlib/source/library/lux/world/time/day.lux
+++ b/stdlib/source/library/lux/world/time/day.lux
@@ -158,10 +158,9 @@
(Exception Nat)
(exception.report
(list ["Number" (at n.decimal encoded number)]
- ["Valid range" (all .text_composite#
- (at n.decimal encoded (..number {#Sunday}))
- " ~ "
- (at n.decimal encoded (..number {#Saturday})))])))
+ ["Valid range" (.text_composite# (at n.decimal encoded (..number {#Sunday}))
+ " ~ "
+ (at n.decimal encoded (..number {#Saturday})))])))
(def .public (by_number number)
(-> Nat (Try Day))
diff --git a/stdlib/source/library/lux/world/time/month.lux b/stdlib/source/library/lux/world/time/month.lux
index 93625a2c2..b6fc1f8fa 100644
--- a/stdlib/source/library/lux/world/time/month.lux
+++ b/stdlib/source/library/lux/world/time/month.lux
@@ -83,10 +83,9 @@
(Exception Nat)
(exception.report
(list ["Number" (at n.decimal encoded number)]
- ["Valid range" (all .text_composite#
- (at n.decimal encoded (..number {#January}))
- " ~ "
- (at n.decimal encoded (..number {#December})))])))
+ ["Valid range" (.text_composite# (at n.decimal encoded (..number {#January}))
+ " ~ "
+ (at n.decimal encoded (..number {#December})))])))
(def .public (by_number number)
(-> Nat (Try Month))
diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
index f510a345e..569e67181 100644
--- a/stdlib/source/specification/lux/abstract/enum.lux
+++ b/stdlib/source/specification/lux/abstract/enum.lux
@@ -8,21 +8,25 @@
[test
["_" property (.only Test)]]]]
[\\library
- ["[0]" /]])
+ ["[0]" /]]
+ [//
+ ["[0]S" order]])
-(def .public (spec (open "_#[0]") gen_sample)
+(def .public (spec (open "/#[0]") random)
(All (_ a) (-> (/.Enum a) (Random a) Test))
(do random.monad
- [sample gen_sample]
+ [sample random]
(<| (_.for [/.Enum])
(all _.and
- (_.test "Successor and predecessor are inverse functions."
- (and (_#= (|> sample _#succ _#pred)
+ (_.for [/.order]
+ (orderS.spec /#order random))
+ (_.coverage [/.succ /.pred]
+ (and (/#= (|> sample /#succ /#pred)
sample)
- (_#= (|> sample _#pred _#succ)
+ (/#= (|> sample /#pred /#succ)
sample)
- (not (_#= (_#succ sample)
+ (not (/#= (/#succ sample)
sample))
- (not (_#= (_#pred sample)
+ (not (/#= (/#pred sample)
sample))))
))))
diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux
index 67903a051..1643a541d 100644
--- a/stdlib/source/test/lux/control.lux
+++ b/stdlib/source/test/lux/control.lux
@@ -30,7 +30,6 @@
["[1][0]" pipe]
["[1][0]" reader]
["[1][0]" region]
- ["[1][0]" remember]
[security
["[1][0]" policy]
["[1][0]" capability]]
@@ -80,7 +79,6 @@
/pipe.test
/reader.test
/region.test
- /remember.test
..security
/state.test
/thread.test
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index d192289cf..1ee5a2bf0 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -166,7 +166,7 @@
right (random.unicode 5)]
(_.coverage [\\format.format]
(/#= (\\format.format left mid right)
- (all .text_composite# left mid right))))
+ (.text_composite# left mid right))))
..codec
(,, (with_template [<format> <alias> <random>]
[(do random.monad
diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux
index 6308232c7..83fe198e3 100644
--- a/stdlib/source/test/lux/documentation.lux
+++ b/stdlib/source/test/lux/documentation.lux
@@ -20,7 +20,9 @@
[test
["_" property (.only Test)]]]]
[\\library
- ["[0]" /]])
+ ["[0]" /]]
+ ["[0]" /
+ ["[1][0]" remember]])
(def macro_error
(syntax (_ [macro <code>.any])
@@ -81,4 +83,6 @@
[(/.definition g!default
(,, (template.text ['definition_description'])))]
)))))
+
+ /remember.test
)))))
diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/documentation/remember.lux
index 963b3fbc1..963b3fbc1 100644
--- a/stdlib/source/test/lux/control/remember.lux
+++ b/stdlib/source/test/lux/documentation/remember.lux
diff --git a/stdlib/source/test/lux/world/net.lux b/stdlib/source/test/lux/world/net.lux
index 885a918e7..ad3a3fa1e 100644
--- a/stdlib/source/test/lux/world/net.lux
+++ b/stdlib/source/test/lux/world/net.lux
@@ -17,7 +17,8 @@
["[1]/[0]" header]
["[1]/[0]" status]
["[1]/[0]" version]
- ["[1]/[0]" response]]
+ ["[1]/[0]" response]
+ ["[1]/[0]" request]]
["[1][0]" uri
["[1]/[0]" encoding]
["[1]/[0]" scheme]
@@ -46,6 +47,7 @@
/http/status.test
/http/version.test
/http/response.test
+ /http/request.test
/uri/encoding.test
/uri/scheme.test
diff --git a/stdlib/source/test/lux/world/net/http/request.lux b/stdlib/source/test/lux/world/net/http/request.lux
new file mode 100644
index 000000000..0d117920f
--- /dev/null
+++ b/stdlib/source/test/lux/world/net/http/request.lux
@@ -0,0 +1,226 @@
+(.require
+ [library
+ [lux (.except)
+ [abstract
+ [monad (.only do)]]
+ [control
+ ["|" pipe]
+ ["[0]" try]]
+ [data
+ ["[0]" identity (.only Identity)]
+ ["[0]" binary (.use "[1]#[0]" equivalence)]
+ [text
+ [encoding
+ ["[0]" utf8 (.use "[1]#[0]" codec)]]]
+ [format
+ ["[0]" json (.use "[1]#[0]" codec)
+ ["[1]T" \\test]]]]
+ [math
+ ["[0]" random (.only Random)]
+ [number
+ ["n" nat]]]
+ [test
+ ["_" property (.only Test)]]]]
+ [\\library
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
+ ["[0]" header]
+ [//
+ ["[0]" mime (.use "[1]#[0]" equivalence)]
+ [uri
+ ["[0]" scheme (.use "[1]#[0]" equivalence)]
+ ["[0]" query (.use "[1]#[0]" codec)
+ ["[1]T" \\test]]]]]]])
+
+(def .public test
+ Test
+ (<| (_.covering /._)
+ (do [! random.monad]
+ [expected_text (random.upper_cased 3)
+ expected_json jsonT.random
+ expected_form (queryT.random 2)
+ expected_uri (random.upper_cased 4)
+ expected_content_length random.nat])
+ (_.for [/.Request
+ /.#identification /.#message /.#protocol /.#resource])
+ (`` (all _.and
+ (_.coverage [/.utf8 /.text]
+ (and (same? /.utf8 /.text)
+ (let [it (/.utf8 identity.monad expected_text)]
+ (and (|> it
+ (the [/.#message //.#headers])
+ (header.one header.content_type)
+ (|.when
+ {try.#Success actual}
+ (mime#= mime.utf_8 actual)
+
+ {try.#Failure error}
+ false))
+ (when ((the [/.#message //.#body] it) {.#None})
+ {try.#Success [_ actual]}
+ (binary#= (utf8#encoded expected_text)
+ actual)
+
+ {try.#Failure error}
+ false)
+ ))))
+ (_.coverage [/.json]
+ (let [it (/.json identity.monad expected_json)]
+ (and (|> it
+ (the [/.#message //.#headers])
+ (header.one header.content_type)
+ (|.when
+ {try.#Success actual}
+ (mime#= mime.json actual)
+
+ {try.#Failure error}
+ false))
+ (when ((the [/.#message //.#body] it) {.#None})
+ {try.#Success [_ actual]}
+ (binary#= (utf8#encoded (json#encoded expected_json))
+ actual)
+
+ {try.#Failure error}
+ false)
+ )))
+ (_.coverage [/.form]
+ (let [it (/.form identity.monad expected_form)]
+ (and (|> it
+ (the [/.#message //.#headers])
+ (header.one header.content_type)
+ (|.when
+ {try.#Success actual}
+ (mime#= mime.form actual)
+
+ {try.#Failure error}
+ false))
+ (when ((the [/.#message //.#body] it) {.#None})
+ {try.#Success [_ actual]}
+ (binary#= (utf8#encoded (query#encoded expected_form))
+ actual)
+
+ {try.#Failure error}
+ false)
+ )))
+ (,, (with_template [<request> <scheme>]
+ [(_.coverage [<request>]
+ (let [it (is (/.Request Identity)
+ (<request> (/.utf8 identity.monad expected_text)))]
+ (and (|> it
+ (the [/.#protocol //.#scheme])
+ (scheme#= <scheme>))
+ (|> it
+ (the [/.#message //.#headers])
+ (header.one header.content_type)
+ (|.when
+ {try.#Success actual}
+ (mime#= mime.utf_8 actual)
+
+ {try.#Failure error}
+ false))
+ (when ((the [/.#message //.#body] it) {.#None})
+ {try.#Success [_ actual]}
+ (binary#= (utf8#encoded expected_text)
+ actual)
+
+ {try.#Failure error}
+ false)
+ )))]
+
+ [/.http scheme.http]
+ [/.https scheme.https]
+ ))
+ (,, (with_template [<request> <method>]
+ [(_.coverage [<request>]
+ (let [it (is (/.Request Identity)
+ (<request> (/.utf8 identity.monad expected_text)))]
+ (and (|> it
+ (the [/.#resource //.#method])
+ (|.when
+ {<method>}
+ true
+
+ _
+ false))
+ (|> it
+ (the [/.#message //.#headers])
+ (header.one header.content_type)
+ (|.when
+ {try.#Success actual}
+ (mime#= mime.utf_8 actual)
+
+ {try.#Failure error}
+ false))
+ (when ((the [/.#message //.#body] it) {.#None})
+ {try.#Success [_ actual]}
+ (binary#= (utf8#encoded expected_text)
+ actual)
+
+ {try.#Failure error}
+ false)
+ )))]
+
+ [/.post //.#Post]
+ [/.get //.#Get]
+ [/.put //.#Put]
+ [/.patch //.#Patch]
+ [/.delete //.#Delete]
+ [/.head //.#Head]
+ [/.connect //.#Connect]
+ [/.options //.#Options]
+ [/.trace //.#Trace]
+ ))
+ (_.coverage [/.uri]
+ (let [it (is (/.Request Identity)
+ (/.uri expected_uri (/.utf8 identity.monad expected_text)))]
+ (and (|> it
+ (the [/.#resource //.#uri])
+ (same? expected_uri))
+ (|> it
+ (the [/.#message //.#headers])
+ (header.one header.content_type)
+ (|.when
+ {try.#Success actual}
+ (mime#= mime.utf_8 actual)
+
+ {try.#Failure error}
+ false))
+ (when ((the [/.#message //.#body] it) {.#None})
+ {try.#Success [_ actual]}
+ (binary#= (utf8#encoded expected_text)
+ actual)
+
+ {try.#Failure error}
+ false)
+ )))
+ (_.coverage [/.with_header]
+ (let [it (is (/.Request Identity)
+ (|> (/.utf8 identity.monad expected_text)
+ (/.with_header header.content_length expected_content_length)))]
+ (and (|> it
+ (the [/.#message //.#headers])
+ (header.one header.content_length)
+ (|.when
+ {try.#Success actual}
+ (n.= expected_content_length actual)
+
+ {try.#Failure error}
+ false))
+ (|> it
+ (the [/.#message //.#headers])
+ (header.one header.content_type)
+ (|.when
+ {try.#Success actual}
+ (mime#= mime.utf_8 actual)
+
+ {try.#Failure error}
+ false))
+ (when ((the [/.#message //.#body] it) {.#None})
+ {try.#Success [_ actual]}
+ (binary#= (utf8#encoded expected_text)
+ actual)
+
+ {try.#Failure error}
+ false)
+ )))
+ ))))
diff --git a/stdlib/source/test/lux/world/net/mime.lux b/stdlib/source/test/lux/world/net/mime.lux
index 8c5c84033..c1116ad5a 100644
--- a/stdlib/source/test/lux/world/net/mime.lux
+++ b/stdlib/source/test/lux/world/net/mime.lux
@@ -89,6 +89,9 @@
[/.video_3gpp2]
[/.compressed_7z]
+ [/.form]
+ [/.multi_part_form]
+
[/.utf_8])
<types> (with_template [<type>]
[<type>]
diff --git a/stdlib/source/test/lux/world/net/uri/port.lux b/stdlib/source/test/lux/world/net/uri/port.lux
index 14ffa5059..d91dc1d5d 100644
--- a/stdlib/source/test/lux/world/net/uri/port.lux
+++ b/stdlib/source/test/lux/world/net/uri/port.lux
@@ -8,7 +8,7 @@
["[0]" list]
["[0]" set]]]
[math
- ["[0]" random (.only Random)]
+ ["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number
["[0]" nat]]]
[test
@@ -16,162 +16,175 @@
[\\library
["[0]" /]])
-(def .public test
- Test
- (<| (_.covering /._)
- (do [! random.monad]
- [])
- (`` (all _.and
- (with_expansions [<options> (these /.echo_protocol
- /.discard_protocol
- /.daytime_protocol
- /.quote_of_the_day
- /.message_send_protocol
- /.character_generator_protocol
- /.file_transfer_protocol_data_transfer
- /.file_transfer_protocol_control
- /.telnet
- /.simple_mail_transfer_protocol
- /.time_protocol
- /.host_name_server_protocol
- /.whois
- /.domain_name_system
- /.gopher
- /.finger
- /.hypertext_transfer_protocol
- /.kerberos
-
- /.digital_imaging_and_communications_in_medicine
- /.remote_user_telnet_service
- /.post_office_protocol_2
- /.post_office_protocol_3
- /.open_network_computing_remote_procedure_call
- /.simple_file_transfer_protocol
- /.network_news_transfer_protocol
- /.network_time_protocol
- /.internet_message_access_protocol
- /.simple_gateway_monitoring_protocol
- /.structured_query_language
- /.simple_network_management_protocol
- /.simple_network_management_protocol_trap
- /.secure_neighbor_discovery
- /.x_display_manager_control_protocol
- /.border_gateway_protocol
- /.internet_relay_chat
- /.snmp_unix_multiplexer
-
- /.border_gateway_multicast_protocol
-
- /.precision_time_protocol_event_messages
- /.precision_time_protocol_general_messages
- /.lightweight_directory_access_protocol
-
- /.uninterruptible_power_supply
- /.service_location_protocol
- /.hypertext_transfer_protocol_secure
- /.simple_network_paging_protocol
- /.kerberos_change/set_password
-
- /.remote_procedure_call
- /.real_time_streaming_protocol
- /.dynamic_host_configuration_protocol/6_client
- /.dynamic_host_configuration_protocol/6_server
- /.network_news_transfer_protocol_secure
-
- /.internet_printing_protocol
- /.lightweight_directory_access_protocol_secure
- /.multicast_source_discovery_protocol
- /.label_distribution_protocol
- /.application_configuration_access_protocol
- /.optimized_link_state_routing_protocol
-
- /.extensible_provisioning_protocol
- /.link_management_protocol
- /.secure_internet_live_conferencing_protocol
- /.kerberos_administration
-
- /.certificate_management_protocol
- /.network_configuration_protocol/ssh
- /.network_configuration_protocol/beep
- /.network_configuration_protocol/soap/https
- /.network_configuration_protocol/soap/beep
-
- /.file_transfer_protocol_secure_data_transfer
- /.file_transfer_protocol_secure_control
- /.telnet/tls
- /.internet_message_access_protocol_secure
- /.post_office_protocol_3_secure)]
- (_.coverage [<options>]
+(with_expansions [<options> (these [/.echo_protocol]
+ [/.discard_protocol]
+ [/.daytime_protocol]
+ [/.quote_of_the_day]
+ [/.message_send_protocol]
+ [/.character_generator_protocol]
+ [/.file_transfer_protocol_data_transfer]
+ [/.file_transfer_protocol_control]
+ [/.telnet]
+ [/.simple_mail_transfer_protocol]
+ [/.time_protocol]
+ [/.host_name_server_protocol]
+ [/.whois]
+ [/.domain_name_system]
+ [/.gopher]
+ [/.finger]
+ [/.hypertext_transfer_protocol]
+ [/.kerberos]
+
+ [/.digital_imaging_and_communications_in_medicine]
+ [/.remote_user_telnet_service]
+ [/.post_office_protocol_2]
+ [/.post_office_protocol_3]
+ [/.open_network_computing_remote_procedure_call]
+ [/.simple_file_transfer_protocol]
+ [/.network_news_transfer_protocol]
+ [/.network_time_protocol]
+ [/.internet_message_access_protocol]
+ [/.simple_gateway_monitoring_protocol]
+ [/.structured_query_language]
+ [/.simple_network_management_protocol]
+ [/.simple_network_management_protocol_trap]
+ [/.secure_neighbor_discovery]
+ [/.x_display_manager_control_protocol]
+ [/.border_gateway_protocol]
+ [/.internet_relay_chat]
+ [/.snmp_unix_multiplexer]
+
+ [/.border_gateway_multicast_protocol]
+
+ [/.precision_time_protocol_event_messages]
+ [/.precision_time_protocol_general_messages]
+ [/.lightweight_directory_access_protocol]
+
+ [/.uninterruptible_power_supply]
+ [/.service_location_protocol]
+ [/.hypertext_transfer_protocol_secure]
+ [/.simple_network_paging_protocol]
+ [/.kerberos_change/set_password]
+
+ [/.remote_procedure_call]
+ [/.real_time_streaming_protocol]
+ [/.dynamic_host_configuration_protocol/6_client]
+ [/.dynamic_host_configuration_protocol/6_server]
+ [/.network_news_transfer_protocol_secure]
+
+ [/.internet_printing_protocol]
+ [/.lightweight_directory_access_protocol_secure]
+ [/.multicast_source_discovery_protocol]
+ [/.label_distribution_protocol]
+ [/.application_configuration_access_protocol]
+ [/.optimized_link_state_routing_protocol]
+
+ [/.extensible_provisioning_protocol]
+ [/.link_management_protocol]
+ [/.secure_internet_live_conferencing_protocol]
+ [/.kerberos_administration]
+
+ [/.certificate_management_protocol]
+ [/.network_configuration_protocol/ssh]
+ [/.network_configuration_protocol/beep]
+ [/.network_configuration_protocol/soap/https]
+ [/.network_configuration_protocol/soap/beep]
+
+ [/.file_transfer_protocol_secure_data_transfer]
+ [/.file_transfer_protocol_secure_control]
+ [/.telnet/tls]
+ [/.internet_message_access_protocol_secure]
+ [/.post_office_protocol_3_secure])]
+ (def .public random
+ (Random /.Port)
+ (`` (all random.either
+ (,, (with_template [<port>]
+ [(random#in <port>)]
+
+ <options>
+ )))))
+
+ (def .public test
+ Test
+ (<| (_.covering /._)
+ (do [! random.monad]
+ [])
+ (`` (all _.and
+ (_.coverage [(,, (with_template [<port>]
+ [<port>]
+
+ <options>
+ ))]
(let [options (list <options>)
uniques (set.of_list nat.hash options)]
(nat.= (list.size options)
- (set.size uniques)))))
- (,, (with_template [<long> <short>]
- [(_.coverage [<short>]
- (same? <long> <short>))]
-
- [/.file_transfer_protocol_data_transfer /.ftp_data_transfer]
- [/.file_transfer_protocol_control /.ftp_control]
- [/.simple_mail_transfer_protocol /.smtp]
- [/.domain_name_system /.dns]
- [/.hypertext_transfer_protocol /.http]
-
- [/.digital_imaging_and_communications_in_medicine /.dicom]
- [/.remote_user_telnet_service /.rtelnet]
- [/.post_office_protocol_2 /.pop2]
- [/.post_office_protocol_3 /.pop3]
- [/.open_network_computing_remote_procedure_call /.onc_rpc]
- [/.simple_file_transfer_protocol /.simple_ftp]
- [/.network_news_transfer_protocol /.nntp]
- [/.network_time_protocol /.ntp]
- [/.internet_message_access_protocol /.imap]
- [/.simple_gateway_monitoring_protocol /.sgmp]
- [/.structured_query_language /.sql]
- [/.simple_network_management_protocol /.snmp]
- [/.simple_network_management_protocol_trap /.snmp_trap]
- [/.secure_neighbor_discovery /.send]
- [/.x_display_manager_control_protocol /.xdmcp]
- [/.border_gateway_protocol /.bgp]
- [/.internet_relay_chat /.irc]
- [/.snmp_unix_multiplexer /.smux]
-
- [/.border_gateway_multicast_protocol /.bgmp]
-
- [/.precision_time_protocol_event_messages /.ptp_event_messages]
- [/.precision_time_protocol_general_messages /.ptp_general_messages]
- [/.lightweight_directory_access_protocol /.ldap]
-
- [/.uninterruptible_power_supply /.ups]
- [/.service_location_protocol /.slp]
- [/.hypertext_transfer_protocol_secure /.https]
- [/.simple_network_paging_protocol /.snpp]
-
- [/.remote_procedure_call /.rpc]
- [/.real_time_streaming_protocol /.rtsp]
- [/.dynamic_host_configuration_protocol/6_client /.dhcp/6_client]
- [/.dynamic_host_configuration_protocol/6_server /.dhcp/6_server]
- [/.network_news_transfer_protocol_secure /.nntps]
-
- [/.internet_printing_protocol /.ipp]
- [/.lightweight_directory_access_protocol_secure /.ldaps]
- [/.multicast_source_discovery_protocol /.msdp]
- [/.label_distribution_protocol /.ldp]
- [/.application_configuration_access_protocol /.acap]
- [/.optimized_link_state_routing_protocol /.olsr]
-
- [/.extensible_provisioning_protocol /.epp]
- [/.link_management_protocol /.lmp]
- [/.secure_internet_live_conferencing_protocol /.silc]
-
- [/.certificate_management_protocol /.cmp]
- [/.network_configuration_protocol/ssh /.netconf/ssh]
- [/.network_configuration_protocol/beep /.netconf/beep]
- [/.network_configuration_protocol/soap/https /.netconf/soap/https]
- [/.network_configuration_protocol/soap/beep /.netconf/soap/beep]
-
- [/.file_transfer_protocol_secure_data_transfer /.ftps_data_transfer]
- [/.file_transfer_protocol_secure_control /.ftps_control]
- [/.internet_message_access_protocol_secure /.imaps]
- [/.post_office_protocol_3_secure /.pop3s]
- ))
- ))))
+ (set.size uniques))))
+ (,, (with_template [<long> <short>]
+ [(_.coverage [<short>]
+ (same? <long> <short>))]
+
+ [/.file_transfer_protocol_data_transfer /.ftp_data_transfer]
+ [/.file_transfer_protocol_control /.ftp_control]
+ [/.simple_mail_transfer_protocol /.smtp]
+ [/.domain_name_system /.dns]
+ [/.hypertext_transfer_protocol /.http]
+
+ [/.digital_imaging_and_communications_in_medicine /.dicom]
+ [/.remote_user_telnet_service /.rtelnet]
+ [/.post_office_protocol_2 /.pop2]
+ [/.post_office_protocol_3 /.pop3]
+ [/.open_network_computing_remote_procedure_call /.onc_rpc]
+ [/.simple_file_transfer_protocol /.simple_ftp]
+ [/.network_news_transfer_protocol /.nntp]
+ [/.network_time_protocol /.ntp]
+ [/.internet_message_access_protocol /.imap]
+ [/.simple_gateway_monitoring_protocol /.sgmp]
+ [/.structured_query_language /.sql]
+ [/.simple_network_management_protocol /.snmp]
+ [/.simple_network_management_protocol_trap /.snmp_trap]
+ [/.secure_neighbor_discovery /.send]
+ [/.x_display_manager_control_protocol /.xdmcp]
+ [/.border_gateway_protocol /.bgp]
+ [/.internet_relay_chat /.irc]
+ [/.snmp_unix_multiplexer /.smux]
+
+ [/.border_gateway_multicast_protocol /.bgmp]
+
+ [/.precision_time_protocol_event_messages /.ptp_event_messages]
+ [/.precision_time_protocol_general_messages /.ptp_general_messages]
+ [/.lightweight_directory_access_protocol /.ldap]
+
+ [/.uninterruptible_power_supply /.ups]
+ [/.service_location_protocol /.slp]
+ [/.hypertext_transfer_protocol_secure /.https]
+ [/.simple_network_paging_protocol /.snpp]
+
+ [/.remote_procedure_call /.rpc]
+ [/.real_time_streaming_protocol /.rtsp]
+ [/.dynamic_host_configuration_protocol/6_client /.dhcp/6_client]
+ [/.dynamic_host_configuration_protocol/6_server /.dhcp/6_server]
+ [/.network_news_transfer_protocol_secure /.nntps]
+
+ [/.internet_printing_protocol /.ipp]
+ [/.lightweight_directory_access_protocol_secure /.ldaps]
+ [/.multicast_source_discovery_protocol /.msdp]
+ [/.label_distribution_protocol /.ldp]
+ [/.application_configuration_access_protocol /.acap]
+ [/.optimized_link_state_routing_protocol /.olsr]
+
+ [/.extensible_provisioning_protocol /.epp]
+ [/.link_management_protocol /.lmp]
+ [/.secure_internet_live_conferencing_protocol /.silc]
+
+ [/.certificate_management_protocol /.cmp]
+ [/.network_configuration_protocol/ssh /.netconf/ssh]
+ [/.network_configuration_protocol/beep /.netconf/beep]
+ [/.network_configuration_protocol/soap/https /.netconf/soap/https]
+ [/.network_configuration_protocol/soap/beep /.netconf/soap/beep]
+
+ [/.file_transfer_protocol_secure_data_transfer /.ftps_data_transfer]
+ [/.file_transfer_protocol_secure_control /.ftps_control]
+ [/.internet_message_access_protocol_secure /.imaps]
+ [/.post_office_protocol_3_secure /.pop3s]
+ ))
+ )))))