diff options
author | Eduardo Julian | 2022-06-16 21:37:38 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-16 21:37:38 -0400 |
commit | 7249707e7c09be68dfb7507ba363efd3300a0141 (patch) | |
tree | 1fb4764458da16353315ea7e267f997c9be70f49 /stdlib/source/specification/compositor | |
parent | e00e0b5f1e5fb509cf8f32424397110f524b8148 (diff) |
De-sigil-ification: suffix : [Part 14]
Diffstat (limited to 'stdlib/source/specification/compositor')
8 files changed, 18 insertions, 18 deletions
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)] |