From 63dec2e80905100ae2b48ada1d4e0d675338d00f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 13 Jun 2022 07:40:50 -0400 Subject: De-sigil-ification: suffix : [Part 7] --- stdlib/source/test/lux/control/concatenative.lux | 323 +++++++++++------------ 1 file changed, 161 insertions(+), 162 deletions(-) (limited to 'stdlib/source/test') diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux index 354cc744a..4092dbd0d 100644 --- a/stdlib/source/test/lux/control/concatenative.lux +++ b/stdlib/source/test/lux/control/concatenative.lux @@ -17,7 +17,7 @@ ["r" rev] ["f" frac]]]]] [\\library - ["[0]" / (.only word: => ||>)]]) + ["[0]" / (.only =>)]]) (def: stack_shuffling Test @@ -27,68 +27,68 @@ (`` (all _.and (_.coverage [/.push] (n.= sample - (||> (/.push sample)))) + (/.value (/.push sample)))) (_.coverage [/.drop] (n.= sample - (||> (/.push sample) - (/.push dummy) - /.drop))) + (/.value (|>> (/.push sample) + (/.push dummy) + /.drop)))) (_.coverage [/.nip] (n.= sample - (||> (/.push dummy) - (/.push sample) - /.nip))) + (/.value (|>> (/.push dummy) + (/.push sample) + /.nip)))) (_.coverage [/.dup] - (||> (/.push sample) - /.dup - /.n/=)) + (/.value (|>> (/.push sample) + /.dup + /.n/=))) (_.coverage [/.swap] (n.= sample - (||> (/.push sample) - (/.push dummy) - /.swap))) - (_.coverage [/.rotL] + (/.value (|>> (/.push sample) + (/.push dummy) + /.swap)))) + (_.coverage [/.left_rotation] (n.= sample - (||> (/.push sample) - (/.push dummy) - (/.push dummy) - /.rotL))) - (_.coverage [/.rotR] + (/.value (|>> (/.push sample) + (/.push dummy) + (/.push dummy) + /.left_rotation)))) + (_.coverage [/.right_rotation] (n.= sample - (||> (/.push dummy) - (/.push sample) - (/.push dummy) - /.rotR))) + (/.value (|>> (/.push dummy) + (/.push sample) + (/.push dummy) + /.right_rotation)))) (_.coverage [/.&&] - (let [[left right] (||> (/.push sample) - (/.push dummy) - /.&&)] + (let [[left right] (/.value (|>> (/.push sample) + (/.push dummy) + /.&&))] (and (n.= sample left) (n.= dummy right)))) (~~ (with_template [ ] [(_.coverage [] ((sum.equivalence n.= n.=) { sample} - (||> (/.push sample) - )))] + (/.value (|>> (/.push sample) + ))))] - [/.||L .#Left] - [/.||R .#Right])) + [/.left .#Left] + [/.right .#Right])) (_.coverage [/.dip] (n.= (++ sample) - (||> (/.push sample) - (/.push dummy) - (/.push (/.apply_1 ++)) - /.dip - /.drop))) + (/.value (|>> (/.push sample) + (/.push dummy) + (/.push (/.apply_1 ++)) + /.dip + /.drop)))) (_.coverage [/.dip_2] (n.= (++ sample) - (||> (/.push sample) - (/.push dummy) - (/.push dummy) - (/.push (/.apply_1 ++)) - /.dip_2 - /.drop /.drop))) + (/.value (|>> (/.push sample) + (/.push dummy) + (/.push dummy) + (/.push (/.apply_1 ++)) + /.dip_2 + /.drop /.drop)))) )))) (def: !numerical @@ -103,17 +103,17 @@ (~~ (with_template [ ] [(_.coverage [] (<=> ( parameter subject) - (||> (/.push subject) - (/.push parameter) - )))] + (/.value (|>> (/.push subject) + (/.push parameter) + ))))] ')) (~~ (with_template [ ] [(_.coverage [] (bit#= ( parameter subject) - (||> (/.push subject) - (/.push parameter) - )))] + (/.value (|>> (/.push subject) + (/.push parameter) + ))))] ')) )))))])) @@ -149,167 +149,166 @@ (all _.and (_.coverage [/.call /.apply_1] (n.= (++ sample) - (||> (/.push sample) - (/.push (/.apply_1 ++)) - /.call))) + (/.value (|>> (/.push sample) + (/.push (/.apply_1 ++)) + /.call)))) (_.coverage [/.apply_2] (n.= (n.+ sample sample) - (||> (/.push sample) - (/.push sample) - (/.push (/.apply_2 n.+)) - /.call))) + (/.value (|>> (/.push sample) + (/.push sample) + (/.push (/.apply_2 n.+)) + /.call)))) (_.coverage [/.apply_3] (n.= (all n.+ sample sample sample) - (||> (/.push sample) - (/.push sample) - (/.push sample) - (/.push (/.apply_3 (function (_ i0 i1 i2) - (all n.+ i0 i1 i2)))) - /.call))) + (/.value (|>> (/.push sample) + (/.push sample) + (/.push sample) + (/.push (/.apply_3 (function (_ i0 i1 i2) + (all n.+ i0 i1 i2)))) + /.call)))) (_.coverage [/.apply_4] (n.= (all n.+ sample sample sample sample) - (||> (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push (/.apply_4 (function (_ i0 i1 i2 i3) - (all n.+ i0 i1 i2 i3)))) - /.call))) + (/.value (|>> (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push (/.apply_4 (function (_ i0 i1 i2 i3) + (all n.+ i0 i1 i2 i3)))) + /.call)))) (_.coverage [/.apply_5] (n.= (all n.+ sample sample sample sample sample) - (||> (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push (/.apply_5 (function (_ i0 i1 i2 i3 i4) - (all n.+ i0 i1 i2 i3 i4)))) - /.call))) + (/.value (|>> (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push (/.apply_5 (function (_ i0 i1 i2 i3 i4) + (all n.+ i0 i1 i2 i3 i4)))) + /.call)))) (_.coverage [/.apply_6] (n.= (all n.+ sample sample sample sample sample sample) - (||> (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push (/.apply_6 (function (_ i0 i1 i2 i3 i4 i5) - (all n.+ i0 i1 i2 i3 i4 i5)))) - /.call))) + (/.value (|>> (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push (/.apply_6 (function (_ i0 i1 i2 i3 i4 i5) + (all n.+ i0 i1 i2 i3 i4 i5)))) + /.call)))) (_.coverage [/.apply_7] (n.= (all n.+ sample sample sample sample sample sample sample) - (||> (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push (/.apply_7 (function (_ i0 i1 i2 i3 i4 i5 i6) - (all n.+ i0 i1 i2 i3 i4 i5 i6)))) - /.call))) + (/.value (|>> (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push (/.apply_7 (function (_ i0 i1 i2 i3 i4 i5 i6) + (all n.+ i0 i1 i2 i3 i4 i5 i6)))) + /.call)))) (_.coverage [/.apply_8] (n.= (all n.+ sample sample sample sample sample sample sample sample) - (||> (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push (/.apply_8 (function (_ i0 i1 i2 i3 i4 i5 i6 i7) - (all n.+ i0 i1 i2 i3 i4 i5 i6 i7)))) - /.call))) + (/.value (|>> (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push (/.apply_8 (function (_ i0 i1 i2 i3 i4 i5 i6 i7) + (all n.+ i0 i1 i2 i3 i4 i5 i6 i7)))) + /.call)))) (_.coverage [/.apply] (n.= (all n.+ sample sample sample sample sample sample sample sample sample) - (||> (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push sample) - (/.push ((/.apply 9) (function (_ i0 i1 i2 i3 i4 i5 i6 i7 i8) - (all n.+ i0 i1 i2 i3 i4 i5 i6 i7 i8)))) - /.call))) + (/.value (|>> (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push sample) + (/.push ((/.apply 9) (function (_ i0 i1 i2 i3 i4 i5 i6 i7 i8) + (all n.+ i0 i1 i2 i3 i4 i5 i6 i7 i8)))) + /.call)))) (_.coverage [/.if] (n.= (if choice (++ sample) (-- sample)) - (||> (/.push sample) - (/.push choice) - (/.push (/.apply_1 ++)) - (/.push (/.apply_1 --)) - /.if))) + (/.value (|>> (/.push sample) + (/.push choice) + (/.push (/.apply_1 ++)) + (/.push (/.apply_1 --)) + /.if)))) (_.coverage [/.loop] (n.= (n.+ distance start) - (||> (/.push start) - (/.push (is (/.=> [Nat] [Nat Bit]) - (|>> |++| /.dup |test|))) - /.loop))) + (/.value (|>> (/.push start) + (/.push (is (/.=> [Nat] [Nat Bit]) + (|>> |++| /.dup |test|))) + /.loop)))) (_.coverage [/.while] (n.= (n.+ distance start) - (||> (/.push start) - (/.push (is (/.=> [Nat] [Nat Bit]) - (|>> /.dup |test|))) - (/.push |++|) - /.while))) + (/.value (|>> (/.push start) + (/.push (is (/.=> [Nat] [Nat Bit]) + (|>> /.dup |test|))) + (/.push |++|) + /.while)))) (_.coverage [/.do] (n.= (++ sample) - (||> (/.push sample) - (/.push (is (/.=> [] [Bit]) - (|>> (/.push false)))) - (/.push |++|) - /.do /.while))) + (/.value (|>> (/.push sample) + (/.push (is (/.=> [] [Bit]) + (|>> (/.push false)))) + (/.push |++|) + /.do /.while)))) (_.coverage [/.compose] (n.= (++ (++ sample)) - (||> (/.push sample) - (/.push |++|) - (/.push |++|) - /.compose - /.call))) + (/.value (|>> (/.push sample) + (/.push |++|) + (/.push |++|) + /.compose + /.call)))) (_.coverage [/.partial] (n.= (n.+ sample sample) - (||> (/.push sample) - (/.push sample) - (/.push (/.apply_2 n.+)) - /.partial - /.call))) + (/.value (|>> (/.push sample) + (/.push sample) + (/.push (/.apply_2 n.+)) + /.partial + /.call)))) (_.coverage [/.when] (n.= (if choice (++ sample) sample) - (||> (/.push sample) - (/.push choice) - (/.push (/.apply_1 ++)) - /.when))) + (/.value (|>> (/.push sample) + (/.push choice) + (/.push (/.apply_1 ++)) + /.when)))) (_.coverage [/.?] (n.= (if choice (++ sample) (-- sample)) - (||> (/.push choice) - (/.push (++ sample)) - (/.push (-- sample)) - /.?))) + (/.value (|>> (/.push choice) + (/.push (++ sample)) + (/.push (-- sample)) + /.?)))) ))) -(word: square +(def: square (=> [Nat] [Nat]) - - /.dup - (/.apply_2 n.*)) + (|>> /.dup + (/.apply_2 n.*))) (def: definition Test (do random.monad [sample random.nat] - (_.coverage [/.word: /.=> /.||>] + (_.coverage [/.=> /.value] (n.= (n.* sample sample) - (||> (/.push sample) - ..square))))) + (/.value (|>> (/.push sample) + ..square)))))) (def: .public test Test -- cgit v1.2.3