diff options
author | Eduardo Julián | 2021-07-14 14:44:53 -0400 |
---|---|---|
committer | GitHub | 2021-07-14 14:44:53 -0400 |
commit | 89ca40f2f101b2b38187eab5cf905371cd47eb57 (patch) | |
tree | f05fd1677a70988c6b39c07e52d031d86eff28f1 /stdlib/source/program/aedifex/dependency | |
parent | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff) | |
parent | 8252bdb938a0284dd12e7365b4eb84b5357bacac (diff) |
Merge pull request #58 from LuxLang/hierarchy_normalization
Hierarchy normalization
Diffstat (limited to '')
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)]]) |