diff options
author | Eduardo Julian | 2020-11-02 20:54:09 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-11-02 20:54:09 -0400 |
commit | fd3152f29c8d8e9cc134423da18fb828ba20ebcc (patch) | |
tree | 5550c43f1eb07c9776314c0d908a8fb91a88881b /stdlib/source/program/aedifex/cli.lux | |
parent | 03b1085924b225d34d3b11f1a442b0b5d926c417 (diff) |
Added CoMonad for CoFree.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/cli.lux | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux index 666e5a701..9d73f9181 100644 --- a/stdlib/source/program/aedifex/cli.lux +++ b/stdlib/source/program/aedifex/cli.lux @@ -32,6 +32,7 @@ (cli.this "test"))) (type: #export Command + #Clean #POM #Dependencies #Install @@ -42,6 +43,8 @@ (def: #export equivalence (Equivalence Command) ($_ equivalence.sum + ## #Clean + ..any-equivalence ## #POM ..any-equivalence ## #Dependencies @@ -61,6 +64,7 @@ (def: command' (Parser Command) ($_ <>.or + (cli.this "clean") (cli.this "pom") (cli.this "deps") (cli.this "install") |