From ae56acf791c2ed9bd5865f85fffa00b025d310fe Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 13 Jan 2021 17:42:20 -0400 Subject: Removed the (ultimately redundant) on_stop function for actors. --- stdlib/source/program/aedifex/artifact/build.lux | 43 ------------------------ 1 file changed, 43 deletions(-) delete mode 100644 stdlib/source/program/aedifex/artifact/build.lux (limited to 'stdlib/source/program/aedifex/artifact/build.lux') 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 - [_ (.node ..tag)] - (.embed (<>.codec nat.decimal - (.many .decimal)) - (.children .text)))) -- cgit v1.2.3