diff options
Diffstat (limited to 'stdlib/source/program/aedifex/repository')
4 files changed, 62 insertions, 58 deletions
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux index ef7b0c934..dccecf291 100644 --- a/stdlib/source/program/aedifex/repository/identity.lux +++ b/stdlib/source/program/aedifex/repository/identity.lux @@ -1,14 +1,15 @@ (.module: - [lux #* - ["." ffi (#+ import:)] - [abstract - [equivalence (#+ Equivalence)]] - [data - ["." product] - ["." text - ["%" format (#+ format)] - [encoding - ["." utf8]]]]]) + [library + [lux #* + ["." ffi (#+ import:)] + [abstract + [equivalence (#+ Equivalence)]] + [data + ["." product] + ["." text + ["%" format (#+ format)] + [encoding + ["." utf8]]]]]]) (type: #export User Text) diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux index b68425609..e7dbb7d4d 100644 --- a/stdlib/source/program/aedifex/repository/local.lux +++ b/stdlib/source/program/aedifex/repository/local.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - [abstract - [monad (#+ do)]] - [control - ["." try] - [concurrency - ["." promise (#+ Promise)]]] - [data - ["." text - ["%" format (#+ format)]]] - [world - [program (#+ Program)] - ["." file] - [net - ["." uri (#+ URI)]]]] + [library + [lux #* + [abstract + [monad (#+ do)]] + [control + ["." try] + [concurrency + ["." promise (#+ Promise)]]] + [data + ["." text + ["%" format (#+ format)]]] + [world + [program (#+ Program)] + ["." file] + [net + ["." uri (#+ URI)]]]]] ["." // ["/#" // #_ ["#." local] diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux index ca97a8cff..be7d24a6e 100644 --- a/stdlib/source/program/aedifex/repository/origin.lux +++ b/stdlib/source/program/aedifex/repository/origin.lux @@ -1,13 +1,14 @@ (.module: - [lux #* - [abstract - [equivalence (#+ Equivalence)]] - [data - ["." sum] - ["." text]] - [world - [file (#+ Path)] - [net (#+ URL)]]]) + [library + [lux #* + [abstract + [equivalence (#+ Equivalence)]] + [data + ["." sum] + ["." text]] + [world + [file (#+ Path)] + [net (#+ URL)]]]]) (type: #export Origin (#Local Path) diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index 7feaa9710..118085389 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -1,28 +1,29 @@ (.module: - [lux #* - [abstract - [monad (#+ do)]] - [control - ["." io (#+ IO)] - ["." try (#+ Try)] - ["." exception (#+ exception:)]] - [data - ["." product] - [text - ["%" format (#+ format)]]] - [tool - [compiler - ["." version] - ["." language #_ - ["#/." lux #_ - ["#" version]]]]] - [world - [net (#+ URL) - [uri (#+ URI)] - ["." http #_ - ["#" client] - ["#/." status] - ["@#" /]]]]] + [library + [lux #* + [abstract + [monad (#+ do)]] + [control + ["." io (#+ IO)] + ["." try (#+ Try)] + ["." exception (#+ exception:)]] + [data + ["." product] + [text + ["%" format (#+ format)]]] + [tool + [compiler + ["." version] + ["." language #_ + ["#/." lux #_ + ["#" version]]]]] + [world + [net (#+ URL) + [uri (#+ URI)] + ["." http #_ + ["#" client] + ["#/." status] + ["@#" /]]]]]] ["." // ["#." identity (#+ Identity)] ["/#" // #_ |