diff options
Diffstat (limited to 'stdlib/source/test/aedifex/dependency')
-rw-r--r-- | stdlib/source/test/aedifex/dependency/deployment.lux | 62 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/dependency/resolution.lux | 62 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/dependency/status.lux | 18 |
3 files changed, 71 insertions, 71 deletions
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) |