aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux.lux10
-rw-r--r--stdlib/source/library/lux/meta/symbol.lux2
-rw-r--r--stdlib/source/library/lux/test.lux16
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux41
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux38
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/dependency.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux84
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/io/archive.lux25
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/packager.lux47
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux21
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux32
14 files changed, 203 insertions, 139 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 4ae552aba..8bd316fee 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -1501,11 +1501,15 @@
(-> Text Text Text)
("lux text concat" x y))
+(def:''' .private symbol_separator
+ Text
+ ".")
+
(def:''' .private (symbol#encoded full_name)
(-> Symbol Text)
(let' [[module name] full_name]
({"" name
- _ ($_ text#composite module "." name)}
+ _ ($_ text#composite module ..symbol_separator name)}
module)))
(def:''' .private (global_symbol full_name state)
@@ -2197,9 +2201,7 @@
(text#encoded value)
[_ {#Symbol [module name]}]
- (if (text#= "" module)
- name
- ($_ text#composite module "." name))
+ (symbol#encoded [module name])
[_ {#Form xs}]
($_ text#composite "(" (|> xs
diff --git a/stdlib/source/library/lux/meta/symbol.lux b/stdlib/source/library/lux/meta/symbol.lux
index 78ce3c3b8..b1848864d 100644
--- a/stdlib/source/library/lux/meta/symbol.lux
+++ b/stdlib/source/library/lux/meta/symbol.lux
@@ -39,7 +39,7 @@
(# text.order < shortP shortS)
(# text.order < moduleP moduleS))))
-(def: separator
+(def: .public separator
".")
(implementation: .public codec
diff --git a/stdlib/source/library/lux/test.lux b/stdlib/source/library/lux/test.lux
index 3b4203980..757400c9a 100644
--- a/stdlib/source/library/lux/test.lux
+++ b/stdlib/source/library/lux/test.lux
@@ -263,11 +263,13 @@
0 ..success_exit_code
_ ..failure_exit_code)))))
+(def: definition_separator " & ")
+
(def: (|cover'| coverage condition)
(-> (List Symbol) Bit Assertion)
(let [message (|> coverage
(list#each %.symbol)
- (text.interposed " & "))
+ (text.interposed ..definition_separator))
coverage (set.of_list symbol.hash coverage)]
(|> (..assertion message condition)
(async#each (function (_ [tally documentation])
@@ -283,7 +285,7 @@
(-> (List Symbol) Test Test)
(let [context (|> coverage
(list#each %.symbol)
- (text.interposed " & "))
+ (text.interposed ..definition_separator))
coverage (set.of_list symbol.hash coverage)]
(random#each (async#each (function (_ [tally documentation])
[(revised@ #actual_coverage (set.union coverage) tally)
@@ -354,7 +356,15 @@
(|> (..context module test)
(random#each (async#each (function (_ [tally documentation])
[(revised@ #expected_coverage (set.union coverage) tally)
- documentation]))))))
+ (`` (|> documentation
+ (~~ (template [<prefix>]
+ [(text.replaced (format <prefix> module symbol.separator) <prefix>)]
+
+ [..failure_prefix]
+ [..success_prefix]
+ [..definition_separator]
+ [..context_prefix]
+ ))))]))))))
(syntax: .public (covering [module <code>.symbol
test <code>.any])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
index bd202b113..1108cfbc4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
@@ -43,6 +43,8 @@
["[0]" dictionary {"+" Dictionary}]]]
[macro
["[0]" template]]
+ [meta
+ ["[0]" symbol]]
[math
[number
["n" nat]
@@ -143,7 +145,7 @@
... mark], and the short [after the mark]).
... There are also some extra rules regarding name syntax,
... encoded in the parser.
- ["." symbol_separator]
+ [symbol.separator symbol_separator]
)
(exception: .public (end_of_file [module Text])
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
index 3c6a9638b..3ff5019f9 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
@@ -11,42 +11,13 @@
["[0]" set {"+" Set}]]]
[math
[number
- ["[0]" nat]]]]])
+ ["[0]" nat]]]]]
+ ["[0]" / "_"
+ ["[1][0]" category {"+" Category}]])
(type: .public ID
Nat)
-(type: .public Category
- (Variant
- {#Anonymous}
- {#Definition Text}
- {#Analyser Text}
- {#Synthesizer Text}
- {#Generator Text}
- {#Directive Text}
- {#Custom Text}))
-
-(implementation: category_equivalence
- (Equivalence Category)
-
- (def: (= left right)
- (case [left right]
- [{#Anonymous} {#Anonymous}]
- true
-
- (^template [<tag>]
- [[{<tag> left} {<tag> right}]
- (text#= left right)])
- ([#Definition]
- [#Analyser]
- [#Synthesizer]
- [#Generator]
- [#Directive]
- [#Custom])
-
- _
- false)))
-
(type: .public Dependency
[Nat ID])
@@ -61,14 +32,12 @@
(Record
[#id ID
#category Category
- #mandatory? Bit
- #dependencies (Set Dependency)]))
+ #mandatory? Bit]))
(def: .public equivalence
(Equivalence Artifact)
($_ product.equivalence
nat.equivalence
- ..category_equivalence
+ /category.equivalence
bit.equivalence
- set.equivalence
))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux
new file mode 100644
index 000000000..8286af9a8
--- /dev/null
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux
@@ -0,0 +1,38 @@
+(.using
+ [library
+ [lux "*"
+ [abstract
+ [equivalence {"+" Equivalence}]]
+ [data
+ ["[0]" text ("[1]#[0]" equivalence)]]]])
+
+(type: .public Category
+ (Variant
+ {#Anonymous}
+ {#Definition Text}
+ {#Analyser Text}
+ {#Synthesizer Text}
+ {#Generator Text}
+ {#Directive Text}
+ {#Custom Text}))
+
+(implementation: .public equivalence
+ (Equivalence Category)
+
+ (def: (= left right)
+ (case [left right]
+ [{#Anonymous} {#Anonymous}]
+ true
+
+ (^template [<tag>]
+ [[{<tag> left} {<tag> right}]
+ (text#= left right)])
+ ([#Definition]
+ [#Analyser]
+ [#Synthesizer]
+ [#Generator]
+ [#Directive]
+ [#Custom])
+
+ _
+ false)))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/dependency.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/dependency.lux
index 1e6613015..9d04addde 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/dependency.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/dependency.lux
@@ -197,10 +197,10 @@
(value@ descriptor.#registry)
registry.artifacts
sequence.list
- (list#each (function (_ artifact)
+ (list#each (function (_ [artifact dependencies])
[[module_id (value@ artifact.#id artifact)]
(value@ artifact.#mandatory? artifact)
- (value@ artifact.#dependencies artifact)])))))
+ dependencies])))))
list.together
(list#mix (function (_ [artifact_id mandatory? dependencies]
[mandatory_dependencies
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
index 3005c2e0d..9b8e1e38a 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
@@ -22,11 +22,12 @@
[type
abstract]]]
["[0]" // "_"
- ["[1]" artifact {"+" Dependency Category Artifact ID}]])
+ ["[1]" artifact {"+" Dependency Artifact ID}
+ ["[2][0]" category {"+" Category}]]])
(abstract: .public Registry
(Record
- [#artifacts (Sequence Artifact)
+ [#artifacts (Sequence [Artifact (Set Dependency)])
#resolver (Dictionary Text ID)])
(def: .public empty
@@ -35,7 +36,7 @@
#resolver (dictionary.empty text.hash)]))
(def: .public artifacts
- (-> Registry (Sequence Artifact))
+ (-> Registry (Sequence [Artifact (Set Dependency)]))
(|>> :representation (value@ #artifacts)))
(def: next
@@ -48,10 +49,10 @@
[id
(|> registry
:representation
- (revised@ #artifacts (sequence.suffix [//.#id id
- //.#category {//.#Anonymous}
- //.#mandatory? mandatory?
- //.#dependencies dependencies]))
+ (revised@ #artifacts (sequence.suffix [[//.#id id
+ //.#category {//category.#Anonymous}
+ //.#mandatory? mandatory?]
+ dependencies]))
:abstraction)]))
(template [<tag> <create> <fetch>]
@@ -61,10 +62,10 @@
[id
(|> registry
:representation
- (revised@ #artifacts (sequence.suffix [//.#id id
- //.#category {<tag> name}
- //.#mandatory? mandatory?
- //.#dependencies dependencies]))
+ (revised@ #artifacts (sequence.suffix [[//.#id id
+ //.#category {<tag> name}
+ //.#mandatory? mandatory?]
+ dependencies]))
(revised@ #resolver (dictionary.has name id))
:abstraction)]))
@@ -74,16 +75,17 @@
:representation
(value@ #artifacts)
sequence.list
- (list.all (|>> (value@ //.#category)
+ (list.all (|>> product.left
+ (value@ //.#category)
(case> {<tag> name} {.#Some name}
_ {.#None})))))]
- [//.#Definition definition definitions]
- [//.#Analyser analyser analysers]
- [//.#Synthesizer synthesizer synthesizers]
- [//.#Generator generator generators]
- [//.#Directive directive directives]
- [//.#Custom custom customs]
+ [//category.#Definition definition definitions]
+ [//category.#Analyser analyser analysers]
+ [//category.#Synthesizer synthesizer synthesizers]
+ [//category.#Generator generator generators]
+ [//category.#Directive directive directives]
+ [//category.#Custom custom customs]
)
(def: .public (remember name registry)
@@ -100,13 +102,13 @@
(^template [<nat> <tag> <writer>]
[{<tag> value}
((binary.and binary.nat <writer>) [<nat> value])])
- ([0 //.#Anonymous binary.any]
- [1 //.#Definition binary.text]
- [2 //.#Analyser binary.text]
- [3 //.#Synthesizer binary.text]
- [4 //.#Generator binary.text]
- [5 //.#Directive binary.text]
- [6 //.#Custom binary.text]))))
+ ([0 //category.#Anonymous binary.any]
+ [1 //category.#Definition binary.text]
+ [2 //category.#Analyser binary.text]
+ [3 //category.#Synthesizer binary.text]
+ [4 //category.#Generator binary.text]
+ [5 //category.#Directive binary.text]
+ [6 //category.#Custom binary.text]))))
mandatory? binary.bit
dependency (: (Writer Dependency)
(binary.and binary.nat binary.nat))
@@ -116,10 +118,10 @@
(binary.sequence/64 ($_ binary.and category mandatory? dependencies)))]
(|>> :representation
(value@ #artifacts)
- (sequence#each (function (_ it)
+ (sequence#each (function (_ [it dependencies])
[(value@ //.#category it)
(value@ //.#mandatory? it)
- (value@ //.#dependencies it)]))
+ dependencies]))
artifacts)))
(exception: .public (invalid_category [tag Nat])
@@ -135,13 +137,13 @@
(^template [<nat> <tag> <parser>]
[<nat>
(# ! each (|>> {<tag>}) <parser>)])
- ([0 //.#Anonymous <binary>.any]
- [1 //.#Definition <binary>.text]
- [2 //.#Analyser <binary>.text]
- [3 //.#Synthesizer <binary>.text]
- [4 //.#Generator <binary>.text]
- [5 //.#Directive <binary>.text]
- [6 //.#Custom <binary>.text])
+ ([0 //category.#Anonymous <binary>.any]
+ [1 //category.#Definition <binary>.text]
+ [2 //category.#Analyser <binary>.text]
+ [3 //category.#Synthesizer <binary>.text]
+ [4 //category.#Generator <binary>.text]
+ [5 //category.#Directive <binary>.text]
+ [6 //category.#Custom <binary>.text])
_ (<>.failure (exception.error ..invalid_category [tag])))))
mandatory? <binary>.bit
@@ -153,18 +155,18 @@
(# <>.monad each (sequence#mix (function (_ [category mandatory? dependencies] registry)
(product.right
(case category
- {//.#Anonymous}
+ {//category.#Anonymous}
(..resource mandatory? dependencies registry)
(^template [<tag> <create>]
[{<tag> name}
(<create> name mandatory? dependencies registry)])
- ([//.#Definition ..definition]
- [//.#Analyser ..analyser]
- [//.#Synthesizer ..synthesizer]
- [//.#Generator ..generator]
- [//.#Directive ..directive]
- [//.#Custom ..custom])
+ ([//category.#Definition ..definition]
+ [//category.#Analyser ..analyser]
+ [//category.#Synthesizer ..synthesizer]
+ [//category.#Generator ..generator]
+ [//category.#Directive ..directive]
+ [//category.#Custom ..custom])
)))
..empty)))))
)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
index 46d3d65cf..b5fae7763 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
@@ -22,7 +22,7 @@
["[0]" list ("[1]#[0]" functor mix)]
["[0]" dictionary {"+" Dictionary}]
["[0]" sequence {"+" Sequence}]
- ["[0]" set]]]
+ ["[0]" set {"+" Set}]]]
[math
[number
["n" nat]]]
@@ -36,10 +36,11 @@
["[1][0]" context]
["/[1]" //
["[0]" archive {"+" Output Archive}
- ["[0]" artifact {"+" Artifact}]
["[0]" registry]
["[0]" descriptor {"+" Module Descriptor}]
- ["[0]" document {"+" Document}]]
+ ["[0]" document {"+" Document}]
+ ["[0]" artifact {"+" Artifact Dependency}
+ ["[0]" category {"+" Category}]]]
[cache
["[0]" dependency]]
["/[1]" // {"+" Input}
@@ -213,7 +214,7 @@
(def: (loaded_document extension host module_id expected actual document)
(All (_ expression directive)
- (-> Text (generation.Host expression directive) archive.ID (Sequence Artifact) (Dictionary Text Binary) (Document .Module)
+ (-> Text (generation.Host expression directive) archive.ID (Sequence [Artifact (Set Dependency)]) (Dictionary Text Binary) (Document .Module)
(Try [(Document .Module) Bundles Output])))
(do [! try.monad]
[[definitions bundles] (: (Try [Definitions Bundles Output])
@@ -224,13 +225,13 @@
output (: Output sequence.empty)]
(let [[analysers synthesizers generators directives] bundles]
(case input
- {.#Item [[artifact_id artifact_category mandatory_artifact? artifact_dependencies] input']}
+ {.#Item [[[artifact_id artifact_category mandatory_artifact?] artifact_dependencies] input']}
(case (do !
[data (try.of_maybe (dictionary.value (format (%.nat artifact_id) extension) actual))
.let [context [module_id artifact_id]
directive (# host ingest context data)]]
(case artifact_category
- {artifact.#Anonymous}
+ {category.#Anonymous}
(do !
[.let [output (sequence.suffix [artifact_id {.#None} data] output)]
_ (# host re_learn context {.#None} directive)]
@@ -241,7 +242,7 @@
directives]
output]))
- {artifact.#Definition name}
+ {category.#Definition name}
(let [output (sequence.suffix [artifact_id {.#None} data] output)]
(if (text#= $/program.name name)
(in [definitions
@@ -259,7 +260,7 @@
directives]
output]))))
- {artifact.#Analyser extension}
+ {category.#Analyser extension}
(do !
[.let [output (sequence.suffix [artifact_id {.#None} data] output)]
value (# host re_load context {.#None} directive)]
@@ -270,7 +271,7 @@
directives]
output]))
- {artifact.#Synthesizer extension}
+ {category.#Synthesizer extension}
(do !
[.let [output (sequence.suffix [artifact_id {.#None} data] output)]
value (# host re_load context {.#None} directive)]
@@ -281,7 +282,7 @@
directives]
output]))
- {artifact.#Generator extension}
+ {category.#Generator extension}
(do !
[.let [output (sequence.suffix [artifact_id {.#None} data] output)]
value (# host re_load context {.#None} directive)]
@@ -292,7 +293,7 @@
directives]
output]))
- {artifact.#Directive extension}
+ {category.#Directive extension}
(do !
[.let [output (sequence.suffix [artifact_id {.#None} data] output)]
value (# host re_load context {.#None} directive)]
@@ -303,7 +304,7 @@
(dictionary.has extension (:as directive.Handler value) directives)]
output]))
- {artifact.#Custom name}
+ {category.#Custom name}
(do !
[.let [output (sequence.suffix [artifact_id {.#Some name} data] output)]
_ (# host re_learn context {.#Some name} directive)]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager.lux b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
index b8319015f..d434c4603 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
@@ -1,27 +1,28 @@
(.using
- [library
- [lux "*"
- [control
- [try {"+" Try}]]
- [data
- [binary {"+" Binary}]
- [collection
- [dictionary {"+" Dictionary}]
- ["[0]" sequence]
- ["[0]" list ("[1]#[0]" functor)]]]
- [world
- ["[0]" file]]]]
+ [library
+ [lux "*"
+ [control
+ [try {"+" Try}]]
+ [data
+ [binary {"+" Binary}]
+ ["[0]" product]
+ [collection
+ [dictionary {"+" Dictionary}]
+ ["[0]" sequence]
+ ["[0]" list ("[1]#[0]" functor)]]]
+ [world
+ ["[0]" file]]]]
+ [//
+ [cache
+ ["[0]" dependency]]
+ ["[0]" archive {"+" Archive}
+ ["[0]" descriptor]
+ ["[0]" artifact]
+ ["[0]" registry]]
[//
- [cache
- ["[0]" dependency]]
- ["[0]" archive {"+" Archive}
- ["[0]" descriptor]
- ["[0]" artifact]
- ["[0]" registry]]
- [//
- [language
- [lux
- [generation {"+" Context}]]]]])
+ [language
+ [lux
+ [generation {"+" Context}]]]]])
(type: .public Packager
(-> (Dictionary file.Path Binary)
@@ -40,5 +41,5 @@
(value@ descriptor.#registry)
registry.artifacts
sequence.list
- (list#each (|>> (value@ artifact.#id)))
+ (list#each (|>> product.left (value@ artifact.#id)))
[module_id]))))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
index 85a701185..e5eb0c0f5 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
@@ -43,11 +43,17 @@
expected_text (random.ascii/lower 2)
expected_lefts random.nat
- expected_right? random.bit])
+ expected_right? random.bit
+
+ left ..random
+ right ..random])
(`` ($_ _.and
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
+ (_.cover [/.format]
+ (bit#= (# /.equivalence = left right)
+ (text#= (/.format left) (/.format right))))
(_.cover [/.unit]
(case (/.unit)
(^ (/.unit))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux
index 517d5eb57..ab2af87eb 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux
@@ -257,6 +257,16 @@
_
false))))
+ (_.cover [/.up]
+ (|> (do phase.monad
+ []
+ (in expected))
+ (: (/.Operation Int Nat Nat Nat))
+ /.up
+ (: (phase.Operation Int Nat))
+ (# phase.functor each (same? expected))
+ (phase.result state)
+ (try.else false)))
))
(_.for [/.State]
..test|state)
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux
index b241b0c46..2bb161796 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux
@@ -6,22 +6,12 @@
[\\specification
["$[0]" equivalence]]]
[math
- ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
+ ["[0]" random {"+" Random}]]]]
+ ["[0]" / "_"
+ ["[1][0]" category]]
[\\library
["[0]" /]])
-(def: random_category
- (Random /.Category)
- ($_ random.or
- (random#in [])
- (random.ascii/lower 1)
- (random.ascii/lower 2)
- (random.ascii/lower 3)
- (random.ascii/lower 4)
- (random.ascii/lower 5)
- (random.ascii/lower 6)
- ))
-
(def: random_dependency
(Random /.Dependency)
($_ random.and
@@ -33,9 +23,8 @@
(Random /.Artifact)
($_ random.and
random.nat
- ..random_category
+ /category.random
random.bit
- (random.set /.dependency_hash 5 ..random_dependency)
))
(def: .public test
@@ -45,4 +34,6 @@
($_ _.and
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
+
+ /category.test
)))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux
new file mode 100644
index 000000000..8f31cca51
--- /dev/null
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux
@@ -0,0 +1,32 @@
+(.using
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [\\specification
+ ["$[0]" equivalence]]]
+ [math
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
+ [\\library
+ ["[0]" /]])
+
+(def: .public random
+ (Random /.Category)
+ ($_ random.or
+ (random#in [])
+ (random.ascii/lower 1)
+ (random.ascii/lower 2)
+ (random.ascii/lower 3)
+ (random.ascii/lower 4)
+ (random.ascii/lower 5)
+ (random.ascii/lower 6)
+ ))
+
+(def: .public test
+ Test
+ (<| (_.covering /._)
+ (_.for [/.Category])
+ ($_ _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
+ )))