diff options
| author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
| commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
| tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/program/aedifex/dependency/status.lux | |
| parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) | |
No more #export magic syntax.
Diffstat (limited to 'stdlib/source/program/aedifex/dependency/status.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/dependency/status.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux index db97f59b0..2c2e13fd8 100644 --- a/stdlib/source/program/aedifex/dependency/status.lux +++ b/stdlib/source/program/aedifex/dependency/status.lux @@ -10,7 +10,7 @@ ["." /// #_ ["#." hash (#+ Hash SHA-1 MD5)]]) -(type: #export Status +(type: .public Status #Unverified (#Partial (Either (Hash SHA-1) (Hash MD5))) @@ -22,7 +22,7 @@ (def: (= _ _) true)) -(def: #export equivalence +(def: .public equivalence (Equivalence Status) ($_ sum.equivalence ..any_equivalence @@ -34,7 +34,7 @@ ///hash.equivalence) )) -(def: #export (verified payload) +(def: .public (verified payload) (-> Binary Status) (#Verified (///hash.sha-1 payload) |