diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/control/concurrency/frp.lux | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux index 40c490233..d4615020b 100644 --- a/stdlib/source/test/lux/control/concurrency/frp.lux +++ b/stdlib/source/test/lux/control/concurrency/frp.lux @@ -5,26 +5,26 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [control - ["." try] - ["." exception] - ["." io {"+" [IO io]}]] + ["[0]" try] + ["[0]" exception] + ["[0]" io {"+" [IO io]}]] [data [collection - ["." list ("#\." mix monoid)] - ["." row {"+" [Row]}]]] + ["[0]" list ("[1]\[0]" mix monoid)] + ["[0]" row {"+" [Row]}]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / + ["[0]" / [// - ["." async {"+" [Async]} ("#\." monad)] - ["." atom {"+" [Atom atom]}]]]]) + ["[0]" async {"+" [Async]} ("[1]\[0]" monad)] + ["[0]" atom {"+" [Atom atom]}]]]]) (def: injection (Injection /.Channel) @@ -65,7 +65,7 @@ (def: .public test Test (<| (_.covering /._) - (let [(^open "list\.") (list.equivalence n.equivalence)] + (let [(^open "list\[0]") (list.equivalence n.equivalence)] (do [! random.monad] [inputs (random.list 5 random.nat) sample random.nat |