From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 16 Jun 2022 00:48:19 -0400 Subject: De-sigil-ification: suffix : [Part 13] --- stdlib/source/test/aedifex/command/version.lux | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'stdlib/source/test/aedifex/command/version.lux') 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 -- cgit v1.2.3