aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/snapshot/stamp.lux')
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/stamp.lux12
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 3365d685c..2f82cf020 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -22,36 +22,36 @@
[#time Time
#build Build]))
-(def: .public equivalence
+(def .public equivalence
(Equivalence Stamp)
(all product.equivalence
//time.equivalence
//build.equivalence
))
-(def: <timestamp>
+(def <timestamp>
xml.Tag
["" "timestamp"])
-(def: time_format
+(def time_format
(-> Time XML)
(|>> //time.format
{xml.#Text}
list
{xml.#Node ..<timestamp> xml.attributes}))
-(def: .public (format (open "_[0]"))
+(def .public (format (open "_[0]"))
(-> Stamp (List XML))
(list (..time_format _#time)
(//build.format _#build)))
-(def: time_parser
+(def time_parser
(Parser Time)
(<| (<xml>.node <timestamp>)
(<text>.then //time.parser)
<xml>.text))
-(def: .public parser
+(def .public parser
(Parser Stamp)
(<>.and (<xml>.somewhere ..time_parser)
(<xml>.somewhere //build.parser)))