diff options
Diffstat (limited to 'stdlib/source/test/lux/meta/compiler/phase.lux')
-rw-r--r-- | stdlib/source/test/lux/meta/compiler/phase.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/meta/compiler/phase.lux b/stdlib/source/test/lux/meta/compiler/phase.lux index d3b55aaf3..355f02299 100644 --- a/stdlib/source/test/lux/meta/compiler/phase.lux +++ b/stdlib/source/test/lux/meta/compiler/phase.lux @@ -69,7 +69,7 @@ _ false)) (|> (/.of_try {try.#Success expected}) - (at /.functor each (same? expected)) + (of /.functor each (same? expected)) (/.result state) (try.else false)))) (_.coverage [/.except] @@ -106,24 +106,24 @@ (all _.and (_.coverage [/.state] (|> /.state - (at /.functor each (same? state)) + (of /.functor each (same? state)) (/.result state) (try.else false))) (_.coverage [/.with] (|> (do /.monad [_ (/.with state)] /.state) - (at /.functor each (same? state)) + (of /.functor each (same? state)) (/.result dummy) (try.else false))) (_.coverage [/.sub] - (|> (/.sub [(at n.hex encoded) + (|> (/.sub [(of n.hex encoded) (function (_ new old) - (|> new (at n.hex decoded) (try.else dummy)))] + (|> new (of n.hex decoded) (try.else dummy)))] (do /.monad [state/hex /.state] (in (|> state - (at n.hex encoded) + (of n.hex encoded) (text#= state/hex))))) (/.result' state) (pipe.when {try.#Success [state' verdict]} @@ -146,7 +146,7 @@ ($monad.spec ..injection (..comparison state) /.monad)) (_.coverage [/.result] - (|> (at /.monad in expected) + (|> (of /.monad in expected) (/.result state) (pipe.when {try.#Success actual} (same? expected actual) @@ -154,7 +154,7 @@ _ false))) (_.coverage [/.result'] - (|> (at /.monad in expected) + (|> (of /.monad in expected) (/.result' state) (pipe.when {try.#Success [state' actual]} (and (same? state state') @@ -181,10 +181,10 @@ (_.coverage [/.composite] (let [phase (/.composite (is (/.Phase Nat Int Frac) (function (_ archive input) - (at /.monad in (i.frac input)))) + (of /.monad in (i.frac input)))) (is (/.Phase Rev Frac Text) (function (_ archive input) - (at /.monad in (%.frac input)))))] + (of /.monad in (%.frac input)))))] (|> (phase archive.empty expected) (/.result' [state/0 state/1]) (pipe.when {try.#Success [[state/0' state/1'] actual]} |