diff options
Diffstat (limited to 'stdlib/source/test/lux/control/parser/binary.lux')
-rw-r--r-- | stdlib/source/test/lux/control/parser/binary.lux | 68 |
1 files changed, 34 insertions, 34 deletions
diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux index 41d2cec10..f2198c2d5 100644 --- a/stdlib/source/test/lux/control/parser/binary.lux +++ b/stdlib/source/test/lux/control/parser/binary.lux @@ -56,8 +56,8 @@ (def: (utf8_conversion_does_not_alter? value) (Predicate Text) (|> value - (# utf8.codec encoded) - (# utf8.codec decoded) + (at utf8.codec encoded) + (at utf8.codec decoded) (pipe.case {try.#Success converted} (text#= value converted) @@ -95,7 +95,7 @@ (random.rec (function (_ again) (let [random_sequence (do [! random.monad] - [size (# ! each (n.% 2) random.nat)] + [size (at ! each (n.% 2) random.nat)] (random.list size again))] (all random.and ..random_location @@ -128,8 +128,8 @@ (`` (all _.and (~~ (template [<size> <parser> <format>] [(do [! random.monad] - [expected (# ! each (i64.and (i64.mask <size>)) - random.nat)] + [expected (at ! each (i64.and (i64.mask <size>)) + random.nat)] (_.coverage [<size> <parser> <format>] (|> (format.result <format> expected) (/.result <parser>) @@ -148,12 +148,12 @@ (`` (all _.and (~~ (template [<parser> <format>] [(do [! random.monad] - [expected (# ! each (# utf8.codec encoded) (random.ascii ..segment_size))] + [expected (at ! each (at utf8.codec encoded) (random.ascii ..segment_size))] (_.coverage [<parser> <format>] (|> (format.result <format> expected) (/.result <parser>) (!expect (^.multi {try.#Success actual} - (# binary.equivalence = expected actual))))))] + (at binary.equivalence = expected actual))))))] [/.binary_8 format.binary_8] [/.binary_16 format.binary_16] @@ -171,7 +171,7 @@ (|> (format.result <format> expected) (/.result <parser>) (!expect (^.multi {try.#Success actual} - (# text.equivalence = expected actual))))))] + (at text.equivalence = expected actual))))))] [/.utf8_8 format.utf8_8] [/.utf8_16 format.utf8_16] @@ -191,7 +191,7 @@ (format.result (<format> format.nat)) (/.result (<parser> /.nat)) (!expect (^.multi {try.#Success actual} - (# (sequence.equivalence n.equivalence) = expected actual))))))] + (at (sequence.equivalence n.equivalence) = expected actual))))))] [/.sequence_8 format.sequence_8] [/.sequence_16 format.sequence_16] @@ -210,7 +210,7 @@ (format.result <format>) (/.result <parser>) (!expect (^.multi {try.#Success actual} - (# <equivalence> = expected actual))))))] + (at <equivalence> = expected actual))))))] [/.bit format.bit random.bit bit.equivalence] [/.nat format.nat random.nat n.equivalence] @@ -223,13 +223,13 @@ (format.result format.frac) (/.result /.frac) (!expect (^.multi {try.#Success actual} - (or (# frac.equivalence = expected actual) + (or (at frac.equivalence = expected actual) (and (frac.not_a_number? expected) (frac.not_a_number? actual)))))))) (do [! random.monad] - [expected (# ! each (|>> (i64.and (i64.mask /.size_8)) - (n.max 2)) - random.nat)] + [expected (at ! each (|>> (i64.and (i64.mask /.size_8)) + (n.max 2)) + random.nat)] (_.coverage [/.not_a_bit] (|> expected (format.result format.bits_8) @@ -249,7 +249,7 @@ (format.result <format>) (/.result <parser>) (!expect (^.multi {try.#Success actual} - (# <equivalence> = expected actual))))))] + (at <equivalence> = expected actual))))))] [/.location format.location random_location location_equivalence] [/.code format.code random_code code.equivalence] @@ -263,14 +263,14 @@ (format.result <format>) (/.result <parser>) (!expect (^.multi {try.#Success actual} - (# <equivalence> = expected actual))))))] + (at <equivalence> = expected actual))))))] [/.maybe (/.maybe /.nat) format.maybe (format.maybe format.nat) (random.maybe random.nat) (maybe.equivalence n.equivalence)] [/.list (/.list /.nat) format.list (format.list format.nat) (random.list ..segment_size random.nat) (list.equivalence n.equivalence)] [/.set (/.set n.hash /.nat) format.set (format.set format.nat) (random.set n.hash ..segment_size random.nat) set.equivalence] [/.symbol /.symbol format.symbol format.symbol ..random_symbol symbol.equivalence])) (do [! random.monad] - [expected (# ! each (list.repeated ..segment_size) random.nat)] + [expected (at ! each (list.repeated ..segment_size) random.nat)] (_.coverage [/.set_elements_are_not_unique] (|> expected (format.result (format.list format.nat)) @@ -285,13 +285,13 @@ (/.result (is (/.Parser (Either Bit Nat)) (/.or /.bit /.nat))) (!expect (^.multi {try.#Success actual} - (# (sum.equivalence bit.equivalence n.equivalence) = - expected - actual)))))) + (at (sum.equivalence bit.equivalence n.equivalence) = + expected + actual)))))) (do [! random.monad] - [tag (# ! each (|>> (i64.and (i64.mask /.size_8)) - (n.max 2)) - random.nat) + [tag (at ! each (|>> (i64.and (i64.mask /.size_8)) + (n.max 2)) + random.nat) value random.bit] (_.coverage [/.invalid_tag] (|> [tag value] @@ -313,9 +313,9 @@ (<>.and /.nat again)))))) (!expect (^.multi {try.#Success actual} - (# (list.equivalence n.equivalence) = - expected - actual)))))) + (at (list.equivalence n.equivalence) = + expected + actual)))))) ))) (def: .public test @@ -329,22 +329,22 @@ (/.result /.any) (!expect {try.#Success _}))) (do [! random.monad] - [data (# ! each (# utf8.codec encoded) (random.ascii ..segment_size))] + [data (at ! each (at utf8.codec encoded) (random.ascii ..segment_size))] (_.coverage [/.binary_was_not_fully_read] (|> data (/.result /.any) (!expect (^.multi {try.#Failure error} (exception.match? /.binary_was_not_fully_read error)))))) (do [! random.monad] - [expected (# ! each (# utf8.codec encoded) (random.ascii ..segment_size))] + [expected (at ! each (at utf8.codec encoded) (random.ascii ..segment_size))] (_.coverage [/.segment format.segment format.result] (|> expected (format.result (format.segment ..segment_size)) (/.result (/.segment ..segment_size)) (!expect (^.multi {try.#Success actual} - (# binary.equivalence = expected actual)))))) + (at binary.equivalence = expected actual)))))) (do [! random.monad] - [data (# ! each (# utf8.codec encoded) (random.ascii ..segment_size))] + [data (at ! each (at utf8.codec encoded) (random.ascii ..segment_size))] (_.coverage [/.end?] (|> data (/.result (do <>.monad @@ -355,8 +355,8 @@ post)))) (!expect {try.#Success #1})))) (do [! random.monad] - [to_read (# ! each (n.% (++ ..segment_size)) random.nat) - data (# ! each (# utf8.codec encoded) (random.ascii ..segment_size))] + [to_read (at ! each (n.% (++ ..segment_size)) random.nat) + data (at ! each (at utf8.codec encoded) (random.ascii ..segment_size))] (_.coverage [/.Offset /.offset] (|> data (/.result (do <>.monad @@ -370,8 +370,8 @@ (n.= ..segment_size nothing_left))))) (!expect {try.#Success #1})))) (do [! random.monad] - [to_read (# ! each (n.% (++ ..segment_size)) random.nat) - data (# ! each (# utf8.codec encoded) (random.ascii ..segment_size))] + [to_read (at ! each (n.% (++ ..segment_size)) random.nat) + data (at ! each (at utf8.codec encoded) (random.ascii ..segment_size))] (_.coverage [/.remaining] (|> data (/.result (do <>.monad |