diff options
Diffstat (limited to 'stdlib/source/test/aedifex/command/version.lux')
-rw-r--r-- | stdlib/source/test/aedifex/command/version.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux index 740065820..c8f427a71 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -29,10 +29,10 @@ (exception: .public console_is_closed!) -(def: mock +(def mock (Mock [Bit Text]) (implementation - (def: (on_read [open? state]) + (def (on_read [open? state]) (if open? (try.of_maybe (do maybe.monad @@ -40,29 +40,29 @@ [_ tail] (text.split_at 1 state)] (in [[open? tail] head]))) (exception.except ..console_is_closed! []))) - (def: (on_read_line [open? state]) + (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]) + (def (on_write input [open? state]) (if open? {try.#Success [open? (format state input)]} (exception.except ..console_is_closed! []))) - (def: (on_close [open? buffer]) + (def (on_close [open? buffer]) (if open? {try.#Success [false buffer]} (exception.except ..console_is_closed! []))))) -(def: .public echo +(def .public echo (-> Text (Console Async)) (|>> [true] (console.mock ..mock) console.async)) -(def: .public test +(def .public test Test (<| (_.covering /._) (do random.monad |