aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux116
1 files changed, 58 insertions, 58 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux
index 182b127f4..289ab40fd 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux
@@ -37,62 +37,62 @@
key/1 (/key.key signature/1 0)]
expected random.nat]
(all _.and
- (_.cover [/.document /.content]
- (|> expected
- (/.document key/0)
- (/.content key/0)
- (try#each (same? expected))
- (try.else false)))
- (_.cover [/.signature]
- (|> expected
- (/.document key/0)
- /.signature
- (same? signature/0)))
- (_.cover [/.marked?]
- (and (|> expected
- (/.document key/0)
- (/.marked? key/0)
- (pipe.case
- {try.#Success it} true
- {try.#Failure error} false))
- (|> expected
- (/.document key/0)
- (/.marked? key/1)
- (pipe.case
- {try.#Success it} false
- {try.#Failure error} true))))
- (_.cover [/.invalid_signature]
- (and (|> expected
- (/.document key/0)
- (/.content key/1)
- (pipe.case
- {try.#Success it}
- false
-
- {try.#Failure error}
- (exception.match? /.invalid_signature error)))
- (|> expected
- (/.document key/0)
- (/.marked? key/1)
- (pipe.case
- {try.#Success it}
- false
-
- {try.#Failure error}
- (exception.match? /.invalid_signature error)))))
- (_.cover [/.writer /.parser]
- (|> expected
- (/.document key/0)
- (binaryF.result (/.writer binaryF.nat))
- (<binary>.result (/.parser key/0 <binary>.nat))
- (pipe.case
- {try.#Success it}
- (and (/signature#= signature/0 (/.signature it))
- (|> it
- (/.content key/0)
- (try#each (nat.= expected))
- (try.else false)))
-
- {try.#Failure error}
- false)))
+ (_.coverage [/.document /.content]
+ (|> expected
+ (/.document key/0)
+ (/.content key/0)
+ (try#each (same? expected))
+ (try.else false)))
+ (_.coverage [/.signature]
+ (|> expected
+ (/.document key/0)
+ /.signature
+ (same? signature/0)))
+ (_.coverage [/.marked?]
+ (and (|> expected
+ (/.document key/0)
+ (/.marked? key/0)
+ (pipe.case
+ {try.#Success it} true
+ {try.#Failure error} false))
+ (|> expected
+ (/.document key/0)
+ (/.marked? key/1)
+ (pipe.case
+ {try.#Success it} false
+ {try.#Failure error} true))))
+ (_.coverage [/.invalid_signature]
+ (and (|> expected
+ (/.document key/0)
+ (/.content key/1)
+ (pipe.case
+ {try.#Success it}
+ false
+
+ {try.#Failure error}
+ (exception.match? /.invalid_signature error)))
+ (|> expected
+ (/.document key/0)
+ (/.marked? key/1)
+ (pipe.case
+ {try.#Success it}
+ false
+
+ {try.#Failure error}
+ (exception.match? /.invalid_signature error)))))
+ (_.coverage [/.writer /.parser]
+ (|> expected
+ (/.document key/0)
+ (binaryF.result (/.writer binaryF.nat))
+ (<binary>.result (/.parser key/0 <binary>.nat))
+ (pipe.case
+ {try.#Success it}
+ (and (/signature#= signature/0 (/.signature it))
+ (|> it
+ (/.content key/0)
+ (try#each (nat.= expected))
+ (try.else false)))
+
+ {try.#Failure error}
+ false)))
))))