From 02d27daeacac74785c2b0f4d1ce03d432377a36e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 29 Dec 2020 23:29:54 -0400
Subject: Unified repository abstraction for Aedifex.

---
 stdlib/source/program/aedifex/dependency/status.lux | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'stdlib/source/program/aedifex/dependency/status.lux')

diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux
index bedaffdb8..82d99e9aa 100644
--- a/stdlib/source/program/aedifex/dependency/status.lux
+++ b/stdlib/source/program/aedifex/dependency/status.lux
@@ -3,6 +3,7 @@
    [abstract
     [equivalence (#+ Equivalence)]]
    [data
+    [binary (#+ Binary)]
     ["." sum]
     ["." product]]]
   ["." /// #_
@@ -33,3 +34,9 @@
           ///hash.equivalence
           )
       ))
+
+(def: #export (verified payload)
+  (-> Binary Status)
+  (#Verified
+   (///hash.sha-1 payload)
+   (///hash.md5 payload)))
-- 
cgit v1.2.3