diff options
| author | Eduardo Julian | 2020-08-28 00:06:26 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-08-28 00:06:26 -0400 |
| commit | a5a15c191c43a660bb0c8e78e93d097e27966177 (patch) | |
| tree | 5dfc517fa34e1bacfbfed426b0ead3bc74c50731 /stdlib/source/program/aedifex/action.lux | |
| parent | c8f9f42a258f1f2f961c7f8c5571cce843e97a0a (diff) | |
Build programs.
Diffstat (limited to 'stdlib/source/program/aedifex/action.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/action.lux | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/stdlib/source/program/aedifex/action.lux b/stdlib/source/program/aedifex/action.lux new file mode 100644 index 000000000..e8a88facd --- /dev/null +++ b/stdlib/source/program/aedifex/action.lux @@ -0,0 +1,15 @@ +(.module: + [lux #* + [abstract + [monad (#+ Monad)]] + [control + ["." try (#+ Try)] + [concurrency + ["." promise (#+ Promise)]]]]) + +(type: #export (Action a) + (Promise (Try a))) + +(def: #export monad + (Monad Action) + (:assume (try.with promise.monad))) |