aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source')
-rw-r--r--stdlib/source/library/lux/debug.lux2
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux53
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux2
-rw-r--r--stdlib/source/library/lux/meta/global.lux91
-rw-r--r--stdlib/source/library/lux/world/net/http/cookie.lux220
-rw-r--r--stdlib/source/library/lux/world/net/http/header.lux41
-rw-r--r--stdlib/source/test/lux/meta/global.lux40
-rw-r--r--stdlib/source/test/lux/test/tally.lux6
-rw-r--r--stdlib/source/test/lux/world/net.lux2
-rw-r--r--stdlib/source/test/lux/world/net/http/cookie.lux113
-rw-r--r--stdlib/source/test/lux/world/net/http/header.lux18
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))))
)))