aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/package.lux
diff options
context:
space:
mode:
authorEduardo Julian2020-12-26 04:34:11 -0400
committerEduardo Julian2020-12-26 04:34:11 -0400
commit92dca9f487c625d27f6c291784ef709b0cc13a72 (patch)
tree6330635a19bb582d86f4402a9594dea4a1ab3fa0 /stdlib/source/program/aedifex/package.lux
parent4ca397765805eda5ddee393901ed3a02001a960a (diff)
Some renamings.
Diffstat (limited to 'stdlib/source/program/aedifex/package.lux')
-rw-r--r--stdlib/source/program/aedifex/package.lux42
1 files changed, 16 insertions, 26 deletions
diff --git a/stdlib/source/program/aedifex/package.lux b/stdlib/source/program/aedifex/package.lux
index b3118a7e0..f6ba87078 100644
--- a/stdlib/source/program/aedifex/package.lux
+++ b/stdlib/source/program/aedifex/package.lux
@@ -15,28 +15,13 @@
[collection
[set (#+ Set)]]]]
["." // #_
- [dependency (#+ Dependency)
- ["#." status (#+ Status)]]
["/" profile]
["#." hash (#+ Hash SHA-1 MD5)]
- ["#." pom]])
-
-(type: #export Origin
- #Local
- #Remote)
-
-(structure: any_equivalence
- (Equivalence Any)
-
- (def: (= _ _)
- true))
-
-(def: origin_equivalence
- (Equivalence Origin)
- ($_ sum.equivalence
- ..any_equivalence
- ..any_equivalence
- ))
+ ["#." pom]
+ [dependency (#+ Dependency)
+ ["#." status (#+ Status)]]
+ [repository
+ ["#." origin (#+ Origin)]]])
(type: #export Package
{#origin Origin
@@ -44,17 +29,22 @@
#pom [XML Status]})
(template [<name> <tag>]
- [(def: #export <name>
+ [(def: #export (<name> package)
(-> Package Bit)
- (|>> (get@ #origin) (\ ..origin_equivalence = <tag>)))]
+ (case (get@ #origin package)
+ (<tag> _)
+ true
+
+ _
+ false))]
- [local? #Local]
- [remote? #Remote]
+ [local? #//origin.Local]
+ [remote? #//origin.Remote]
)
(def: #export (local pom library)
(-> XML Binary Package)
- {#origin #Local
+ {#origin (#//origin.Local "")
#library [library #//status.Unverified]
#pom [pom #//status.Unverified]})
@@ -68,7 +58,7 @@
(def: #export equivalence
(Equivalence Package)
($_ product.equivalence
- ..origin_equivalence
+ //origin.equivalence
(product.equivalence binary.equivalence //status.equivalence)
(product.equivalence xml.equivalence //status.equivalence)
))