diff options
| author | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
| commit | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch) | |
| tree | 115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/test/lux/control/concurrency/frp.lux | |
| parent | f92c806ee8da63f04bbefbf558f6249bacdb47ea (diff) | |
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/test/lux/control/concurrency/frp.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/concurrency/frp.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux index 004659886..e2e8c286d 100644 --- a/stdlib/source/test/lux/control/concurrency/frp.lux +++ b/stdlib/source/test/lux/control/concurrency/frp.lux @@ -28,12 +28,12 @@ ["[0]" async (.only Async) (.open: "[1]#[0]" monad)] ["[0]" atom (.only Atom atom)]]]]) -(def: injection +(def injection (Injection /.Channel) (|>> async.resolved /.of_async)) -(def: comparison +(def comparison (Comparison /.Channel) (function (_ == left right) (io.run! @@ -48,7 +48,7 @@ _ false)))))) -(def: (take_amount amount_of_polls [channel sink]) +(def (take_amount amount_of_polls [channel sink]) (All (_ a) (-> Nat [(/.Channel a) (/.Sink a)] (Async (List a)))) (case amount_of_polls 0 (do async.monad @@ -64,7 +64,7 @@ (at ! each (|>> {.#Item (variance.read head)}) (take_amount (-- amount_of_polls) [channel sink])))))) -(def: .public test +(def .public test Test (<| (_.covering /._) (let [(open "list#[0]") (list.equivalence n.equivalence)] |