diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/repository.lux | 24 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/repository/identity.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/repository/local.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/repository/origin.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/repository/remote.lux | 12 |
5 files changed, 24 insertions, 24 deletions
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index 80d3f43e9..465d46709 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -1,27 +1,27 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}] - ["[0]" monad {"+" do}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)] + ["[0]" monad (.only do)]] [control ["[0]" io] ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" product] - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [world [net - ["[0]" uri {"+" URI}]]]]] + ["[0]" uri (.only URI)]]]]] ["[0]" / "_" ["[1][0]" identity] ["[1][0]" origin] @@ -35,8 +35,8 @@ ["[0]" / ["[0]" remote] ["/[1]" // "_" - ["[1][0]" artifact {"+" Version Artifact} - ["[1]/[0]" extension {"+" Extension}]]]]]) + ["[1][0]" artifact (.only Version Artifact) + ["[1]/[0]" extension (.only Extension)]]]]]) (def: artifact (-> Version Artifact) diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index e1b67e424..9dbd6a858 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 9c9703d55..d8867b598 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] [parser diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index 90a0f89dd..2f652b513 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index c20722d4c..79c4987a0 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" monad)] ["[0]" exception] @@ -13,15 +13,15 @@ [data ["[0]" binary ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" dictionary]]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [world - [net {"+" URL} + [net (.only URL) ["[0]" http "_" ["[1]" client] ["[1]/[0]" status] |