aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec
diff options
context:
space:
mode:
authorEduardo Julian2022-06-16 21:37:38 -0400
committerEduardo Julian2022-06-16 21:37:38 -0400
commit7249707e7c09be68dfb7507ba363efd3300a0141 (patch)
tree1fb4764458da16353315ea7e267f997c9be70f49 /stdlib/source/spec
parente00e0b5f1e5fb509cf8f32424397110f524b8148 (diff)
De-sigil-ification: suffix : [Part 14]
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/aedifex/repository.lux2
-rw-r--r--stdlib/source/specification/compositor.lux2
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux2
-rw-r--r--stdlib/source/specification/compositor/common.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux6
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux6
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux6
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux6
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/codec.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/comonad.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/enum.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/equivalence.lux4
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/functor/contravariant.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/hash.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/interval.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/mix.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/monad.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/monoid.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/order.lux2
-rw-r--r--stdlib/source/specification/lux/world/console.lux2
-rw-r--r--stdlib/source/specification/lux/world/file.lux14
-rw-r--r--stdlib/source/specification/lux/world/program.lux2
-rw-r--r--stdlib/source/specification/lux/world/shell.lux8
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]