diff options
Diffstat (limited to '')
4 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index 49cb01312..bd1d23d3e 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -15,7 +15,7 @@ [net [uri (.only URI)]]]]]) -(type: .public (Repository !) +(type .public (Repository !) (Interface (is Text description) @@ -36,7 +36,7 @@ (async.future (at repository upload uri content))) )) -(type: .public (Mock s) +(type .public (Mock s) (Interface (is Text the_description) diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux index 4f5733651..348a3fc46 100644 --- a/stdlib/source/program/aedifex/repository/identity.lux +++ b/stdlib/source/program/aedifex/repository/identity.lux @@ -11,13 +11,13 @@ [encoding ["[0]" utf8]]]]]]) -(type: .public User +(type .public User Text) -(type: .public Password +(type .public Password Text) -(type: .public Identity +(type .public Identity (Record [#user User #password Password])) diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux index 46f0822c2..e8b9c22a4 100644 --- a/stdlib/source/program/aedifex/repository/origin.lux +++ b/stdlib/source/program/aedifex/repository/origin.lux @@ -10,7 +10,7 @@ [file (.only Path)] [net (.only URL)]]]]) -(type: .public Origin +(type .public Origin (Variant {#Local Path} {#Remote URL})) diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index d939915d8..2414e25d8 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -31,7 +31,7 @@ ["[1][0]" artifact (.only Version Artifact) [extension (.only Extension)]]]]) -(type: .public Address +(type .public Address URL) (with_template [<name>] |