diff options
Diffstat (limited to 'stdlib/source/test/lux/world/net')
| -rw-r--r-- | stdlib/source/test/lux/world/net/http/cookie.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/lux/world/net/http/version.lux | 7 | ||||
| -rw-r--r-- | stdlib/source/test/lux/world/net/mime.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/test/lux/world/net/uri/query.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/lux/world/net/uri/scheme.lux | 7 |
5 files changed, 17 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/world/net/http/cookie.lux b/stdlib/source/test/lux/world/net/http/cookie.lux index 057da292b..ac1f9629a 100644 --- a/stdlib/source/test/lux/world/net/http/cookie.lux +++ b/stdlib/source/test/lux/world/net/http/cookie.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract ["[0]" monad (.only do)] - [\\specification - ["[0]S" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["|" pipe] ["[0]" try (.use "[1]#[0]" functor)]] @@ -53,7 +53,7 @@ (_.for [/.Cookie /.#name /.#in /.#out]) (all _.and (_.for [/.equivalence] - (equivalenceS.spec /.equivalence (..random (list [cookie (random.lower_cased 1)])))) + (equivalenceT.spec /.equivalence (..random (list [cookie (random.lower_cased 1)])))) (_.for [/.Jar] (all _.and (_.coverage [/.empty] diff --git a/stdlib/source/test/lux/world/net/http/version.lux b/stdlib/source/test/lux/world/net/http/version.lux index 0aa682b1a..5891f3768 100644 --- a/stdlib/source/test/lux/world/net/http/version.lux +++ b/stdlib/source/test/lux/world/net/http/version.lux @@ -4,8 +4,9 @@ [abstract [monad (.only do)] [\\specification - ["$[0]" equivalence] - ["$[0]" hash]]] + ["$[0]" hash]] + ["[0]" equivalence + ["[1]T" \\test]]] [data [collection ["[0]" list] @@ -36,7 +37,7 @@ (_.for [/.Version]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] ($hash.spec /.hash ..random)) diff --git a/stdlib/source/test/lux/world/net/mime.lux b/stdlib/source/test/lux/world/net/mime.lux index 30b34affc..18f6521c1 100644 --- a/stdlib/source/test/lux/world/net/mime.lux +++ b/stdlib/source/test/lux/world/net/mime.lux @@ -3,8 +3,9 @@ [lux (.except) [abstract [monad (.only do)] + ["[0]" equivalence + ["[1]T" \\test]] [\\specification - ["[0]S" equivalence] ["[0]S" hash]]] [data ["[0]" text (.only) @@ -157,7 +158,7 @@ (_.for [/.MIME]) (all _.and (_.for [/.equivalence] - (equivalenceS.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] (hashS.spec /.hash ..random)) diff --git a/stdlib/source/test/lux/world/net/uri/query.lux b/stdlib/source/test/lux/world/net/uri/query.lux index 4ac981426..dd48316e2 100644 --- a/stdlib/source/test/lux/world/net/uri/query.lux +++ b/stdlib/source/test/lux/world/net/uri/query.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["[0]S" equivalence]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" codec ["[1]T" \\test]]] [data @@ -35,7 +35,7 @@ (_.for [/.Query]) (all _.and (_.for [/.equivalence] - (equivalenceS.spec /.equivalence (..random 2))) + (equivalenceT.spec /.equivalence (..random 2))) (_.for [/.codec] (codecT.spec /.equivalence /.codec (..random 3))) diff --git a/stdlib/source/test/lux/world/net/uri/scheme.lux b/stdlib/source/test/lux/world/net/uri/scheme.lux index 66d51ea0d..200b0fce5 100644 --- a/stdlib/source/test/lux/world/net/uri/scheme.lux +++ b/stdlib/source/test/lux/world/net/uri/scheme.lux @@ -4,8 +4,9 @@ [abstract [monad (.only do)] [\\specification - ["$[0]" equivalence] - ["$[0]" hash]]] + ["$[0]" hash]] + ["[0]" equivalence + ["[1]T" \\test]]] [data [collection ["[0]" list] @@ -58,7 +59,7 @@ (_.for [/.Scheme]) (`` (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] ($hash.spec /.hash ..random)) |