feat(spec,hashing-algorithm): limit algorithm? contract, export struc…

…t contracts Signed-off-by: Kaiyang Wu <[email protected]>
OriginCode · Jan 7, 2025 · f0ebfc3 · f0ebfc3
1 parent cc4f89f
commit f0ebfc3
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 2 deletions.
diff --git a/aosc/private/hashing-algorithm.rkt b/aosc/private/hashing-algorithm.rkt
@@ -0,0 +1,12 @@
+#lang racket/base
+
+(require racket/contract)
+
+(provide (all-defined-out))
+
+(define/contract (algorithm? sym)
+  (-> symbol? boolean?)
+  (if (member sym '(md2 md5 sha1 sha256 sha224 sha384 sha512 blake2b blake2s
+                    sha3_224 sha3_256 sha3_384 sha3_512))
+      #t
+      #f))
diff --git a/aosc/private/spec.rkt b/aosc/private/spec.rkt
@@ -4,16 +4,20 @@
          racket/contract
          racket/string
          net/url
+         "hashing-algorithm.rkt"
          "arch.rkt"
          "utils.rkt")
 
-(provide branch
+(provide src-option?
+         branch
          commit
          rename
          submodule
          copy-repo?
+         src?
          git
          tbl
+         chksum?
          skip
          checksum
          anitya
@@ -108,7 +112,7 @@
 (struct chksum (type value) #:transparent)
 
 (define/contract (checksum algorithm value)
-  (-> symbol? string? chksum?)
+  (-> algorithm? string? chksum?)
   (chksum algorithm value))
 
 (define/contract (skip)