diff options
Diffstat (limited to 'stdlib/source/specification')
27 files changed, 47 insertions, 47 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index 777040e35..9cc2e0f2d 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index ad95c3c6f..f8d5dcc97 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except) ["_" test (.only Test)] [abstract diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux index 8aae58f13..018683d99 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except) ["_" test (.only Test)] [abstract diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index 50383371b..34e5aa19b 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except) [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index e1603a517..86c09da51 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except case) ["_" test (.only Test)] [abstract @@ -7,13 +7,13 @@ ["[0]" pipe] ["[0]" try (.only Try)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [number ["n" nat] ["f" frac]] [collection - ["[0]" list (.open: "[1]#[0]" mix)]]] + ["[0]" list (.use "[1]#[0]" mix)]]] [math ["r" random (.only Random)]] [tool diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index fabd44907..ec8adb582 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except i64) ["_" test (.only Test)] [abstract @@ -7,13 +7,13 @@ ["[0]" pipe] ["[0]" try (.only Try)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [number ["[0]" i64] ["n" nat] ["i" int] ["f" frac]] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection ["[0]" list]]] diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index a7cb2de43..632f0db75 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except function) ["_" test (.only Test)] [abstract @@ -10,9 +10,9 @@ [number ["n" nat]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math - ["r" random (.only Random) (.open: "[1]#[0]" monad)]] + ["r" random (.only Random) (.use "[1]#[0]" monad)]] [tool [compiler [analysis (.only Arity)] diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index f927d5dd2..0a21ad67b 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except) ["_" test (.only Test)] [abstract @@ -7,10 +7,10 @@ ["[0]" pipe] ["[0]" try]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [number ["f" frac]] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["r" random]] diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux index c7ba5c2bf..a5244bc8c 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except symbol) ["_" test (.only Test)] [abstract diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index bfc6621b9..efdbd3ad2 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except) ["_" test (.only Test)] [abstract @@ -11,11 +11,11 @@ [number ["n" nat] ["i" int]] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection ["[0]" array (.only Array)] - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["r" random]] ["[0]" ffi (.only import)] diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 385cbfb2d..fd4025b0b 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux index 9c91c18e9..acbc07647 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux index 4050d2660..897c29f06 100644 --- a/stdlib/source/specification/lux/abstract/comonad.lux +++ b/stdlib/source/specification/lux/abstract/comonad.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux index 021d6ba96..a1cf2820e 100644 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ b/stdlib/source/specification/lux/abstract/enum.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux index d7ebc8895..b2b643d4f 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index 5551e5a6f..935c37f98 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux index 5cb3b75ee..6099ce42a 100644 --- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux index d8294015c..b66181035 100644 --- a/stdlib/source/specification/lux/abstract/hash.lux +++ b/stdlib/source/specification/lux/abstract/hash.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux index 2ccb4da32..e0a012e9b 100644 --- a/stdlib/source/specification/lux/abstract/interval.lux +++ b/stdlib/source/specification/lux/abstract/interval.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux index 5d3ed3994..d4f0bcadc 100644 --- a/stdlib/source/specification/lux/abstract/mix.lux +++ b/stdlib/source/specification/lux/abstract/mix.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux index b4b3f7029..e95ddf67d 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux index 8cc42c232..dedaca77b 100644 --- a/stdlib/source/specification/lux/abstract/monoid.lux +++ b/stdlib/source/specification/lux/abstract/monoid.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux index 7e6c7a0d2..4d448c958 100644 --- a/stdlib/source/specification/lux/abstract/order.lux +++ b/stdlib/source/specification/lux/abstract/order.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index e3ab5391e..78953c351 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index 1b31a1e4c..8e938dcfe 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,17 +7,17 @@ ["[0]" predicate]] [control [io (.only IO)] - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception] [concurrency ["[0]" async (.only Async)]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] [encoding - ["[0]" utf8 (.open: "[1]#[0]" codec)]]] - ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence monoid) + ["[0]" utf8 (.use "[1]#[0]" codec)]]] + ["[0]" binary (.only Binary) (.use "[1]#[0]" equivalence monoid) ["$[1]" \\test]] [collection ["[0]" list]]] @@ -26,7 +26,7 @@ [number ["n" nat]]] [time - ["[0]" instant (.only Instant) (.open: "[1]#[0]" equivalence)]]]] + ["[0]" instant (.only Instant) (.use "[1]#[0]" equivalence)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux index 8bfacf0c8..b941158b4 100644 --- a/stdlib/source/specification/lux/world/program.lux +++ b/stdlib/source/specification/lux/world/program.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index fbd952add..2ac53794c 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -1,18 +1,18 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] [concurrency - ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]] + ["[0]" async (.only Async) (.use "[1]#[0]" monad)]] [parser ["[0]" environment (.only Environment)]]] [data ["[0]" product] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["[0]" random] |