aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/command
diff options
context:
space:
mode:
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))