diff options
| author | Eduardo Julian | 2019-03-21 20:02:50 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-03-21 20:02:50 -0400 |
| commit | e5b99ce316436fbf38dd7c686e6a10f13c8b56d4 (patch) | |
| tree | 5b4f813bc9d10eef1d6010dc85265c38ed534286 /stdlib/source/test | |
| parent | 382fc9298fb10f7aac5aa541ce3001580e9bd6d0 (diff) | |
Fixed a bug in the FRP/channel monad.
Diffstat (limited to 'stdlib/source/test')
| -rw-r--r-- | stdlib/source/test/lux/control.lux | 9 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/concurrency/frp.lux | 18 |
2 files changed, 15 insertions, 12 deletions
diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux index 22bd9741c..8bfd57da0 100644 --- a/stdlib/source/test/lux/control.lux +++ b/stdlib/source/test/lux/control.lux @@ -25,13 +25,15 @@ ($_ _.and /actor.test /atom.test - /frp.test)) + /frp.test + )) (def: security Test ($_ _.and /privacy.test - /integrity.test)) + /integrity.test + )) (def: #export test Test @@ -48,4 +50,5 @@ /thread.test /writer.test ..concurrency - ..security)) + ..security + )) diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux index ea4d7adad..92e4838a8 100644 --- a/stdlib/source/test/lux/control/concurrency/frp.lux +++ b/stdlib/source/test/lux/control/concurrency/frp.lux @@ -5,13 +5,13 @@ [control ["." monad (#+ do)] [concurrency - ["." promise ("#;." monad)] + ["." promise ("#@." monad)] ["." atom (#+ Atom atom)]]] [data [number ["." nat]] [collection - ["." list ("#;." functor)]]] + ["." list ("#@." functor)]]] [math ["r" random]]] {1 @@ -19,7 +19,7 @@ (def: #export test Test - (let [(^open "list;.") (list.equivalence nat.equivalence)] + (let [(^open "list@.") (list.equivalence nat.equivalence)] (do r.monad [inputs (r.list 5 r.nat) sample r.nat] @@ -30,7 +30,7 @@ (/.filter n/even?) /.consume)] (_.assert "Can filter a channel's elements." - (list;= (list.filter n/even? inputs) + (list@= (list.filter n/even? inputs) output)))) (wrap (do promise.monad [output (|> inputs @@ -38,22 +38,22 @@ (:: /.functor map inc) /.consume)] (_.assert "Functor goes over every element in a channel." - (list;= (list;map inc inputs) + (list@= (list@map inc inputs) output)))) (wrap (do promise.monad [output (/.consume (:: /.apply apply (/.sequential 0 (list inc)) (/.sequential 0 (list sample))))] (_.assert "Apply works over all channel values." - (list;= (list (inc sample)) + (list@= (list (inc sample)) output)))) (wrap (do promise.monad [output (/.consume (do /.monad - [f (/.from-promise (promise;wrap inc)) - a (/.from-promise (promise;wrap sample))] + [f (/.from-promise (promise@wrap inc)) + a (/.from-promise (promise@wrap sample))] (wrap (f a))))] (_.assert "Valid monad." - (list;= (list (inc sample)) + (list@= (list (inc sample)) output)))) )))) |