diff options
| author | Eduardo Julian | 2022-03-14 03:33:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-14 03:33:01 -0400 |
| commit | 93eb82e1bf6d2f2a6b3b0adb85f4ab93cbb766a9 (patch) | |
| tree | 9301db84130bb3714d57db1196e80e7325b7f880 /stdlib/source/library/lux/control/try.lux | |
| parent | b8681fd206d5b5076b9737ee54f0cb0405a898d6 (diff) | |
De-sigil-ification: @
Diffstat (limited to 'stdlib/source/library/lux/control/try.lux')
| -rw-r--r-- | stdlib/source/library/lux/control/try.lux | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/control/try.lux b/stdlib/source/library/lux/control/try.lux index a82b72d33..d1722f394 100644 --- a/stdlib/source/library/lux/control/try.lux +++ b/stdlib/source/library/lux/control/try.lux @@ -1,13 +1,14 @@ (.using - [library - [lux "*" - [abstract - [apply {"+" Apply}] - [equivalence {"+" Equivalence}] - ["[0]" functor {"+" Functor}] - ["[0]" monad {"+" Monad do}]] - [meta - ["[0]" location]]]]) + [library + [lux "*" + ["@" target] + [abstract + [apply {"+" Apply}] + [equivalence {"+" Equivalence}] + ["[0]" functor {"+" Functor}] + ["[0]" monad {"+" Monad do}]] + [meta + ["[0]" location]]]]) (type: .public (Try a) (Variant @@ -68,7 +69,7 @@ (All (_ !) (-> (Monad !) (Monad (All (_ a) (! (Try a)))))) (def: &functor - (functor.composite (value@ monad.&functor monad) + (functor.composite (the monad.&functor monad) ..functor)) (def: in |