diff options
| author | Eduardo Julian | 2022-04-09 00:46:03 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-09 00:46:03 -0400 |
| commit | f11afb9d2dfe2d59b41e8056eb8c4ae65268415f (patch) | |
| tree | d7f57f5d62ddb58fceec0a827b0047ed70833841 /stdlib/source/program/aedifex | |
| parent | ab99de20a3d0566a71bf0ef607d9d6e291d7f62a (diff) | |
Re-branded "abstract" types as "primitive" types.
Diffstat (limited to 'stdlib/source/program/aedifex')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time/date.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/hash.lux | 8 |
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 |