aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact/time
diff options
context:
space:
mode:
authorEduardo Julian2021-09-07 22:50:21 -0400
committerEduardo Julian2021-09-07 22:50:21 -0400
commit35c0807799717cd720ab28b35851c1a01a67445d (patch)
treec6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/program/aedifex/artifact/time
parentb55cefcb258f11eeee32c1478faefd1bd09ec871 (diff)
De-taggification | part 4
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/time')
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux12
-rw-r--r--stdlib/source/program/aedifex/artifact/time/time.lux8
2 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index deb9cb8ed..18688bf1a 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -5,10 +5,10 @@
[monad {"+" [do]}]
[equivalence {"+" [Equivalence]}]]
[control
- ["." try {"+" [Try]}]
- ["." exception {"+" [exception:]}]
+ ["[0]" try {"+" [Try]}]
+ ["[0]" exception {"+" [exception:]}]
["<>" parser
- ["<.>" text {"+" [Parser]}]]]
+ ["<[0]>" text {"+" [Parser]}]]]
[data
[text
["%" format]]]
@@ -17,9 +17,9 @@
["n" nat]
["i" int]]]
[time
- ["." date ("#\." equivalence)]
- ["." year]
- ["." month]]
+ ["[0]" date ("[1]\[0]" equivalence)]
+ ["[0]" year]
+ ["[0]" month]]
[type
abstract]]])
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index 5fca26062..c27b1b69c 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -1,20 +1,20 @@
(.module:
[library
[lux "*"
- ["." time]
+ ["[0]" time]
[abstract
[monad {"+" [do]}]]
[control
["<>" parser
- ["<.>" text {"+" [Parser]}]]]
+ ["<[0]>" text {"+" [Parser]}]]]
[data
[text
["%" format]]]
[math
[number
["n" nat]]]]]
- ["." // "_"
- ["#" date]])
+ ["[0]" // "_"
+ ["[1]" date]])
(type: .public Time
time.Time)