diff options
Diffstat (limited to 'stdlib/source/test/lux/control/try.lux')
-rw-r--r-- | stdlib/source/test/lux/control/try.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux index 8c954da6f..80b68423f 100644 --- a/stdlib/source/test/lux/control/try.lux +++ b/stdlib/source/test/lux/control/try.lux @@ -5,21 +5,21 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad] - ["$." equivalence]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad] + ["$[0]" equivalence]]] [control pipe - ["." io]] + ["[0]" io]] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [Try]}]]) + ["[0]" / {"+" [Try]}]]) (def: injection (Injection Try) @@ -44,7 +44,7 @@ [expected random.nat alternative (|> random.nat (random.only (|>> (n.= expected) not))) error (random.unicode 1) - .let [(^open "io\.") io.monad]]) + .let [(^open "io\[0]") io.monad]]) ($_ _.and (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) (..attempt random.nat))) |