aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/dependency
diff options
context:
space:
mode:
authorEduardo Julián2021-07-14 14:44:53 -0400
committerGitHub2021-07-14 14:44:53 -0400
commit89ca40f2f101b2b38187eab5cf905371cd47eb57 (patch)
treef05fd1677a70988c6b39c07e52d031d86eff28f1 /stdlib/source/program/aedifex/dependency
parent2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff)
parent8252bdb938a0284dd12e7365b4eb84b5357bacac (diff)
Merge pull request #58 from LuxLang/hierarchy_normalization
Hierarchy normalization
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex/dependency.lux19
-rw-r--r--stdlib/source/program/aedifex/dependency/deployment.lux43
-rw-r--r--stdlib/source/program/aedifex/dependency/resolution.lux77
-rw-r--r--stdlib/source/program/aedifex/dependency/status.lux15
4 files changed, 79 insertions, 75 deletions
diff --git a/stdlib/source/program/aedifex/dependency.lux b/stdlib/source/program/aedifex/dependency.lux
index f06b00260..1ac750d62 100644
--- a/stdlib/source/program/aedifex/dependency.lux
+++ b/stdlib/source/program/aedifex/dependency.lux
@@ -1,13 +1,14 @@
(.module:
- [lux (#- Type)
- [abstract
- [equivalence (#+ Equivalence)]
- [order (#+ Order)]
- [hash (#+ Hash)]]
- [data
- ["." product]
- ["." text ("#\." order)
- ["%" format (#+ format)]]]]
+ [library
+ [lux (#- Type)
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [order (#+ Order)]
+ [hash (#+ Hash)]]
+ [data
+ ["." product]
+ ["." text ("#\." order)
+ ["%" format (#+ format)]]]]]
["." // #_
["#" artifact (#+ Artifact) ("#\." order)
[type (#+ Type)]]])
diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux
index edfa3142b..7939173dd 100644
--- a/stdlib/source/program/aedifex/dependency/deployment.lux
+++ b/stdlib/source/program/aedifex/dependency/deployment.lux
@@ -1,25 +1,26 @@
(.module:
- [lux #*
- [abstract
- [codec (#+ Codec)]
- ["." monad (#+ do)]]
- [control
- ["." try (#+ Try)]
- [concurrency
- ["." promise (#+ Promise)]]]
- [data
- [binary (#+ Binary)]
- ["." product]
- [text
- ["%" format (#+ format)]
- [encoding
- ["." utf8]]]
- [collection
- ["." dictionary]
- ["." set (#+ Set)]
- ["." list ("#\." monoid)]]]
- [time
- ["." instant (#+ Instant)]]]
+ [library
+ [lux #*
+ [abstract
+ [codec (#+ Codec)]
+ ["." monad (#+ do)]]
+ [control
+ ["." try (#+ Try)]
+ [concurrency
+ ["." promise (#+ Promise)]]]
+ [data
+ [binary (#+ Binary)]
+ ["." product]
+ [text
+ ["%" format (#+ format)]
+ [encoding
+ ["." utf8]]]
+ [collection
+ ["." dictionary]
+ ["." set (#+ Set)]
+ ["." list ("#\." monoid)]]]
+ [time
+ ["." instant (#+ Instant)]]]]
["." /// #_
[repository (#+ Repository)]
["#." hash (#+ Hash)]
diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux
index 698678f41..15a32959b 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -1,42 +1,43 @@
(.module:
- [lux (#- Name)
- ["." debug]
- ["." ffi (#+ import:)]
- [abstract
- [codec (#+ Codec)]
- [equivalence (#+ Equivalence)]
- [monad (#+ Monad do)]]
- [control
- ["." try (#+ Try) ("#\." functor)]
- ["." exception (#+ Exception exception:)]
- ["<>" parser
- ["<.>" xml (#+ Parser)]]
- [concurrency
- ["." promise (#+ Promise)]]]
- [data
- ["." binary (#+ Binary)]
- ["." name]
- ["." maybe]
- ["." text
- ["%" format (#+ format)]
- [encoding
- ["." utf8]]]
- [format
- ["." xml (#+ Tag XML)]]
- [collection
- ["." dictionary (#+ Dictionary)]
- ["." set]
- ["." list ("#\." functor monoid)]]]
- [math
- [number
- ["n" nat]
- ["." i64]]]
- [world
- [console (#+ Console)]
- [net (#+ URL)
- ["." uri]
- ["." http #_
- ["#" client]]]]]
+ [library
+ [lux (#- Name)
+ ["." debug]
+ ["." ffi (#+ import:)]
+ [abstract
+ [codec (#+ Codec)]
+ [equivalence (#+ Equivalence)]
+ [monad (#+ Monad do)]]
+ [control
+ ["." try (#+ Try) ("#\." functor)]
+ ["." exception (#+ Exception exception:)]
+ ["<>" parser
+ ["<.>" xml (#+ Parser)]]
+ [concurrency
+ ["." promise (#+ Promise)]]]
+ [data
+ ["." binary (#+ Binary)]
+ ["." name]
+ ["." maybe]
+ ["." text
+ ["%" format (#+ format)]
+ [encoding
+ ["." utf8]]]
+ [format
+ ["." xml (#+ Tag XML)]]
+ [collection
+ ["." dictionary (#+ Dictionary)]
+ ["." set]
+ ["." list ("#\." functor monoid)]]]
+ [math
+ [number
+ ["n" nat]
+ ["." i64]]]
+ [world
+ [console (#+ Console)]
+ [net (#+ URL)
+ ["." uri]
+ ["." http #_
+ ["#" client]]]]]]
["." // (#+ Dependency)
["#." status (#+ Status)]
["/#" // #_
diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux
index f501ebc8b..db97f59b0 100644
--- a/stdlib/source/program/aedifex/dependency/status.lux
+++ b/stdlib/source/program/aedifex/dependency/status.lux
@@ -1,11 +1,12 @@
(.module:
- [lux #*
- [abstract
- [equivalence (#+ Equivalence)]]
- [data
- [binary (#+ Binary)]
- ["." sum]
- ["." product]]]
+ [library
+ [lux #*
+ [abstract
+ [equivalence (#+ Equivalence)]]
+ [data
+ [binary (#+ Binary)]
+ ["." sum]
+ ["." product]]]]
["." /// #_
["#." hash (#+ Hash SHA-1 MD5)]])