From 5d44577c3849a045052dc1c9f0dd7deddd032120 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 1 Jun 2022 21:52:34 -0400 Subject: Extensible import syntax: Part 1 --- .../source/test/aedifex/dependency/deployment.lux | 28 +++++++++++----------- .../source/test/aedifex/dependency/resolution.lux | 18 +++++++------- stdlib/source/test/aedifex/dependency/status.lux | 6 ++--- 3 files changed, 26 insertions(+), 26 deletions(-) (limited to 'stdlib/source/test/aedifex/dependency') diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index f9f5e6763..d647ad815 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -1,33 +1,33 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - ["[0]" hash {"+" Hash}]] + [monad (.only do)] + ["[0]" hash (.only Hash)]] [control - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" functor)] [concurrency - ["[0]" atom {"+" Atom}] + ["[0]" atom (.only Atom)] ["[0]" async]]] [data ["[0]" product] - ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" set] ["[0]" list ("[1]#[0]" mix)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world - [net {"+" URL} - ["[0]" uri {"+" URI}] + [net (.only URL) + ["[0]" uri (.only URI)] ["[0]" http "_" ["[1]" client] ["[1]/[0]" status] @@ -37,13 +37,13 @@ ["[1][0]" package]]] [\\program ["[0]" / - [// {"+" Dependency} + [// (.only Dependency) ["[0]" resolution] [// ["[0]" profile] ["[0]" metadata] - ["[0]" package {"+" Package}] - ["[0]" artifact {"+" Artifact} ("[1]#[0]" equivalence) + ["[0]" package (.only Package)] + ["[0]" artifact (.only Artifact) ("[1]#[0]" equivalence) ["[1]/[0]" type] ["[1]/[0]" extension]] ["[0]" repository diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index e5db7fe3c..2455043f4 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -1,9 +1,9 @@ (.using [library [lux {"-" all} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence]]] @@ -13,10 +13,10 @@ [concurrency ["[0]" async]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [format @@ -26,7 +26,7 @@ ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] ["$[0]" /// "_" ["[1][0]" package] ["[1][0]" repository] @@ -37,15 +37,15 @@ ["[0]" / ["//[1]" /// "_" ["[1]" profile] - ["[1][0]" package {"+" Package}] + ["[1][0]" package (.only Package)] ["[1][0]" hash] - ["[1][0]" dependency {"+" Dependency} ("[1]#[0]" equivalence) + ["[1][0]" dependency (.only Dependency) ("[1]#[0]" equivalence) ["[1]/[0]" status]] ["[1][0]" pom] - ["[1][0]" artifact {"+" Artifact} + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" type] ["[1]/[0]" extension]] - ["[1][0]" repository {"+" Mock} + ["[1][0]" repository (.only Mock) ["[1]/[0]" origin]]]]]) (def: random diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index 5f221b4e4..f41c64825 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [data ["[0]" binary "_" ["[1]T" \\test]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] ["$[0]" /// "_" ["[1][0]" hash]] [\\program -- cgit v1.2.3