aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex')
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux4
-rw-r--r--stdlib/source/program/aedifex/hash.lux8
2 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 71f4dbe1c..d3af4c01b 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -21,7 +21,7 @@
["[0]" year]
["[0]" month]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(def: .public (pad value)
(-> Nat Text)
@@ -38,7 +38,7 @@
"Maximum" (%.int ..max_year)
"Year" (%.int (year.value year))))
-(abstract: .public Date
+(primitive: .public Date
date.Date
(def: .public epoch
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index db33a1e6a..bd78f8fe3 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -21,7 +21,7 @@
["n" nat]
["[0]" i64]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
... TODO: Replace with pure-Lux implementations of these algorithms
... https://en.wikipedia.org/wiki/SHA-1#SHA-1_pseudocode
@@ -34,10 +34,10 @@
("static" getInstance [java/lang/String] java/security/MessageDigest)
(digest [[byte]] [byte]))
-(abstract: .public SHA-1 Any)
-(abstract: .public MD5 Any)
+(primitive: .public SHA-1 Any)
+(primitive: .public MD5 Any)
-(abstract: .public (Hash h)
+(primitive: .public (Hash h)
Binary
(def: .public data