diff options
author | Eduardo Julian | 2021-01-13 17:42:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-01-13 17:42:20 -0400 |
commit | ae56acf791c2ed9bd5865f85fffa00b025d310fe (patch) | |
tree | d02c6f67240b27c578b7e8ca17285824eae56497 /stdlib/source/program/aedifex/artifact/build.lux | |
parent | 71de092a045dc70ab1c9eead477cf1512b144a87 (diff) |
Removed the (ultimately redundant) on_stop function for actors.
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/build.lux')
-rw-r--r-- | stdlib/source/program/aedifex/artifact/build.lux | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/stdlib/source/program/aedifex/artifact/build.lux b/stdlib/source/program/aedifex/artifact/build.lux deleted file mode 100644 index d9a8b729e..000000000 --- a/stdlib/source/program/aedifex/artifact/build.lux +++ /dev/null @@ -1,43 +0,0 @@ -(.module: - [lux #* - [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)]] - [control - ["<>" parser - ["<.>" xml (#+ Parser)] - ["<.>" text]]] - [data - [text - ["%" format]] - [format - ["." xml (#+ XML)]]] - [math - [number - ["." nat]]]]) - -(type: #export Build - Nat) - -(def: #export equivalence - (Equivalence Build) - nat.equivalence) - -(def: tag - xml.Tag - ["" "buildNumber"]) - -(def: #export format - (-> Build XML) - (|>> %.nat - #xml.Text - list - (#xml.Node ..tag xml.attributes))) - -(def: #export parser - (Parser Build) - (do <>.monad - [_ (<xml>.node ..tag)] - (<text>.embed (<>.codec nat.decimal - (<text>.many <text>.decimal)) - (<xml>.children <xml>.text)))) |