diff options
Diffstat (limited to 'stdlib/source/test/aedifex')
46 files changed, 653 insertions, 653 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index d1ecac072..51281e4a8 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -6,25 +6,25 @@ [monad {"+" [do]}] [hash {"+" [Hash]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." hash]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" hash]]] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [world - ["." file] + ["[0]" file] [net - ["." uri]]]]] - ["." / "_" - ["#." extension] - ["#." snapshot] - ["#." time] - ["#." type] - ["#." versioning]] + ["[0]" uri]]]]] + ["[0]" / "_" + ["[1][0]" extension] + ["[1][0]" snapshot] + ["[1][0]" time] + ["[1][0]" type] + ["[1][0]" versioning]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Artifact) diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index 4a99544db..e9ecafe17 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." set] - ["." list]]] + ["[0]" set] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\program - ["." / - ["/#" // "_" - ["#" type]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" type]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index e04b49e71..b411f425c 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" xml]]] + ["<[0]>" xml]]] [math - ["." random {"+" [Random]} ("#\." monad)]]]] - ["$." / "_" - ["#." build] - ["#." stamp] - ["#." time] - ["#." version]] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]] + ["$[0]" / "_" + ["[1][0]" build] + ["[1][0]" stamp] + ["[1][0]" time] + ["[1][0]" version]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Snapshot) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index e3e0c62cd..24f6ee539 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" xml]]] + ["<[0]>" xml]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Build) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index 82217bd62..0ece8e264 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" xml]]] + ["<[0]>" xml]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [time - ["." instant]]]] + ["[0]" instant]]]] [\\program - ["." /]] - ["$." // "_" - ["#." time] - ["#." build]]) + ["[0]" /]] + ["$[0]" // "_" + ["[1][0]" time] + ["[1][0]" build]]) (def: .public random (Random /.Stamp) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index f11fe6f12..50fbbbf49 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -5,17 +5,17 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" text]]] + ["<[0]>" text]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]] - ["$." /// "_" - ["#." time]]) + ["[0]" /]] + ["$[0]" /// "_" + ["[1][0]" time]]) (def: .public random (Random /.Time) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 162b05348..238a0d2a3 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" xml]]] + ["<[0]>" xml]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]] - ["." / "_" - ["#." value]] - ["$." /// "_" - ["#." type] - ["#." time]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" value]] + ["$[0]" /// "_" + ["[1][0]" type] + ["[1][0]" time]]) (def: .public random (Random /.Version) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index e63453f84..bccd76fac 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -5,28 +5,28 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" text]]] + ["<[0]>" text]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat] ["i" int]]] [time - ["." instant]]]] - ["$." /// "_" - ["#." stamp]] + ["[0]" instant]]]] + ["$[0]" /// "_" + ["[1][0]" stamp]] [\\program - ["." / - ["//#" /// - ["#." stamp] - ["#." time]]]]) + ["[0]" / + ["//[1]" /// + ["[1][0]" stamp] + ["[1][0]" time]]]]) (def: .public random (Random /.Value) diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index a7d3f1463..9cfefe6f6 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" text]]] + ["<[0]>" text]]] [time - ["." instant ("#\." equivalence)]] + ["[0]" instant ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["i" int]]]]] [\\program - ["." /]] - ["." / "_" - ["#." date] - ["#." time]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" date] + ["[1][0]" time]]) (def: .public random (Random /.Time) diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 6762ed541..e76cf4259 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] - ["." exception] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception] [parser - ["<.>" text]]] + ["<[0]>" text]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]] [time - ["." date ("#\." equivalence)] - ["." year]]]] + ["[0]" date ("[1]\[0]" equivalence)] + ["[0]" year]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Date) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index d156d5f03..6351eca60 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -2,20 +2,20 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." time] + ["[0]" time] [abstract [monad {"+" [do]}]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" text]]] + ["<[0]>" text]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Time) diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index e0d537c1b..00b483a75 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}]] [data - ["." text] + ["[0]" text] [collection - ["." set] - ["." list]]] + ["[0]" set] + ["[0]" list]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Type) diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index a9ef8d07b..3d489eb38 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -5,19 +5,19 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" xml]]] + ["<[0]>" xml]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]] - ["$." // "_" - ["#." time] - ["#." snapshot - ["#/." version]]]) + ["[0]" /]] + ["$[0]" // "_" + ["[1][0]" time] + ["[1][0]" snapshot + ["[1]/[0]" version]]]) (def: .public random (Random /.Versioning) diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index 7bd36499b..fc5efcf8f 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -3,47 +3,47 @@ [lux {"-" [Type type]} ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." try] + ["[0]" try] [concurrency - ["." async {"+" [Async]}]] + ["[0]" async {"+" [Async]}]] [parser - ["." environment]]] + ["[0]" environment]]] [data [binary {"+" [Binary]}] - ["." text] + ["[0]" text] [format [xml {"+" [XML]}]] [collection - ["." set] - ["." dictionary]]] + ["[0]" set] + ["[0]" dictionary]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]] [world - ["." file] - ["." program]]]] + ["[0]" file] + ["[0]" program]]]] [// - ["@." profile] - ["@." artifact] + ["@[0]" profile] + ["@[0]" artifact] [// [lux [data - ["_." binary]]]]] + ["_[0]" binary]]]]] [\\program - ["." / - ["/#" // "_" - ["#" profile {"+" [Profile]}] - ["#." package {"+" [Package]}] - ["#." pom] - ["#." dependency {"+" [Dependency]} - ["#/." resolution {"+" [Resolution]}]] - ["#." artifact {"+" [Artifact]} - ["#/." type {"+" [Type]}]] - ["#." repository "_" - ["#/." origin]]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" profile {"+" [Profile]}] + ["[1][0]" package {"+" [Package]}] + ["[1][0]" pom] + ["[1][0]" dependency {"+" [Dependency]} + ["[1]/[0]" resolution {"+" [Resolution]}]] + ["[1][0]" artifact {"+" [Artifact]} + ["[1]/[0]" type {"+" [Type]}]] + ["[1][0]" repository "_" + ["[1]/[0]" origin]]]]]) (def: type (Random Type) diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index 8a51928af..9cc55fd2c 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control [pipe {"+" [case>]}] - ["." try] + ["[0]" try] [parser - ["." cli]]] + ["[0]" cli]]] [data - ["." text] + ["[0]" text] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]} ("#\." monad)]]]] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]] [\\program - ["." / - ["/#" // "_" - ["#" profile]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" profile]]]]) (def: compilation (Random /.Compilation) diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux index 704376f9c..5cefcb033 100644 --- a/stdlib/source/test/aedifex/command.lux +++ b/stdlib/source/test/aedifex/command.lux @@ -2,21 +2,21 @@ [library [lux "*" ["_" test {"+" [Test]}]]] - ["." / "_" - ["#." version] - ["#." pom] + ["[0]" / "_" + ["[1][0]" version] + ["[1][0]" pom] - ["#." clean] - ["#." install] + ["[1][0]" clean] + ["[1][0]" install] - ["#." deps] - ["#." deploy] + ["[1][0]" deps] + ["[1][0]" deploy] - ["#." build] - ["#." test] - ["#." auto]] + ["[1][0]" build] + ["[1][0]" test] + ["[1][0]" auto]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index 71608e83d..4511d8a03 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -6,41 +6,41 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try] + ["[0]" try] [parser - ["." environment]] + ["[0]" environment]] [concurrency - ["." atom {"+" [Atom]}] - ["." async {"+" [Async]}]]] + ["[0]" atom {"+" [Atom]}] + ["[0]" async {"+" [Async]}]]] [data - ["." binary] - ["." text + ["[0]" binary] + ["[0]" text ["%" format {"+" [format]}] [encoding - ["." utf8]]] + ["[0]" utf8]]] [collection - ["." set]]] + ["[0]" set]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]] [time - ["." instant]] + ["[0]" instant]] [world [console {"+" [Console]}] - ["." shell {"+" [Exit Shell]}] - ["." program {"+" [Program]}] - ["." file - ["." watch]]]]] - ["." // "_" - ["$." version] - ["$." build]] + ["[0]" shell {"+" [Exit Shell]}] + ["[0]" program {"+" [Program]}] + ["[0]" file + ["[0]" watch]]]]] + ["[0]" // "_" + ["$[0]" version] + ["$[0]" build]] [\\program - ["." / - ["//#" /// "_" + ["[0]" / + ["//[1]" /// "_" [command {"+" [Command]}] - ["#" profile {"+" [Profile]}] - ["#." action] + ["[1]" profile {"+" [Profile]}] + ["[1][0]" action] [dependency [resolution {"+" [Resolution]}]]]]]) diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index cbdfdc929..c856b11f5 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -7,35 +7,35 @@ [control [pipe {"+" [case>]}] [io {"+" [IO]}] - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [concurrency - ["." async {"+" [Async]}]] + ["[0]" async {"+" [Async]}]] [parser - ["." environment]]] + ["[0]" environment]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." dictionary]]] + ["[0]" dictionary]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [world - ["." file] - ["." shell {"+" [Shell]}] - ["." program]]]] - ["." // "_" - ["@." version] - ["$/#" // "_" - ["#." package]]] + ["[0]" file] + ["[0]" shell {"+" [Shell]}] + ["[0]" program]]]] + ["[0]" // "_" + ["@[0]" version] + ["$/[1]" // "_" + ["[1][0]" package]]] [\\program - ["." / - ["//#" /// "_" - ["#" profile {"+" [Profile]}] - ["#." action] - ["#." artifact - ["#/." type]] - ["#." dependency {"+" [Dependency]} - ["#/." resolution {"+" [Resolution]}]]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1]" profile {"+" [Profile]}] + ["[1][0]" action] + ["[1][0]" artifact + ["[1]/[0]" type]] + ["[1][0]" dependency {"+" [Dependency]} + ["[1]/[0]" resolution {"+" [Resolution]}]]]]]) (def: .public good_shell (-> Any (Shell IO)) diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux index c59b75719..83c3e5a80 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -3,38 +3,38 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." try {"+" [Try]}] + ["[0]" try {"+" [Try]}] [concurrency - ["." async {"+" [Async]}]]] + ["[0]" async {"+" [Async]}]]] [data [binary {"+" [Binary]}] - ["." product] - ["." text ("#\." equivalence) + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor)] - ["." set]]] + ["[0]" list ("[1]\[0]" functor)] + ["[0]" set]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] [world - ["." file {"+" [Path]}]]]] + ["[0]" file {"+" [Path]}]]]] [// - ["@." version] + ["@[0]" version] [// - ["@." profile] + ["@[0]" profile] [// [lux [data - ["$." binary]]]]]] + ["$[0]" binary]]]]]] [\\program - ["." / - ["//#" /// "_" - ["#" profile] - ["#." action {"+" [Action]}]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1]" profile] + ["[1][0]" action {"+" [Action]}]]]]) (def: node_name (Random Text) diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux index 93bf3de79..219a2931b 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -5,49 +5,49 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe] - ["." try {"+" [Try]}] + ["[0]" maybe] + ["[0]" try {"+" [Try]}] [concurrency - ["." async {"+" [Async]}]] + ["[0]" async {"+" [Async]}]] [parser - ["." environment]]] + ["[0]" environment]]] [data - ["." binary ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" binary ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}] [encoding - ["." utf8]]] - ["." format "_" - ["#" binary] - ["." tar] - ["." xml]] + ["[0]" utf8]]] + ["[0]" format "_" + ["[1]" binary] + ["[0]" tar] + ["[0]" xml]] [collection - ["." set]]] + ["[0]" set]]] [math - ["." random]] + ["[0]" random]] [world - ["." file] - ["." program {"+" [Program]}]]]] + ["[0]" file] + ["[0]" program {"+" [Program]}]]]] [program [compositor - ["." export]]] + ["[0]" export]]] [// - ["$." install] - ["$." version] + ["$[0]" install] + ["$[0]" version] [// - ["$." profile] - ["$." repository]]] + ["$[0]" profile] + ["$[0]" repository]]] [\\program - ["." / - ["//#" /// "_" - ["#" profile] - ["#." action] - ["#." pom] - ["#." hash] - ["#." repository {"+" [Repository]} - ["#/." remote]] - ["#." artifact {"+" [Artifact]} - ["#/." extension]]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1]" profile] + ["[1][0]" action] + ["[1][0]" pom] + ["[1][0]" hash] + ["[1][0]" repository {"+" [Repository]} + ["[1]/[0]" remote]] + ["[1][0]" artifact {"+" [Artifact]} + ["[1]/[0]" extension]]]]]) (def: (execute! program repository fs artifact profile) (-> (Program Async) (Repository Async) (file.System Async) diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index 3047ccb2b..3d563f540 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -4,53 +4,53 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." predicate]] + ["[0]" predicate]] [control - ["." try] + ["[0]" try] [concurrency - ["." async]] + ["[0]" async]] [parser - ["." environment]]] + ["[0]" environment]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}] [encoding - ["." utf8]]] + ["[0]" utf8]]] [collection - ["." dictionary] - ["." set]] + ["[0]" dictionary] + ["[0]" set]] [format - ["." xml]]] + ["[0]" xml]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [world - ["." program] - ["." file]]]] - ["." // "_" - ["@." version] - ["$/#" // "_" - ["#." package] - ["#." artifact] - ["#." dependency "_" - ["#/." resolution]]]] + ["[0]" program] + ["[0]" file]]]] + ["[0]" // "_" + ["@[0]" version] + ["$/[1]" // "_" + ["[1][0]" package] + ["[1][0]" artifact] + ["[1][0]" dependency "_" + ["[1]/[0]" resolution]]]] [\\program - ["." / - ["/#" // "_" - ["#." clean] - ["/#" // "_" - ["#" profile] - ["#." action] - ["#." pom] - ["#." package] - ["#." artifact - ["#/." type]] - ["#." dependency - ["#/." resolution] - ["#/." deployment] - ["#/." status]] - ["#." repository - ["#/." origin] - ["#/." local]]]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1][0]" clean] + ["/[1]" // "_" + ["[1]" profile] + ["[1][0]" action] + ["[1][0]" pom] + ["[1][0]" package] + ["[1][0]" artifact + ["[1]/[0]" type]] + ["[1][0]" dependency + ["[1]/[0]" resolution] + ["[1]/[0]" deployment] + ["[1]/[0]" status]] + ["[1][0]" repository + ["[1]/[0]" origin] + ["[1]/[0]" local]]]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index 3fe787e35..8ef29ec92 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -3,41 +3,41 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." try {"+" [Try]} ("#\." functor)] - ["." exception] + ["[0]" try {"+" [Try]} ("[1]\[0]" functor)] + ["[0]" exception] [concurrency - ["." async {"+" [Async]}]] + ["[0]" async {"+" [Async]}]] [parser - ["." environment]]] + ["[0]" environment]]] [data - ["." binary] - ["." text ("#\." equivalence) + ["[0]" binary] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." set {"+" [Set]}]]] + ["[0]" set {"+" [Set]}]]] [math - ["." random]] + ["[0]" random]] [world - ["." file] - ["." program {"+" [Program]}]]]] + ["[0]" file] + ["[0]" program {"+" [Program]}]]]] [// - ["$." version] + ["$[0]" version] [// - ["$." profile] - ["$." artifact]]] + ["$[0]" profile] + ["$[0]" artifact]]] [\\program - ["." / - ["/#" // "_" - ["/#" // "_" - ["#" profile] - ["#." action {"+" [Action]}] - ["#." local] - ["#." artifact - ["#/." extension]] - ["#." repository "_" - ["#/." local]]]]]]) + ["[0]" / + ["/[1]" // "_" + ["/[1]" // "_" + ["[1]" profile] + ["[1][0]" action {"+" [Action]}] + ["[1][0]" local] + ["[1][0]" artifact + ["[1]/[0]" extension]] + ["[1][0]" repository "_" + ["[1]/[0]" local]]]]]]) (def: .public (make_sources! fs sources) (-> (file.System Async) (Set file.Path) (Action (List Any))) diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux index be5c60598..80676974b 100644 --- a/stdlib/source/test/aedifex/command/pom.lux +++ b/stdlib/source/test/aedifex/command/pom.lux @@ -5,30 +5,30 @@ [abstract [monad {"+" [do]}]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [concurrency - ["." async]]] + ["[0]" async]]] [data - ["." binary ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" binary ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) [encoding - ["." utf8]]] + ["[0]" utf8]]] [format - ["." xml]]] + ["[0]" xml]]] [math - ["." random]] + ["[0]" random]] [world - ["." file]]]] + ["[0]" file]]]] [// - ["@." version] + ["@[0]" version] [// - ["@." profile]]] + ["@[0]" profile]]] [\\program - ["." / - ["//#" /// "_" - ["#" profile] - ["#." action] - ["#." pom]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1]" profile] + ["[1][0]" action] + ["[1][0]" pom]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index 6f04ef653..bbcb582b1 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -5,39 +5,39 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [concurrency - ["." async]] + ["[0]" async]] [parser - ["." environment]]] + ["[0]" environment]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." dictionary] - ["." list]]] + ["[0]" dictionary] + ["[0]" list]]] [math - ["." random]] + ["[0]" random]] [world - ["." file] - ["." shell] - ["." program]]]] - ["." // "_" - ["@." version] - ["@." build] - ["$/#" // "_" - ["#." package]]] + ["[0]" file] + ["[0]" shell] + ["[0]" program]]]] + ["[0]" // "_" + ["@[0]" version] + ["@[0]" build] + ["$/[1]" // "_" + ["[1][0]" package]]] [\\program - ["." / - ["/#" // "_" - ["#." build] - ["/#" // "_" - ["#" profile {"+" [Profile]}] - ["#." action] - ["#." artifact - ["#/." type]] - ["#." dependency - ["#/." resolution]]]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1][0]" build] + ["/[1]" // "_" + ["[1]" profile {"+" [Profile]}] + ["[1][0]" action] + ["[1][0]" artifact + ["[1]/[0]" type]] + ["[1][0]" dependency + ["[1]/[0]" resolution]]]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux index 74223d02f..1b2b0aa53 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -5,28 +5,28 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe] - ["." try] - ["." exception {"+" [exception:]}] + ["[0]" maybe] + ["[0]" try] + ["[0]" exception {"+" [exception:]}] [concurrency - ["." async {"+" [Async]}]]] + ["[0]" async {"+" [Async]}]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random]] + ["[0]" random]] [tool [compiler - ["." version] - ["." language "_" - ["#/." lux "_" - ["#" version]]]]] + ["[0]" version] + ["[0]" language "_" + ["[1]/[0]" lux "_" + ["[1]" version]]]]] [world - ["." console {"+" [Console Mock]}]]]] + ["[0]" console {"+" [Console Mock]}]]]] [/// - ["@." profile]] + ["@[0]" profile]] [\\program - ["." /]]) + ["[0]" /]]) (exception: .public console_is_closed!) diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index 0f3eb7db0..370803dfa 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." hash]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" hash]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [// - ["@." artifact]] + ["@[0]" artifact]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Dependency) diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index 8dfa5a853..5b7869eab 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -4,50 +4,50 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." hash {"+" [Hash]}]] + ["[0]" hash {"+" [Hash]}]] [control - ["." io {"+" [IO]}] - ["." maybe ("#\." functor)] - ["." try ("#\." functor)] + ["[0]" io {"+" [IO]}] + ["[0]" maybe ("[1]\[0]" functor)] + ["[0]" try ("[1]\[0]" functor)] [concurrency - ["." atom {"+" [Atom]}] - ["." async]]] + ["[0]" atom {"+" [Atom]}] + ["[0]" async]]] [data - ["." product] - ["." binary {"+" [Binary]} ("#\." equivalence)] - ["." text + ["[0]" product] + ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence)] + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." dictionary {"+" [Dictionary]}] - ["." set] - ["." list ("#\." mix)]]] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" set] + ["[0]" list ("[1]\[0]" mix)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] [world [net {"+" [URL]} - ["." uri {"+" [URI]}] - ["." http "_" - ["#" client] - ["#/." status] - ["@#" /]]]]]] - ["$." // - ["#/" // "_" - ["#." package]]] + ["[0]" uri {"+" [URI]}] + ["[0]" http "_" + ["[1]" client] + ["[1]/[0]" status] + ["@[1]" /]]]]]] + ["$[0]" // + ["[1]/" // "_" + ["[1][0]" package]]] [\\program - ["." / + ["[0]" / [// {"+" [Dependency]} - ["." resolution] + ["[0]" resolution] [// - ["." profile] - ["." metadata] - ["." package {"+" [Package]}] - ["." artifact {"+" [Artifact]} ("#\." equivalence) - ["#/." type] - ["#/." extension]] - ["." repository - ["." remote]]]]]]) + ["[0]" profile] + ["[0]" metadata] + ["[0]" package {"+" [Package]}] + ["[0]" artifact {"+" [Artifact]} ("[1]\[0]" equivalence) + ["[1]/[0]" type] + ["[1]/[0]" extension]] + ["[0]" repository + ["[0]" remote]]]]]]) (def: good_upload (@http.Response IO) diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index 7297b99ee..2fe39286d 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -4,49 +4,49 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." predicate] + ["[0]" predicate] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [concurrency - ["." async]]] + ["[0]" async]]] [data [binary {"+" [Binary]}] - ["." product] - ["." text + ["[0]" product] + ["[0]" text ["%" format {"+" [format]}] [encoding - ["." utf8]]] + ["[0]" utf8]]] [format - ["." xml]] + ["[0]" xml]] [collection - ["." dictionary] - ["." set] - ["." list]]] + ["[0]" dictionary] + ["[0]" set] + ["[0]" list]]] [math - ["." random {"+" [Random]}]]]] - ["$." /// "_" - ["#." package] - ["#." repository] - ["#." artifact] + ["[0]" random {"+" [Random]}]]]] + ["$[0]" /// "_" + ["[1][0]" package] + ["[1][0]" repository] + ["[1][0]" artifact] [command - ["#." version]]] + ["[1][0]" version]]] [\\program - ["." / - ["//#" /// "_" - ["#" profile] - ["#." package {"+" [Package]}] - ["#." hash] - ["#." dependency {"+" [Dependency]} ("#\." equivalence) - ["#/." status]] - ["#." pom] - ["#." artifact {"+" [Artifact]} - ["#/." type] - ["#/." extension]] - ["#." repository {"+" [Mock]} - ["#/." origin]]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1]" profile] + ["[1][0]" package {"+" [Package]}] + ["[1][0]" hash] + ["[1][0]" dependency {"+" [Dependency]} ("[1]\[0]" equivalence) + ["[1]/[0]" status]] + ["[1][0]" pom] + ["[1][0]" artifact {"+" [Artifact]} + ["[1]/[0]" type] + ["[1]/[0]" extension]] + ["[1][0]" repository {"+" [Mock]} + ["[1]/[0]" origin]]]]]) (def: random (Random /.Resolution) diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index 65bd7161e..981f18b0e 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [data - ["." binary "_" - ["#T" \\test]]] + ["[0]" binary "_" + ["[1]T" \\test]]] [math - ["." random {"+" [Random]} ("#\." monad)]]]] - ["$." /// "_" - ["#." hash]] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]] + ["$[0]" /// "_" + ["[1][0]" hash]] [\\program - ["." / - ["//#" /// "_" - ["#." hash]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1][0]" hash]]]]) (def: .public random (Random /.Status) diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index 94608cf7b..a3220b756 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -5,25 +5,25 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" codec]]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data - ["." binary {"+" [Binary]}] + ["[0]" binary {"+" [Binary]}] [text ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\program - ["." /]] + ["[0]" /]] [test [lux [data - ["_." binary]]]]) + ["_[0]" binary]]]]) (def: .public (random hash) (All (_ h) diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux index b725272e9..cf7f59840 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -5,29 +5,29 @@ [abstract [monad {"+" [do]}]] [control - ["." try {"+" [Try]}] + ["[0]" try {"+" [Try]}] [concurrency - ["." async {"+" [Async]}]]] + ["[0]" async {"+" [Async]}]]] [data [text ["%" format] [encoding - ["." utf8]]] + ["[0]" utf8]]] [collection - ["." set {"+" [Set]}]]] + ["[0]" set {"+" [Set]}]]] [math - ["." random]] + ["[0]" random]] [world - ["." file]]]] + ["[0]" file]]]] [// - ["$." profile]] + ["$[0]" profile]] [\\program - ["." / - ["/#" // "_" - ["#" profile {"+" [Profile]}] - ["#." project] - ["#." action] - ["#." format] + ["[0]" / + ["/[1]" // "_" + ["[1]" profile {"+" [Profile]}] + ["[1][0]" project] + ["[1][0]" action] + ["[1][0]" format] [repository [remote {"+" [Address]}]]]]]) diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux index 8a6de8dcd..bd49df4c8 100644 --- a/stdlib/source/test/aedifex/local.lux +++ b/stdlib/source/test/aedifex/local.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}]] [data - ["." text]] + ["[0]" text]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [// - ["@." artifact]] + ["@[0]" artifact]] [\\program - ["." / - ["/#" // "_" - ["#." artifact]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1][0]" artifact]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux index ad9460154..79ced5b8f 100644 --- a/stdlib/source/test/aedifex/metadata.lux +++ b/stdlib/source/test/aedifex/metadata.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}]] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random]]]] - ["." / "_" - ["#." artifact] - ["#." snapshot] + ["[0]" random]]]] + ["[0]" / "_" + ["[1][0]" artifact] + ["[1][0]" snapshot] [// - ["$." artifact]]] + ["$[0]" artifact]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 544da4d3c..0f0188ea3 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -5,41 +5,41 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." maybe] - ["." try ("#\." functor)] + ["[0]" maybe] + ["[0]" try ("[1]\[0]" functor)] [parser - ["." environment] - ["<.>" xml]] + ["[0]" environment] + ["<[0]>" xml]] [concurrency - ["." async]]] + ["[0]" async]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [macro - ["." code]] + ["[0]" code]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] - ["." time - ["." date] - ["." year] - ["." month] - ["." instant] - ["." duration]] + ["[0]" time + ["[0]" date] + ["[0]" year] + ["[0]" month] + ["[0]" instant] + ["[0]" duration]] [world - ["." file] - ["." program]]]] + ["[0]" file] + ["[0]" program]]]] [\\program - ["." / - ["/#" // - ["/#" // "_" - ["#." artifact] - ["#." repository "_" - ["#/." local]]]]]]) + ["[0]" / + ["/[1]" // + ["/[1]" // "_" + ["[1][0]" artifact] + ["[1][0]" repository "_" + ["[1]/[0]" local]]]]]]) (def: .public random (Random /.Metadata) diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 2c4866c2c..39d16bd27 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -5,49 +5,49 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." maybe] - ["." try ("#\." functor)] + ["[0]" maybe] + ["[0]" try ("[1]\[0]" functor)] [parser - ["." environment] - ["<.>" xml]] + ["[0]" environment] + ["<[0]>" xml]] [concurrency - ["." async]]] + ["[0]" async]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [macro - ["." code]] + ["[0]" code]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]] - ["." time - ["." date] - ["." year] - ["." month] - ["." instant {"+" [Instant]}] - ["." duration]] + ["[0]" time + ["[0]" date] + ["[0]" year] + ["[0]" month] + ["[0]" instant {"+" [Instant]}] + ["[0]" duration]] [world - ["." file] - ["." program]]]] - ["$." /// "_" - ["#." artifact - ["#/." type] - ["#/." time] - ["#/." snapshot "_" - ["#/." version]]]] + ["[0]" file] + ["[0]" program]]]] + ["$[0]" /// "_" + ["[1][0]" artifact + ["[1]/[0]" type] + ["[1]/[0]" time] + ["[1]/[0]" snapshot "_" + ["[1]/[0]" version]]]] [\\program - ["." / - ["/#" // - ["/#" // "_" + ["[0]" / + ["/[1]" // + ["/[1]" // "_" [artifact [versioning {"+" [Versioning]}] - ["#." snapshot]] - ["#." repository "_" - ["#/." local]]]]]]) + ["[1][0]" snapshot]] + ["[1][0]" repository "_" + ["[1]/[0]" local]]]]]]) (def: random_instant (Random Instant) diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index a7bc7d00a..61153b8ad 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -5,40 +5,40 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try]] + ["[0]" try]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text [encoding - ["." utf8]]] + ["[0]" utf8]]] [format - ["." xml {"+" [XML]}]] + ["[0]" xml {"+" [XML]}]] [collection - ["." set {"+" [Set]}]]] + ["[0]" set {"+" [Set]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] [world - ["." file]]]] + ["[0]" file]]]] [// - ["$." profile] + ["$[0]" profile] [// [lux [data - ["$." binary]]]]] + ["$[0]" binary]]]]] [\\program - ["." / - ["/#" // "_" - ["#" profile] - ["#." hash ("#\." equivalence)] - ["#." pom] + ["[0]" / + ["/[1]" // "_" + ["[1]" profile] + ["[1][0]" hash ("[1]\[0]" equivalence)] + ["[1][0]" pom] [dependency - ["#." status]] + ["[1][0]" status]] [repository - ["#." origin]]]]]) + ["[1][0]" origin]]]]]) (def: .public random (Random [//.Profile /.Package]) diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index 1d8c6c1b4..1152a1dba 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -7,31 +7,31 @@ [hash {"+" [Hash]}]] [control [pipe {"+" [case>]}] - ["." try] + ["[0]" try] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text] + ["[0]" text] [collection - ["." set {"+" [Set]}] - ["." dictionary {"+" [Dictionary]}] - ["." list ("#\." functor)]]] + ["[0]" set {"+" [Set]}] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] [macro - ["." code]]]] + ["[0]" code]]]] [// - ["@." profile]] + ["@[0]" profile]] [\\program - ["." / - ["/#" // "_" - ["#" profile] - ["#." project {"+" [Project]}] - ["#." artifact {"+" [Artifact]}] - ["#." dependency {"+" [Dependency]}] - ["#." format]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" profile] + ["[1][0]" project {"+" [Project]}] + ["[1][0]" artifact {"+" [Artifact]}] + ["[1][0]" dependency {"+" [Dependency]}] + ["[1][0]" format]]]]) (def: name (Random //.Name) diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux index f53bb2404..92f13bd4f 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] ["<>" parser - ["<.>" xml]]] + ["<[0]>" xml]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [format - ["." xml]]] + ["[0]" xml]]] [math - ["." random]]]] + ["[0]" random]]]] [// - ["@." profile]] + ["@[0]" profile]] [\\program - ["." / - ["/#" // "_" - ["#" profile]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" profile]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 728971bbf..7a0bcb279 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -6,31 +6,31 @@ [monad {"+" [do]}] [hash {"+" [Hash]}] [\\specification - ["$." equivalence] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" monoid]]] [control [pipe {"+" [case>]}] - ["." try] + ["[0]" try] [parser - ["." cli]]] + ["[0]" cli]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." set {"+" [Set]}] - ["." dictionary {"+" [Dictionary]}]]] + ["[0]" set {"+" [Set]}] + ["[0]" dictionary {"+" [Dictionary]}]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [// - ["@." artifact] - ["@." dependency]] + ["@[0]" artifact] + ["@[0]" dependency]] [\\program - ["." / - ["/#" // "_" - ["#." runtime] - ["#." dependency {"+" [Dependency]}] - ["#." format] + ["[0]" / + ["/[1]" // "_" + ["[1][0]" runtime] + ["[1][0]" dependency {"+" [Dependency]}] + ["[1][0]" format] [repository [remote {"+" [Address]}]]]]]) diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index 2e7eab542..94e61bd7c 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -5,24 +5,24 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" monoid]]] [control - ["." try ("#\." functor)] - ["." exception]] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception]] [data - ["." product] - ["." text ("#\." equivalence)]] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [// - ["@." profile]] + ["@[0]" profile]] [\\program - ["." / - ["/#" // "_" - ["#" profile]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" profile]]]]) (def: profile (Random [//.Name //.Profile]) diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index 9412b5fd5..7958dc7bb 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -5,38 +5,38 @@ [abstract [equivalence {"+" [Equivalence]}] [hash {"+" [Hash]}] - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." io] - ["." try] - ["." exception {"+" [exception:]}]] + ["[0]" io] + ["[0]" try] + ["[0]" exception {"+" [exception:]}]] [data - ["." product] - ["." binary {"+" [Binary]}] - ["." text + ["[0]" product] + ["[0]" binary {"+" [Binary]}] + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." dictionary {"+" [Dictionary]}]]] + ["[0]" dictionary {"+" [Dictionary]}]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [world [net - ["." uri {"+" [URI]}]]]]] - ["." / "_" - ["#." identity] - ["#." origin] - ["#." local] - ["#." remote] + ["[0]" uri {"+" [URI]}]]]]] + ["[0]" / "_" + ["[1][0]" identity] + ["[1][0]" origin] + ["[1][0]" local] + ["[1][0]" remote] [// - ["@." artifact]]] + ["@[0]" artifact]]] [\\specification - ["$." /]] + ["$[0]" /]] [\\program - ["." / - ["." remote] - ["/#" // "_" - ["#." artifact {"+" [Version Artifact]} - ["#/." extension {"+" [Extension]}]]]]]) + ["[0]" / + ["[0]" remote] + ["/[1]" // "_" + ["[1][0]" artifact {"+" [Version Artifact]} + ["[1]/[0]" extension {"+" [Extension]}]]]]]) (def: artifact (-> Version Artifact) diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index 045136c43..971e18a4b 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -4,11 +4,11 @@ ["_" test {"+" [Test]}] [abstract [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Identity) diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 135e10867..03c64b69a 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["." environment]] + ["[0]" environment]] [concurrency - ["." async]]] + ["[0]" async]]] [data - ["." binary ("#\." equivalence)] + ["[0]" binary ("[1]\[0]" equivalence)] [text [encoding - ["." utf8]]]] + ["[0]" utf8]]]] [math - ["." random]] + ["[0]" random]] [world - ["." file] - ["." program]]]] + ["[0]" file] + ["[0]" program]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index 6567471a1..f160df2e3 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -4,11 +4,11 @@ ["_" test {"+" [Test]}] [abstract [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Origin) diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index dfdbe03c5..9e405ddc5 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -5,31 +5,31 @@ [abstract [monad {"+" [do]}]] [control - ["." io {"+" [IO]}] - ["." maybe ("#\." functor)] - ["." try ("#\." monad)] - ["." exception] - ["." function]] + ["[0]" io {"+" [IO]}] + ["[0]" maybe ("[1]\[0]" functor)] + ["[0]" try ("[1]\[0]" monad)] + ["[0]" exception] + ["[0]" function]] [data - ["." binary ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" binary ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}] [encoding - ["." utf8]]] + ["[0]" utf8]]] [collection - ["." dictionary]]] + ["[0]" dictionary]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [world [net {"+" [URL]} - ["." http "_" - ["#" client] - ["#/." status] - ["@#" /]]]]]] + ["[0]" http "_" + ["[1]" client] + ["[1]/[0]" status] + ["@[1]" /]]]]]] [\\program - ["." / - ["/#" // "_" - ["#." identity]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1][0]" identity]]]]) (def: (url_body url) (-> URL (@http.Body IO)) diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux index 4653f7c11..0e5b72b01 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." maybe ("#\." functor)]] + ["[0]" maybe ("[1]\[0]" functor)]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list ("#\." functor)] - ["." set]]] + ["[0]" list ("[1]\[0]" functor)] + ["[0]" set]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Runtime) |