diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/world/console.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/world/console.lux b/stdlib/source/lux/world/console.lux index 5aafb88d1..7d68ced07 100644 --- a/stdlib/source/lux/world/console.lux +++ b/stdlib/source/lux/world/console.lux @@ -49,7 +49,7 @@ (`` (structure (~~ (template [<capability> <forge>] [(def: <capability> (<forge> - (|>> (!.use (:: console <capability>)) promise.future)))] + (|>> (!.use (\ console <capability>)) promise.future)))] [read ..can-read] [read-line ..can-read] @@ -96,7 +96,7 @@ (function (_ _) (|> jvm-input java/io/InputStream::read - (:: (try.with io.monad) map .nat))))) + (\ (try.with io.monad) map .nat))))) (def: read-line (..can-read @@ -116,7 +116,7 @@ (def: #export (write-line message console) (All [!] (-> Text (Console !) (! Any))) - (!.use (:: console write) (format message text.new-line))) + (!.use (\ console write) (format message text.new-line))) (signature: #export (Simulation s) (: (-> s (Try [s Char])) @@ -139,7 +139,7 @@ (stm.commit (do {! stm.monad} [|state| (stm.read state)] - (case (:: simulation <simulation> |state|) + (case (\ simulation <simulation> |state|) (#try.Success [|state| output]) (do ! [_ (stm.write |state| state)] @@ -158,7 +158,7 @@ (stm.commit (do {! stm.monad} [|state| (stm.read state)] - (case (:: simulation on-write input |state|) + (case (\ simulation on-write input |state|) (#try.Success |state|) (do ! [_ (stm.write |state| state)] @@ -173,7 +173,7 @@ (stm.commit (do {! stm.monad} [|state| (stm.read state)] - (case (:: simulation on-close |state|) + (case (\ simulation on-close |state|) (#try.Success |state|) (do ! [_ (stm.write |state| state)] |