diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/debug.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux | 53 | ||||
| -rw-r--r-- | stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/library/lux/meta/global.lux | 91 | ||||
| -rw-r--r-- | stdlib/source/library/lux/world/net/http/cookie.lux | 220 | ||||
| -rw-r--r-- | stdlib/source/library/lux/world/net/http/header.lux | 41 | ||||
| -rw-r--r-- | stdlib/source/test/lux/meta/global.lux | 40 | ||||
| -rw-r--r-- | stdlib/source/test/lux/test/tally.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/lux/world/net.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/world/net/http/cookie.lux | 113 | ||||
| -rw-r--r-- | stdlib/source/test/lux/world/net/http/header.lux | 18 |
11 files changed, 497 insertions, 91 deletions
diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux index 09d379e8c..2dbebbecc 100644 --- a/stdlib/source/library/lux/debug.lux +++ b/stdlib/source/library/lux/debug.lux @@ -525,7 +525,7 @@ (exception.except ..cannot_represent_value type))) (def .public private - (syntax (_ [definition <code>.symbol]) + (syntax (_ [definition <code>.global]) (let [[module _] definition] (in (list (` (.in_module# (, (code.text module)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux index 8d9e85ac5..dfadd0040 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux @@ -16,15 +16,14 @@ ["[0]" check]]]]] ["[0]" // ["[0]" extension] - ["[1][0]" analysis] ["/[1]" // ["/" declaration (.only Operation Phase Handler Extender)] - ["[1][0]" analysis (.only) + ["[0]" analysis (.only) ["[0]" evaluation] ["[1]/[0]" macro (.only Expander)] ["[1]/[0]" type]] [/// - ["//" phase (.use "[1]#[0]" monad)] + ["[0]" phase (.use "[1]#[0]" monad)] [reference (.only) [variable (.only)]] [meta @@ -49,10 +48,10 @@ (Operation anchor expression declaration /.Requirements))) (when expansion {.#End} - (//#in /.no_requirements) + (phase#in /.no_requirements) {.#Item head tail} - (do //.monad + (do phase.monad [head' (phase archive head) tail' (requiring phase archive tail)] (in (/.merge_requirements head' tail'))))) @@ -62,25 +61,49 @@ {#More (List Code)} {#Done /.Requirements})) +(def (macro_or_extension analysis archive whole_term function_term) + (All (_ anchor expression declaration) + (-> analysis.Phase Archive Code Code (Operation anchor expression declaration Symbol))) + (when function_term + [_ {.#Symbol it}] + (phase#in it) + + function_term + (do phase.monad + [[type analysis] (/.lifted_analysis + (analysis/type.inferring + (analysis archive function_term)))] + (when analysis + (analysis.constant definition) + (if (or (check.subsumes? .Macro type) + (check.subsumes? .Declaration type)) + (in definition) + (phase.except ..not_a_declaration [whole_term])) + + _ + (phase.except ..not_a_declaration [whole_term]))))) + (with_expansions [<lux_def_module> (these [|form_location| {.#Form (list.partial [|text_location| {.#Symbol [..prelude "module#"]}] annotations)}])] (def .public (phase wrapper extender expander) (All (_ anchor expression declaration) - (-> //.Wrapper (Extender anchor expression declaration) Expander (Phase anchor expression declaration))) + (-> phase.Wrapper (Extender anchor expression declaration) Expander (Phase anchor expression declaration))) (function (again archive code) - (do [! //.monad] - [state //.state - .let [compiler_eval ((evaluation.evaluator (the [/.#analysis /.#phase] state) + (do [! phase.monad] + [state phase.state + .let [analysis (the [/.#analysis /.#phase] state) + compiler_eval ((evaluation.evaluator analysis [(the [/.#synthesis /.#state] state) (the [/.#synthesis /.#phase] state)] [(the [/.#generation /.#state] state) (the [/.#generation /.#phase] state)]) archive) extension_eval (as Eval (wrapper (as_expected compiler_eval)))] - _ (//.with (has [/.#analysis /.#state .#eval] extension_eval state))] + _ (phase.with (has [/.#analysis /.#state .#eval] extension_eval state))] (when code - [_ {.#Form (list.partial [_ {.#Symbol macro|extension}] inputs)}] + [_ {.#Form (list.partial term inputs)}] (do ! - [expansion|requirements (extension.application extender + [macro|extension (macro_or_extension analysis archive code term) + expansion|requirements (extension.application extender (the [/.#analysis /.#state] state) again archive .Declaration macro|extension inputs (|>> {#Done}) @@ -91,11 +114,11 @@ {.#Some macro} (/.lifted_analysis (do ! - [expansion (///analysis/macro.expansion expander macro|extension macro inputs)] + [expansion (analysis/macro.expansion expander macro|extension macro inputs)] (in {#More expansion}))) {.#None} - (//.except ..invalid_macro_call [code])))}))] + (phase.except ..invalid_macro_call [code])))}))] (when expansion|requirements {.#Left expansion} (when expansion @@ -110,4 +133,4 @@ (in requirements))) _ - (//.except ..not_a_declaration code)))))) + (phase.except ..not_a_declaration [code])))))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux index 796647b7b..3cd840518 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except Type Module Primitive Analysis Declaration #Default char int type) + [lux (.except Type Module Primitive Analysis Declaration Double #Default char int type) ["[0]" ffi (.only import)] [abstract ["[0]" monad (.only do)]] diff --git a/stdlib/source/library/lux/meta/global.lux b/stdlib/source/library/lux/meta/global.lux new file mode 100644 index 000000000..e26d50afd --- /dev/null +++ b/stdlib/source/library/lux/meta/global.lux @@ -0,0 +1,91 @@ +(.require + [library + [lux (.except with) + [abstract + ["[0]" monad (.only do)]] + [control + ["?" parser] + ["[0]" maybe]] + [data + ["[0]" product] + [text + ["%" \\format]] + [collection + ["[0]" list (.use "[1]#[0]" functor mix) + ["[0]" property]]]] + ["[0]" meta (.only) + ["[0]" code (.only) + ["?[1]" \\parser]] + ["[0]" macro (.only) + [syntax (.only syntax)]]]]]) + +(def with_replacement + (syntax (_ [[module short] ?code.global + local ?code.local + hidden ?code.local]) + (do meta.monad + [here meta.current_module_name + _ (is (Meta Any) + (function (_ lux) + (let [lux (revised .#modules + (is (-> (property.List .Module) (property.List .Module)) + (property.revised module (is (-> .Module .Module) + (function (_ module) + (|> (do maybe.monad + [global (property.value short (the .#definitions module))] + (in (revised .#definitions + (|>> (property.has short {.#Alias [here local]}) + (property.has hidden global)) + module))) + (maybe.else module)))))) + lux)] + {.#Right [lux []]})))] + (in (list))))) + +(def without_replacement + (syntax (_ [[module short] ?code.global + hidden ?code.local]) + (do meta.monad + [_ (is (Meta Any) + (function (_ lux) + (let [lux (revised .#modules + (is (-> (property.List .Module) (property.List .Module)) + (property.revised module (is (-> .Module .Module) + (function (_ module) + (|> (do maybe.monad + [global (property.value hidden (the .#definitions module))] + (in (revised .#definitions + (|>> (property.has short global) + (property.lacks hidden)) + module))) + (maybe.else module)))))) + lux)] + {.#Right [lux []]})))] + (in (list))))) + +(def .public with + (syntax (_ [replacements (?code.tuple (?.some (?.and ?code.global ?code.any))) + declarations (?.some ?code.any)]) + (when (list.reversed replacements) + (list) + (in declarations) + + (list [global value]) + (do [! meta.monad] + [g!local (macro.symbol "g!local") + g!hidden (macro.symbol "g!hidden") + .let [[@ _] (symbol .._)]] + (in (list (` (def (, g!local) + (type_of (, (code.symbol global))) + (, value))) + (` ((.in_module# (, (code.text @)) ..with_replacement) (, (code.symbol global)) (, g!local) (, g!hidden))) + (` (these (,* declarations))) + (` ((.in_module# (, (code.text @)) ..without_replacement) (, (code.symbol global)) (, g!hidden)))))) + + (list.partial [global re_definition] tail) + (in (list (list#mix (function (_ [global re_definition] body) + (` (..with [(, (code.symbol global)) (, re_definition)] + (, body)))) + (` (..with [(, (code.symbol global)) (, re_definition)] + (,* declarations))) + tail)))))) diff --git a/stdlib/source/library/lux/world/net/http/cookie.lux b/stdlib/source/library/lux/world/net/http/cookie.lux index 5863b5bee..528da5899 100644 --- a/stdlib/source/library/lux/world/net/http/cookie.lux +++ b/stdlib/source/library/lux/world/net/http/cookie.lux @@ -1,49 +1,121 @@ +... https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Set-Cookie (.require [library - [lux (.except) - [control + [lux (.except has) + [abstract [monad (.only do)] + [equivalence (.only Equivalence)]] + [control ["[0]" try (.only Try)] - ["p" parser (.use "[1]#[0]" monad) - ["l" text (.only Parser)]]] + ["[0]" exception (.only Exception)] + ["?" parser (.use "[1]#[0]" monad)]] [data - [number - ["i" int]] - [text - ["%" \\format (.only format)]] - [format - ["[0]" context (.only Context)]] + ["[0]" text (.only) + ["%" \\format (.only format)] + ["?[1]" \\parser (.only Parser)]] [collection - ["[0]" dictionary]]] + ["[0]" dictionary (.only Dictionary)]]] + [math + [number + ["n" nat] + ["i" int]]] + [meta + [type + ["[0]" primitive (.only primitive)]]] [world - [time - ["[0]" duration (.only Duration)]]]]] - ["[0]" // (.only Header) - ["[0]" header]]) + ["[0]" time (.only) + ["[0]" day] + ["[0]" month] + ["[0]" year] + ["[0]" date] + ["[0]" instant (.only Instant)] + ["[0]" duration (.only Duration)]]]]]) + +(type .public (Cookie of) + (Record + [#name Text + #in (-> of + Text) + #out (-> Text + (Try of))])) -(type .public Directive - (-> Text Text)) +(def (digits/2 it) + (-> Nat + Text) + (if (n.< 10 it) + (format "0" (%.nat it)) + (%.nat it))) -(def (directive extension) - (-> Text Directive) - (function (_ so_far) - (format so_far "; " extension))) +... https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Date +(def (date it) + (-> Instant + Text) + (let [day (when (instant.day_of_week it) + {day.#Sunday} "Sun" + {day.#Monday} "Mon" + {day.#Tuesday} "Tue" + {day.#Wednesday} "Wed" + {day.#Thursday} "Thu" + {day.#Friday} "Fri" + {day.#Saturday} "Sat") + date (let [it (instant.date it) + day_of_month (digits/2 (date.day_of_month it)) + month (when (date.month it) + {month.#January} "Jan" + {month.#February} "Feb" + {month.#March} "Mar" + {month.#April} "Apr" + {month.#May} "May" + {month.#June} "Jun" + {month.#July} "Jul" + {month.#August} "Aug" + {month.#September} "Sep" + {month.#October} "Oct" + {month.#November} "Nov" + {month.#December} "Dec") + year (let [it (year.value (date.year it))] + (if (i.< +0 it) + (%.int it) + (%.nat (.nat it))))] + (format day_of_month " " month " " year)) + time (let [it (time.clock (instant.time it))] + (format (digits/2 (the time.#hour it)) + ":" (digits/2 (the time.#minute it)) + ":" (digits/2 (the time.#second it))))] + (format day ", " date " " time " GMT"))) -(def .public (set name value) - (-> Text Text Header) - (header.has "Set-Cookie" (format name "=" value))) +(type .public (Attribute of) + (-> (Cookie of) + (Cookie of))) + +(def separator "; ") + +(def (attribute extension it) + (-> Text + Attribute) + [#name (the #name it) + #in (function (_ value) + (format ((the #in it) value) ..separator extension)) + #out (the #out it)]) + +(def .public (expires when) + (-> Instant + Attribute) + (..attribute (format "Expires=" (date when)))) (def .public (max_age duration) - (-> Duration Directive) + (-> Duration + Attribute) (let [seconds (duration.ticks duration.second duration)] - (..directive (format "Max-Age=" (if (i.< +0 seconds) + (..attribute (format "Max-Age=" (if (i.< +0 seconds) (%.int seconds) (%.nat (.nat seconds))))))) (with_template [<name> <prefix>] [(def .public (<name> value) - (-> Text Directive) - (..directive (format <prefix> "=" value)))] + (-> Text + Attribute) + (..attribute (format <prefix> "=" value)))] [domain "Domain"] [path "Path"] @@ -51,41 +123,67 @@ (with_template [<name> <tag>] [(def .public <name> - Directive - (..directive <tag>))] + Attribute + (..attribute <tag>))] [secure "Secure"] [http_only "HttpOnly"] ) -(type .public CSRF_Policy - (Variant - {#Strict} - {#Lax})) - -(def .public (same_site policy) - (-> CSRF_Policy Directive) - (..directive (format "SameSite=" (when policy - {#Strict} "Strict" - {#Lax} "Lax")))) - -(def (cookie context) - (-> Context (Parser Context)) - (do p.monad - [key (l.slice (l.many! (l.none_of! "="))) - _ (l.this "=") - value (l.slice (l.many! (l.none_of! ";")))] - (in (dictionary.has key value context)))) - -(def (cookies context) - (-> Context (Parser Context)) - (all p.either - (do p.monad - [context' (..cookie context) - _ (l.this "; ")] - (cookies context')) - (p#in context))) - -(def .public (get header) - (-> Text (Try Context)) - (l.result header (..cookies context.empty))) +(primitive .public CSRF_Policy + Text + + (with_template [<name> <value>] + [(def .public <name> + CSRF_Policy + (primitive.abstraction <value>))] + + [strict "Strict"] + [lax "Lax"] + [none "None"]) + + (def .public (same_site policy) + (-> CSRF_Policy + Attribute) + (..attribute (format "SameSite=" (primitive.representation policy)))) + ) + +(type .public Jar + (Dictionary Text Text)) + +(def .public equivalence + (Equivalence Jar) + (dictionary.equivalence text.equivalence)) + +(def .public empty + Jar + (dictionary.empty text.hash)) + +(def .public (has cookie value jar) + (All (_ of) + (-> (Cookie of) of Jar + Jar)) + (dictionary.has (the #name cookie) ((the #in cookie) value) jar)) + +(exception.def .public (unknown [cookie]) + (All (_ of) + (Exception (Cookie of))) + (exception.report + (list ["Cookie" (%.text (the #name cookie))]))) + +(def .public (value cookie jar) + (All (_ of) + (-> (Cookie of) Jar + (Try of))) + (when (dictionary.value (the #name cookie) jar) + {.#Some it} + (let [value (when (text.split_by ..separator it) + {.#Some [before after]} + before + + {.#None} + it)] + ((the #out cookie) value)) + + {.#None} + (exception.except ..unknown [cookie]))) diff --git a/stdlib/source/library/lux/world/net/http/header.lux b/stdlib/source/library/lux/world/net/http/header.lux index 81c801924..9c8a75ff0 100644 --- a/stdlib/source/library/lux/world/net/http/header.lux +++ b/stdlib/source/library/lux/world/net/http/header.lux @@ -6,26 +6,25 @@ ["[0]" try (.only Try)] ["[0]" exception (.only Exception)]] [data - [text + ["[0]" text (.only) ["%" \\format]] [collection - ["[0]" dictionary]]] + ["[0]" list (.use "[1]#[0]" mix)] + ["[0]" dictionary (.only Dictionary)]]] [math [number - ["[0]" nat]]] - [world - ["[0]" environment - ["[1]" \\parser (.only Environment)]]]]] + ["[0]" nat]]]]] [// ["[0]" mime (.only MIME)] + ["[0]" cookie] [// (.only URL)]]) (type .public Headers - Environment) + (Dictionary Text Text)) (def .public empty Headers - environment.empty) + (dictionary.empty text.hash)) ... https://developer.mozilla.org/en-US/docs/Glossary/HTTP_header (type .public (Header of) @@ -50,6 +49,8 @@ {.#None} (exception.except ..unknown [(the #name header)]))) +(def separator ",") + (def .public (has header value) (All (_ of) (-> (Header of) of Headers @@ -60,7 +61,7 @@ ((the #in header) value) previous - (%.format previous "," ((the #in header) value)))))) + (%.format previous ..separator ((the #in header) value)))))) (def .public content_length (Header Nat) @@ -79,3 +80,25 @@ [#name "Location" #in (|>>) #out (|>> {try.#Success})]) + +(def assignment "=") + +(def .public set_cookies + (Header cookie.Jar) + [#name "Set-Cookie" + #in (|>> dictionary.entries + (list#mix (function (_ [name value] previous) + (when previous + "" (%.format name ..assignment value) + _ (%.format previous ..separator name ..assignment value))) + "")) + #out (|>> (text.all_split_by ..separator) + (list#mix (function (_ cookie jar) + (when (text.split_by ..assignment cookie) + {.#Some [name value]} + (dictionary.has name value jar) + + {.#None} + jar)) + cookie.empty) + {try.#Success})]) diff --git a/stdlib/source/test/lux/meta/global.lux b/stdlib/source/test/lux/meta/global.lux new file mode 100644 index 000000000..9ee42b9f9 --- /dev/null +++ b/stdlib/source/test/lux/meta/global.lux @@ -0,0 +1,40 @@ +(.require + [library + [lux (.except) + [abstract + [monad (.only do)]] + [math + ["[0]" random (.only Random)] + [number + ["n" nat]]] + [meta + ["[0]" static] + ["[0]" code]] + [test + ["_" property (.only Test)]]]] + [\\library + ["[0]" /]]) + +(with_expansions [<before> (static.random_nat) + <after> (static.random code.nat + (random.only (|>> (n.= <before>) not) random.nat))] + (def my_global + Nat + <before>) + + (/.with [..my_global <after>] + (def my_local + Nat + (n.+ my_global my_global))) + + (def .public test + Test + (<| (_.covering /._) + (do [! random.monad] + []) + (all _.and + (_.coverage [/.with] + (and (n.= (n.+ <after> <after>) my_local) + (not (n.= (n.+ <before> <before>) my_local)))) + ))) + ) diff --git a/stdlib/source/test/lux/test/tally.lux b/stdlib/source/test/lux/test/tally.lux index c1d43ad79..a0c511680 100644 --- a/stdlib/source/test/lux/test/tally.lux +++ b/stdlib/source/test/lux/test/tally.lux @@ -35,17 +35,17 @@ (n.= 0 (the /.#failures /.empty)) (n.= 0 (set.size (the /.#expected /.empty))) (n.= 0 (set.size (the /.#actual /.empty))))) - (_.coverage [/.success] + (_.coverage [/.success /.#successes] (and (n.= 1 (the /.#successes /.success)) (n.= 0 (the /.#failures /.success)) (n.= 0 (set.size (the /.#expected /.success))) (n.= 0 (set.size (the /.#actual /.success))))) - (_.coverage [/.failure] + (_.coverage [/.failure /.#failures] (and (n.= 0 (the /.#successes /.failure)) (n.= 1 (the /.#failures /.failure)) (n.= 0 (set.size (the /.#expected /.failure))) (n.= 0 (set.size (the /.#actual /.failure))))) - (_.coverage [/.and] + (_.coverage [/.and /.#expected /.#actual] (and (let [it (/.and /.success /.success)] (and (n.= 2 (the /.#successes it)) (n.= 0 (the /.#failures it)))) diff --git a/stdlib/source/test/lux/world/net.lux b/stdlib/source/test/lux/world/net.lux index 53788fd79..f9b3417ed 100644 --- a/stdlib/source/test/lux/world/net.lux +++ b/stdlib/source/test/lux/world/net.lux @@ -12,6 +12,7 @@ ["[0]" / ["[1][0]" http ["[1]/[0]" client] + ["[1]/[0]" cookie] ["[1]/[0]" header] ["[1]/[0]" status] ["[1]/[0]" version]] @@ -35,6 +36,7 @@ true) /http/client.test + /http/cookie.test /http/header.test /http/status.test /http/version.test diff --git a/stdlib/source/test/lux/world/net/http/cookie.lux b/stdlib/source/test/lux/world/net/http/cookie.lux new file mode 100644 index 000000000..8ce0ef756 --- /dev/null +++ b/stdlib/source/test/lux/world/net/http/cookie.lux @@ -0,0 +1,113 @@ +(.require + [library + [lux (.except) + [abstract + ["[0]" monad (.only do)] + [\\specification + ["[0]S" equivalence]]] + [control + ["|" pipe] + ["[0]" try (.use "[1]#[0]" functor)]] + [data + ["[0]" text (.use "[1]#[0]" equivalence)] + [collection + ["[0]" dictionary]]] + [math + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] + [\\library + ["[0]" /]]) + +(def .public (random cookies) + (-> (List (Ex (_ of) [(/.Cookie of) (Random of)])) + (Random /.Jar)) + (monad.mix random.monad + (function (_ [cookie random] jar) + (do random.monad + [value random] + (in (/.has cookie value jar)))) + /.empty + cookies)) + +(def .public test + Test + (<| (_.covering /._) + (do [! random.monad] + [name (random.upper_case 1) + fake_name (random.upper_case 2) + expected (random.lower_case 1) + .let [cookie (is (/.Cookie Text) + [/.#name name + /.#in (|>>) + /.#out (|>> {try.#Success})]) + fake_cookie (is (/.Cookie Text) + [/.#name fake_name + /.#in (|>>) + /.#out (|>> {try.#Success})])] + + duration random.duration + instant random.instant + domain (random.lower_case 2) + path (random.lower_case 3)]) + (_.for [/.Cookie /.#name /.#in /.#out]) + (all _.and + (_.for [/.equivalence] + (equivalenceS.spec /.equivalence (..random (list [cookie (random.lower_case 1)])))) + (_.for [/.Jar] + (all _.and + (_.coverage [/.empty] + (dictionary.empty? /.empty)) + (_.coverage [/.has /.value] + (|> /.empty + (/.has cookie expected) + (/.value cookie) + (try#each (text#= expected)) + (try.else false))) + (_.coverage [/.unknown] + (|> /.empty + (/.has cookie expected) + (/.value fake_cookie) + (|.when + {try.#Success _} false + {try.#Failure _} true))) + )) + (_.for [/.Attribute] + (`` (all _.and + (,, (with_template [<attribute> <value>] + [(_.coverage [<attribute>] + (|> /.empty + (/.has (<attribute> <value> cookie) expected) + (/.value cookie) + (try#each (text#= expected)) + (try.else false)))] + + [/.expires instant] + [/.max_age duration] + [/.domain domain] + [/.path path] + )) + (,, (with_template [<attribute>] + [(_.coverage [<attribute>] + (|> /.empty + (/.has (<attribute> cookie) expected) + (/.value cookie) + (try#each (text#= expected)) + (try.else false)))] + + [/.secure] + [/.http_only] + )) + (_.coverage [/.CSRF_Policy /.strict /.lax /.none /.same_site] + (let [uses_policy! (is (-> /.CSRF_Policy Bit) + (function (_ it) + (|> /.empty + (/.has (/.same_site it cookie) expected) + (/.value cookie) + (try#each (text#= expected)) + (try.else false))))] + (and (uses_policy! /.strict) + (uses_policy! /.lax) + (uses_policy! /.none)))) + ))) + ))) diff --git a/stdlib/source/test/lux/world/net/http/header.lux b/stdlib/source/test/lux/world/net/http/header.lux index 6a3c48a99..50b25f24b 100644 --- a/stdlib/source/test/lux/world/net/http/header.lux +++ b/stdlib/source/test/lux/world/net/http/header.lux @@ -18,7 +18,8 @@ [\\library ["[0]" / (.only) [// - ["[0]" mime (.use "[1]#[0]" equivalence)]]]]) + ["[0]" mime (.use "[1]#[0]" equivalence)] + ["[0]" cookie (.only Cookie)]]]]) (def .public test Test @@ -70,4 +71,19 @@ (/.one /.location) (try#each (text#= expected_location)) (try.else false))) + (do ! + [name (random.upper_case 1) + expected_value (random.lower_case 1) + .let [cookie (is (Cookie Text) + [cookie.#name name + cookie.#in (|>>) + cookie.#out (|>> {try.#Success})]) + expected_jar (|> cookie.empty + (cookie.has cookie expected_value))]] + (_.coverage [/.set_cookies] + (|> /.empty + (/.has /.set_cookies expected_jar) + (/.one /.set_cookies) + (try#each (at cookie.equivalence = expected_jar)) + (try.else false)))) ))) |