diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/program/aedifex/repository.lux | 29 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/repository/identity.lux | 21 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/repository/local.lux | 31 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/repository/origin.lux | 19 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/repository/remote.lux | 49 | 
5 files changed, 77 insertions, 72 deletions
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index 05560c6c9..93e9096e7 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -1,18 +1,19 @@  (.module: -  [lux #* -   [abstract -    [monad (#+ do)]] -   [control -    [io (#+ IO)] -    ["." try (#+ Try)] -    [concurrency -     ["." promise (#+ Promise)] -     ["." stm]]] -   [data -    [binary (#+ Binary)]] -   [world -    [net -     [uri (#+ URI)]]]]) +  [library +   [lux #* +    [abstract +     [monad (#+ do)]] +    [control +     [io (#+ IO)] +     ["." try (#+ Try)] +     [concurrency +      ["." promise (#+ Promise)] +      ["." stm]]] +    [data +     [binary (#+ Binary)]] +    [world +     [net +      [uri (#+ URI)]]]]])  (interface: #export (Repository !)    (: Text 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)]     ["/#" // #_  | 
