diff options
author | Eduardo Julian | 2022-06-12 13:33:48 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-12 13:33:48 -0400 |
commit | 8c3a1afab9efeb86e2f53d743551fc689fbad257 (patch) | |
tree | 396b2fd29bac407544d2136a0d9e6e3b8b2c30af /stdlib/source/program/aedifex.lux | |
parent | 9c21fd1f33eb52fb971d493ad21a67036d68b841 (diff) |
De-sigil-ification: suffix : [Part 4]
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex.lux | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux index d338fe439..339b1c03c 100644 --- a/stdlib/source/program/aedifex.lux +++ b/stdlib/source/program/aedifex.lux @@ -130,25 +130,25 @@ (exception: .public invalid_operation) -(`` (implementation: write_only +(`` (def: write_only (Console IO) - - (~~ (with_template [<name>] - [(def: (<name> _) - (io.io (exception.except ..invalid_operation [])))] - - [read] - [read_line] - [close] - )) - - (def: (write it) - (<| io.io - {try.#Success} - debug.log! - (if (text.ends_with? text.\n it) - (maybe.trusted (text.clip 0 (-- (text.size it)) it)) - it))))) + (implementation + (~~ (with_template [<name>] + [(def: (<name> _) + (io.io (exception.except ..invalid_operation [])))] + + [read] + [read_line] + [close] + )) + + (def: (write it) + (<| io.io + {try.#Success} + debug.log! + (if (text.ends_with? text.\n it) + (maybe.trusted (text.clip 0 (-- (text.size it)) it)) + it)))))) (program: [[profiles operation] /cli.command] (do [! io.monad] |