diff options
Diffstat (limited to 'stdlib/source/program/aedifex.lux')
| -rw-r--r-- | stdlib/source/program/aedifex.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux index 636487ee8..c763171c7 100644 --- a/stdlib/source/program/aedifex.lux +++ b/stdlib/source/program/aedifex.lux @@ -63,17 +63,17 @@ ["[1]/[0]" auto] ["[1]/[0]" deploy]]]) -(def: repositories +(def repositories (-> /.Profile (List (Repository Async))) (|>> (the /.#repositories) set.list (list#each (|>> (/repository/remote.repository http.default {.#None}) /repository.async)))) -(def: program (program.async program.default)) -(def: fs (file.async file.default)) -(def: local (/repository/local.repository ..program ..fs)) +(def program (program.async program.default)) +(def fs (file.async file.default)) +(def local (/repository/local.repository ..program ..fs)) -(def: (with_dependencies program console command profile) +(def (with_dependencies program console command profile) (All (_ a) (-> (Program Async) (Console Async) (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit a])) @@ -104,17 +104,17 @@ (format (%.text name) " := " (%.text repo))) (dictionary.entries options)))) -(def: succeed! +(def succeed! (IO Any) (at program.default exit shell.normal)) -(def: (fail! error) +(def (fail! error) (-> Text (IO Any)) (exec (debug.log! error) (at program.default exit shell.error))) -(def: (command action) +(def (command action) (All (_ a) (-> (Async (Try a)) (IO Any))) (exec (do async.monad @@ -130,11 +130,11 @@ (exception: .public invalid_operation) -(`` (def: write_only +(`` (def write_only (Console IO) (implementation (~~ (with_template [<name>] - [(def: (<name> _) + [(def (<name> _) (io.io (exception.except ..invalid_operation [])))] [read] @@ -142,7 +142,7 @@ [close] )) - (def: (write it) + (def (write it) (<| io.io {try.#Success} debug.log! |