aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/command
diff options
context:
space:
mode:
authorEduardo Julian2022-06-12 13:33:48 -0400
committerEduardo Julian2022-06-12 13:33:48 -0400
commit8c3a1afab9efeb86e2f53d743551fc689fbad257 (patch)
tree396b2fd29bac407544d2136a0d9e6e3b8b2c30af /stdlib/source/test/aedifex/command
parent9c21fd1f33eb52fb971d493ad21a67036d68b841 (diff)
De-sigil-ification: suffix : [Part 4]
Diffstat (limited to 'stdlib/source/test/aedifex/command')
-rw-r--r--stdlib/source/test/aedifex/command/version.lux50
1 files changed, 25 insertions, 25 deletions
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index bb92fadfb..96b8cdf3b 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -29,32 +29,32 @@
(exception: .public console_is_closed!)
-(implementation: mock
+(def: mock
(Mock [Bit Text])
-
- (def: (on_read [open? state])
- (if open?
- (try.of_maybe
- (do maybe.monad
- [head (text.char 0 state)
- [_ tail] (text.split_at 1 state)]
- (in [[open? tail] head])))
- (exception.except ..console_is_closed! [])))
- (def: (on_read_line [open? state])
- (if open?
- (try.of_maybe
- (do maybe.monad
- [[output state] (text.split_by text.new_line state)]
- (in [[open? state] output])))
- (exception.except ..console_is_closed! [])))
- (def: (on_write input [open? state])
- (if open?
- {try.#Success [open? (format state input)]}
- (exception.except ..console_is_closed! [])))
- (def: (on_close [open? buffer])
- (if open?
- {try.#Success [false buffer]}
- (exception.except ..console_is_closed! []))))
+ (implementation
+ (def: (on_read [open? state])
+ (if open?
+ (try.of_maybe
+ (do maybe.monad
+ [head (text.char 0 state)
+ [_ tail] (text.split_at 1 state)]
+ (in [[open? tail] head])))
+ (exception.except ..console_is_closed! [])))
+ (def: (on_read_line [open? state])
+ (if open?
+ (try.of_maybe
+ (do maybe.monad
+ [[output state] (text.split_by text.new_line state)]
+ (in [[open? state] output])))
+ (exception.except ..console_is_closed! [])))
+ (def: (on_write input [open? state])
+ (if open?
+ {try.#Success [open? (format state input)]}
+ (exception.except ..console_is_closed! [])))
+ (def: (on_close [open? buffer])
+ (if open?
+ {try.#Success [false buffer]}
+ (exception.except ..console_is_closed! [])))))
(def: .public echo
(-> Text (Console Async))