diff options
Diffstat (limited to 'stdlib/source/program/aedifex/package.lux')
-rw-r--r-- | stdlib/source/program/aedifex/package.lux | 66 |
1 files changed, 33 insertions, 33 deletions
diff --git a/stdlib/source/program/aedifex/package.lux b/stdlib/source/program/aedifex/package.lux index 841a0e581..fa0fb33af 100644 --- a/stdlib/source/program/aedifex/package.lux +++ b/stdlib/source/program/aedifex/package.lux @@ -1,32 +1,32 @@ (.using - [library - [lux {"-" local} - [abstract - [equivalence {"+" Equivalence}]] - [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - [parser - ["<[0]>" xml]]] - [data - ["[0]" sum] - ["[0]" product] - ["[0]" binary {"+" Binary}] - [text - [encoding - ["[0]" utf8]]] - [format - ["[0]" xml {"+" XML}]] - [collection - [set {"+" Set}]]]]] - ["[0]" // "_" - ["/" profile] - ["[1][0]" hash] - ["[1][0]" pom] - [dependency {"+" Dependency} - ["[1][0]" status {"+" Status}]] - [repository - [remote {"+" Address}] - ["[1][0]" origin {"+" Origin}]]]) + [library + [lux {"-" local} + [abstract + [equivalence {"+" Equivalence}]] + [control + ["[0]" try {"+" Try} ("[1]#[0]" functor)] + [parser + ["<[0]>" xml]]] + [data + ["[0]" sum] + ["[0]" product] + ["[0]" binary {"+" Binary}] + [text + [encoding + ["[0]" utf8]]] + [format + ["[0]" xml {"+" XML}]] + [collection + [set {"+" Set}]]]]] + ["[0]" // "_" + ["/" profile] + ["[1][0]" hash] + ["[1][0]" pom] + [dependency {"+" Dependency} + ["[1][0]" status {"+" Status}]] + [repository + [remote {"+" Address}] + ["[1][0]" origin {"+" Origin}]]]) (type: .public Package (Record @@ -37,7 +37,7 @@ (template [<name> <tag>] [(def: .public (<name> package) (-> Package Bit) - (case (value@ #origin package) + (case (the #origin package) {<tag> _} true @@ -62,19 +62,19 @@ (def: .public dependencies (-> Package (Try (Set Dependency))) - (|>> (value@ #pom) + (|>> (the #pom) product.left list (<xml>.result //pom.parser) - (try#each (value@ /.#dependencies)))) + (try#each (the /.#dependencies)))) (def: .public repositories (-> Package (Try (Set Address))) - (|>> (value@ #pom) + (|>> (the #pom) product.left list (<xml>.result //pom.parser) - (try#each (value@ /.#repositories)))) + (try#each (the /.#repositories)))) (def: .public equivalence (Equivalence Package) |