diff options
author | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
commit | 5d44577c3849a045052dc1c9f0dd7deddd032120 (patch) | |
tree | b0e00801734720e9f985c7dfa239aaa0bdea7bcd /stdlib/source/library/lux/tool/compiler | |
parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) |
Extensible import syntax: Part 1
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler')
211 files changed, 1601 insertions, 1601 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux index 5e204f6ca..bed153bb9 100644 --- a/stdlib/source/library/lux/tool/compiler/default/init.lux +++ b/stdlib/source/library/lux/tool/compiler/default/init.lux @@ -1,54 +1,54 @@ (.using [library [lux "*" - ["@" target {"+" Target}] + ["@" target (.only Target)] ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" dictionary] ["[0]" set] ["[0]" sequence ("[1]#[0]" functor)]]] [meta - ["[0]" configuration {"+" Configuration}] + ["[0]" configuration (.only Configuration)] ["[0]" version]] [world ["[0]" file]]]] ["[0]" // "_" - ["/[1]" // {"+" Instancer} + ["/[1]" // (.only Instancer) ["[1][0]" phase] [language [lux - [program {"+" Program}] - ["[1][0]" syntax {"+" Aliases}] + [program (.only Program)] + ["[1][0]" syntax (.only Aliases)] ["[1][0]" synthesis] - ["[1][0]" directive {"+" Requirements}] + ["[1][0]" directive (.only Requirements)] ["[1][0]" generation] ["[1][0]" analysis - [macro {"+" Expander}] + [macro (.only Expander)] ["[1]/[0]" evaluation] ["[0]A" module]] [phase ["[0]P" analysis] ["[0]P" synthesis] ["[0]P" directive] - ["[0]" extension {"+" Extender} + ["[0]" extension (.only Extender) ["[0]E" analysis] ["[0]E" synthesis] [directive ["[0]D" lux]]]]]] [meta - ["[0]" archive {"+" Archive} - ["[0]" registry {"+" Registry}] + ["[0]" archive (.only Archive) + ["[0]" registry (.only Registry)] ["[0]" module ["[0]" descriptor] ["[0]" document]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux index ac43de9f2..ea24d68b5 100644 --- a/stdlib/source/library/lux/tool/compiler/default/platform.lux +++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux @@ -5,68 +5,68 @@ ["[0]" debug] ["[0]" static] [abstract - ["[0]" monad {"+" Monad do}]] + ["[0]" monad (.only Monad do)]] [control ["[0]" function] ["[0]" maybe] - ["[0]" try {"+" Try} ("[1]#[0]" monad)] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try) ("[1]#[0]" monad)] + ["[0]" exception (.only exception:)] [concurrency - ["[0]" async {"+" Async Resolver} ("[1]#[0]" monad)] - ["[0]" stm {"+" Var STM}]]] + ["[0]" async (.only Async Resolver) ("[1]#[0]" monad)] + ["[0]" stm (.only Var STM)]]] [data - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] ["[0]" bit] ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" dictionary {"+" Dictionary}] - ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)] - ["[0]" set {"+" Set}] + ["[0]" dictionary (.only Dictionary)] + ["[0]" sequence (.only Sequence) ("[1]#[0]" mix)] + ["[0]" set (.only Set)] ["[0]" list ("[1]#[0]" monoid functor mix)]] [format - ["_" binary {"+" Writer}]]] + ["_" binary (.only Writer)]]] ["[0]" meta - ["[0]" configuration {"+" Configuration}]] - [type {"+" sharing} + ["[0]" configuration (.only Configuration)]] + [type (.only sharing) ["[0]" check]] [world - ["[0]" file {"+" Path}] + ["[0]" file (.only Path)] ["[0]" console]]]] ["[0]" // "_" ["[1][0]" init] ["/[1]" // - ["[1][0]" phase {"+" Phase}] + ["[1][0]" phase (.only Phase)] [language [lux - [program {"+" Program}] + [program (.only Program)] ["$" /] ["[0]" syntax] ["[1][0]" synthesis] - ["[1][0]" generation {"+" Buffer}] + ["[1][0]" generation (.only Buffer)] ["[1][0]" directive] ["[1][0]" analysis - [macro {"+" Expander}] + [macro (.only Expander)] ["[0]A" module]] [phase - ["[0]" extension {"+" Extender}]]]] + ["[0]" extension (.only Extender)]]]] [meta - [import {"+" Import}] + [import (.only Import)] ["[0]" context] ["[0]" cache ["[1]/[0]" archive] ["[1]/[0]" module] ["[1]/[0]" artifact]] - [cli {"+" Compilation Library} + [cli (.only Compilation Library) ["[0]" compiler]] - ["[0]" archive {"+" Output Archive} - [key {"+" Key}] - ["[0]" registry {"+" Registry}] + ["[0]" archive (.only Output Archive) + [key (.only Key)] + ["[0]" registry (.only Registry)] ["[0]" artifact] ["[0]" module - ["[0]" descriptor {"+" Descriptor}] - ["[0]" document {"+" Document}]]] + ["[0]" descriptor (.only Descriptor)] + ["[0]" document (.only Document)]]] ["[0]" io "_" ["_[1]" /] ["[1]" context] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux.lux index eb6cd78d7..a6737842a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux.lux @@ -3,10 +3,10 @@ [lux "*" [control ["<>" parser - ["<[0]>" binary {"+" Parser}]]] + ["<[0]>" binary (.only Parser)]]] [data [format - ["_" binary {"+" Writer}]]] + ["_" binary (.only Writer)]]] [meta ["[0]" version]]]] ["[0]" / "_" @@ -16,7 +16,7 @@ [meta [archive ["[0]" signature] - ["[0]" key {"+" Key}]]]]]) + ["[0]" key (.only Key)]]]]]) ... TODO: Remove #module_hash, #imports & #module_state ASAP. ... TODO: Not just from this parser, but from the lux.Module type. diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux index da220b18f..65855dc71 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux @@ -2,25 +2,25 @@ [library [lux {"-" Tuple Variant nat int rev case local} [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}] - [monad {"+" do}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)] + [monad (.only do)]] [control ["[0]" function] ["[0]" maybe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" Exception}] + ["[0]" try (.only Try)] + ["[0]" exception (.only Exception)] [parser ["<[0]>" code]]] [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" Format}]] + ["%" format (.only Format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [macro - [syntax {"+" syntax:}]] + [syntax (.only syntax:)]] [math [number ["n" nat] @@ -29,20 +29,20 @@ ["f" frac]]] [meta ["[0]" location] - ["[0]" configuration {"+" Configuration}]]]] + ["[0]" configuration (.only Configuration)]]]] ["[0]" / "_" - ["[1][0]" simple {"+" Simple}] - ["[1][0]" complex {"+" Tuple Variant Complex}] - ["[1][0]" pattern {"+" Pattern}] + ["[1][0]" simple (.only Simple)] + ["[1][0]" complex (.only Tuple Variant Complex)] + ["[1][0]" pattern (.only Pattern)] [// [phase - ["[0]" extension {"+" Extension}]] + ["[0]" extension (.only Extension)]] [/// - [arity {"+" Arity}] - ["[0]" version {"+" Version}] + [arity (.only Arity)] + ["[0]" version (.only Version)] ["[0]" phase] - ["[0]" reference {"+" Reference} - ["[0]" variable {"+" Register Variable}]]]]]) + ["[0]" reference (.only Reference) + ["[0]" variable (.only Register Variable)]]]]]) (type: .public (Branch' e) (Record diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux index f4cf115d5..a45224900 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux @@ -2,12 +2,12 @@ [library [lux {"-" Tuple Variant} [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text - ["%" format {"+" Format}]] + ["%" format (.only Format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux index 0e100dad2..d3f3ee556 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux @@ -3,19 +3,19 @@ [lux {"-" Variant} [abstract equivalence - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" monoid monad)] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ["%" format]] [collection ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" dictionary {"+" Dictionary}] - ["[0]" set {"+" Set} ("[1]#[0]" equivalence)]]] + ["[0]" dictionary (.only Dictionary)] + ["[0]" set (.only Set) ("[1]#[0]" equivalence)]]] [macro ["^" pattern] ["[0]" template]] @@ -28,7 +28,7 @@ ["[0]" // "_" ["[1][0]" simple] ["[1][0]" complex] - ["[1][0]" pattern {"+" Pattern}]]) + ["[1][0]" pattern (.only Pattern)]]) ... The coverage of a pattern-matching expression summarizes how well ... all the possible values of an input are being covered by the diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux index de22db2db..44349d713 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux @@ -1,24 +1,24 @@ (.using [library [lux "*" - [type {"+" sharing}] + [type (.only sharing)] ["[0]" meta] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] ["[0]" try] ["[0]" io] [concurrency - ["[0]" atom {"+" Atom}]]] + ["[0]" atom (.only Atom)]]] [data [collection - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [math [number ["n" nat]]]]] - ["[0]" // {"+" Operation} - [macro {"+" Expander}] + ["[0]" // (.only Operation) + [macro (.only Expander)] ["[1][0]" type] ["[1][0]" scope] [// @@ -32,7 +32,7 @@ [/// ["[0]" phase] [meta - ["[0]" archive {"+" Archive} + ["[0]" archive (.only Archive) ["[0]" module]]]]]]]]) (type: .public Eval diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux index 88f4c7069..2d56c6baf 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux @@ -3,15 +3,15 @@ [lux "*" ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" pipe] ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor monoid)]]] [macro @@ -22,7 +22,7 @@ ["n" nat]]] ["[0]" type ["[0]" check]]]] - ["/" // {"+" Analysis Operation Phase} + ["/" // (.only Analysis Operation Phase) ["[1][0]" type] [// [phase @@ -30,7 +30,7 @@ [/// ["[0]" phase ("[1]#[0]" monad)] [meta - [archive {"+" Archive}]]]]]) + [archive (.only Archive)]]]]]) (exception: .public (cannot_infer [type Type arguments (List Code)]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux index b1cf6d24a..55cec2b7c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux @@ -2,13 +2,13 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] ["[0]" meta]]] [///// ["[0]" phase]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux index 1a95a5a2c..accb1b6c2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux @@ -2,20 +2,20 @@ [library [lux {"-" Label} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" pipe] ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" mix functor)] [dictionary ["[0]" plist]]]] ["[0]" meta]]] - ["/" // {"+" Operation} + ["/" // (.only Operation) ["//[1]" // "_" [phase ["[1][0]" extension]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux index cfce834d0..fb7d38b19 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux @@ -2,7 +2,7 @@ [library [lux {"-" nat int rev} [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [data [text ["%" format]]] @@ -10,11 +10,11 @@ [number ["n" nat]]]]] ["[0]" // "_" - ["[1][0]" simple {"+" Simple}] - ["[1][0]" complex {"+" Complex}] + ["[1][0]" simple (.only Simple)] + ["[1][0]" complex (.only Complex)] [//// [reference - ["[1][0]" variable {"+" Register}]]]]) + ["[1][0]" variable (.only Register)]]]]) (type: .public Pattern (Rec Pattern diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux index 040298209..8b9f33470 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux @@ -2,11 +2,11 @@ [library [lux {"-" local} [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" monad)] ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" text ("[1]#[0]" equivalence)] ["[0]" product] @@ -14,14 +14,14 @@ ["[0]" list ("[1]#[0]" functor mix monoid)] [dictionary ["[0]" plist]]]]]] - ["/" // {"+" Environment Operation Phase} + ["/" // (.only Environment Operation Phase) [// [phase ["[0]" extension]] [/// ["[0]" phase] [reference - ["[0]" variable {"+" Register Variable}]]]]]) + ["[0]" variable (.only Register Variable)]]]]]) (type: Local (Bindings Text [Type Register])) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux index b7518ded0..129d50c89 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux @@ -2,11 +2,11 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" Format}]]] + ["%" format (.only Format)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux index b215fa8b0..39b1715f9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux @@ -3,13 +3,13 @@ [lux "*" ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["[0]" try]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list]]] [macro @@ -18,8 +18,8 @@ [number ["n" nat]]] [type - ["[0]" check {"+" Check}]]]] - ["/" // {"+" Operation} + ["[0]" check (.only Check)]]]] + ["/" // (.only Operation) [// [phase ["[0]" extension]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux index d9bf832a3..7d8165ccd 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux @@ -2,7 +2,7 @@ [library [lux {"-" Module} [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try]] [data @@ -19,7 +19,7 @@ [meta [archive [module - [descriptor {"+" Module}]]]]]]) + [descriptor (.only Module)]]]]]]) (type: .public (Component state phase) (Record diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux index 2b9f8b598..9e3b03940 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux @@ -2,20 +2,20 @@ [library [lux {"-" symbol} [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] ["[0]" function]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" sequence {"+" Sequence}] + ["[0]" sequence (.only Sequence)] ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [macro ["^" pattern] ["[0]" template]] @@ -25,14 +25,14 @@ [meta ["[0]" symbol]]]] [// - [synthesis {"+" Synthesis}] + [synthesis (.only Synthesis)] [phase ["[0]" extension]] [/// ["[0]" phase] [meta - ["[0]" archive {"+" Archive} - ["[0]" registry {"+" Registry}] + ["[0]" archive (.only Archive) + ["[0]" registry (.only Registry)] ["[0]" unit] ["[0]" artifact ["[0]" category]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux index 32e4ed22e..48c27ed4d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux @@ -2,12 +2,12 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list]]] [macro @@ -27,14 +27,14 @@ ["/[1]" // "_" ["[1][0]" extension] ["/[1]" // "_" - ["/" analysis {"+" Analysis Operation Phase} - ["[1][0]" macro {"+" Expander}] + ["/" analysis (.only Analysis Operation Phase) + ["[1][0]" macro (.only Expander)] ["[1][0]" type]] [/// ["//" phase] ["[0]" reference] [meta - [archive {"+" Archive}]]]]]]) + [archive (.only Archive)]]]]]]) (exception: .public (invalid [syntax Code]) (exception.report diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux index 394d54163..c811a2319 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux @@ -3,15 +3,15 @@ [lux {"-" case} ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" mix monoid monad)]]] [math @@ -21,20 +21,20 @@ ["^" pattern] ["[0]" code]] ["[0]" type - ["[0]" check {"+" Check}]]]] + ["[0]" check (.only Check)]]]] ["[0]" / "_" ["/[1]" // "_" ["[1][0]" complex] ["/[1]" // "_" ["[1][0]" extension] [// - ["/" analysis {"+" Analysis Operation Phase} + ["/" analysis (.only Analysis Operation Phase) ["[1][0]" simple] ["[1][0]" complex] - ["[1][0]" pattern {"+" Pattern}] + ["[1][0]" pattern (.only Pattern)] ["[1][0]" type] ["[1][0]" scope] - ["[1][0]" coverage {"+" Coverage}]] + ["[1][0]" coverage (.only Coverage)]] [/// ["[1]" phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux index b1d7398e6..770cf6262 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux @@ -3,19 +3,19 @@ [lux "*" ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] ["[0]" state]] [data ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" monad)] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["[0]" code]] [math @@ -30,14 +30,14 @@ ["/[1]" // "_" ["[1][0]" extension] [// - ["/" analysis {"+" Analysis Operation Phase} - ["[1][0]" complex {"+" Tag}] + ["/" analysis (.only Analysis Operation Phase) + ["[1][0]" complex (.only Tag)] ["[1][0]" type] ["[1][0]" inference]] [/// ["[1]" phase ("[1]#[0]" monad)] [meta - [archive {"+" Archive}]]]]]]) + [archive (.only Archive)]]]]]]) (exception: .public (not_a_quantified_type [type Type]) (exception.report diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux index 6416fbe77..d97680bd0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux @@ -3,15 +3,15 @@ [lux {"-" function} ["[0]" meta] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" monoid monad)]]] [math @@ -22,14 +22,14 @@ ["[0]" /// "_" ["[1][0]" extension] [// - ["/" analysis {"+" Analysis Operation Phase} + ["/" analysis (.only Analysis Operation Phase) ["[1][0]" type] ["[1][0]" inference] ["[1][0]" scope]] [/// ["[1]" phase ("[1]#[0]" functor)] - [reference {"+"} - [variable {"+"}]]]]]) + [reference (.only) + [variable (.only)]]]]]) (exception: .public (cannot_analyse [expected Type function Text diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux index e5f1914ab..66ef31041 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -3,19 +3,19 @@ [lux "*" ["[0]" meta] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [macro ["^" pattern]]]] ["[0]" // "_" ["/[1]" // "_" ["[1][0]" extension] [// - ["/" analysis {"+" Analysis Operation} + ["/" analysis (.only Analysis Operation) ["[1][0]" type] ["[1][0]" scope]] [/// diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux index 54b9b7a36..fdfe2e431 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux @@ -2,10 +2,10 @@ [library [lux {"-" nat int rev} [abstract - [monad {"+" do}]]]] + [monad (.only do)]]]] ["[0]" /// "_" [// - ["/" analysis {"+" Analysis Operation} + ["/" analysis (.only Analysis Operation) ["[1][0]" simple] ["[1][0]" type]] [/// diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux index df695d244..a745da868 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux @@ -3,30 +3,30 @@ [lux "*" ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" mix monoid)]]]]] ["[0]" // "_" ["[1][0]" extension] ["[1][0]" analysis] ["/[1]" // "_" - ["/" directive {"+" Operation Phase}] + ["/" directive (.only Operation Phase)] ["[1][0]" analysis ["[0]" evaluation] - ["[1]/[0]" macro {"+" Expander}] + ["[1]/[0]" macro (.only Expander)] ["[1]/[0]" type]] [/// ["//" phase] - [reference {"+" } - [variable {"+" }]] + [reference (.only) + [variable (.only)]] [meta - [archive {"+" Archive}]]]]]) + [archive (.only Archive)]]]]]) (exception: .public (not_a_directive [code Code]) (exception.report diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux index 42528ba33..bb5535fa5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux @@ -2,26 +2,26 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}] - ["[0]" monad {"+" do}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)] + ["[0]" monad (.only do)]] [control ["[0]" function] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" product] ["[0]" text ("[1]#[0]" order) - ["%" format {"+" Format format}]] + ["%" format (.only Format format)]] [collection ["[0]" list] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]]]] [///// ["//" phase] [meta - [archive {"+" Archive}]]]) + [archive (.only Archive)]]]) (type: .public Name Text) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux index 3529ba762..cec02696e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux @@ -5,8 +5,8 @@ [collection ["[0]" dictionary]]]]] [//// - [analysis {"+" Bundle} - [evaluation {"+" Eval}]]] + [analysis (.only Bundle) + [evaluation (.only Eval)]]] ["[0]" / "_" ["[1][0]" lux]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux index 031f4d779..bdf1723f4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux @@ -1,32 +1,32 @@ (.using - [library - [lux "*" - ["[0]" ffi] - [abstract - ["[0]" monad {"+" do}]] - [control - ["<>" parser - ["<c>" code {"+" Parser}]]] - [data - [collection - ["[0]" array {"+" Array}] - ["[0]" dictionary] - ["[0]" list]]] - ["[0]" type - ["[0]" check]] - ["@" target - ["_" common_lisp]]]] + [library + [lux "*" + ["[0]" ffi] + [abstract + ["[0]" monad (.only do)]] + [control + ["<>" parser + ["<c>" code (.only Parser)]]] + [data + [collection + ["[0]" array (.only Array)] + ["[0]" dictionary] + ["[0]" list]]] + ["[0]" type + ["[0]" check]] + ["@" target + ["_" common_lisp]]]] + [// + ["/" lux (.only custom)] [// - ["/" lux {"+" custom}] + ["[0]" bundle] [// - ["[0]" bundle] + ["[0]" analysis "_" + ["[1]/[0]" type]] [// - ["[0]" analysis "_" - ["[1]/[0]" type]] - [// - ["[0]" analysis {"+" Analysis Operation Phase Handler Bundle}] - [/// - ["[0]" phase]]]]]]) + ["[0]" analysis (.only Analysis Operation Phase Handler Bundle)] + [/// + ["[0]" phase]]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux index 39a8ef632..440a0d9b1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux @@ -3,10 +3,10 @@ [lux "*" ["[0]" ffi] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["<>" parser - ["<[0]>" code {"+" Parser}]]] + ["<[0]>" code (.only Parser)]]] [data [collection ["[0]" array] @@ -17,11 +17,11 @@ ["@" target ["_" js]]]] [// - ["/" lux {"+" custom}] + ["/" lux (.only custom)] [// ["[0]" bundle] [/// - ["[0]" analysis {"+" Analysis Operation Phase Handler Bundle} + ["[0]" analysis (.only Analysis Operation Phase Handler Bundle) ["[1]/[0]" type]] [/// ["[0]" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux index 6a54bf8e5..572ecb60a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux @@ -1,28 +1,28 @@ (.using [library [lux {"-" Type Module Primitive type char int} - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] ["[0]" meta] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] ["[0]" predicate]] [control ["[0]" pipe] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try} ("[1]#[0]" monad)] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try) ("[1]#[0]" monad)] + ["[0]" exception (.only exception:)] ["<>" parser - ["<[0]>" code {"+" Parser}] + ["<[0]>" code (.only Parser)] ["<[0]>" text]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" mix monad monoid)] ["[0]" array] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" sequence]] ["[0]" format "_" ["[1]" binary]]] @@ -36,30 +36,30 @@ [target ["[0]" jvm "_" ["[0]!" reflection] - ["_" bytecode {"+" Bytecode} ("[1]#[0]" monad)] - ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)] + ["_" bytecode (.only Bytecode) ("[1]#[0]" monad)] + ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] ["[0]" attribute] ["[0]" field] ["[0]" version] ["[0]" method] ["[0]" class] ["[0]" constant - ["[0]" pool {"+" Resource}]] + ["[0]" pool (.only Resource)]] [encoding - ["[0]" name {"+" External}]] - ["[1]" type {"+" Type Argument Typed} ("[1]#[0]" equivalence) - ["[0]" category {"+" Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method}] + ["[0]" name (.only External)]] + ["[1]" type (.only Type Argument Typed) ("[1]#[0]" equivalence) + ["[0]" category (.only Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method)] ["[0]" box] ["[0]" reflection] ["[0]" descriptor] ["[0]" signature] ["[0]" parser] - ["[0]" alias {"+" Aliasing}] - ["[0]T" lux {"+" Mapping}]]]] + ["[0]" alias (.only Aliasing)] + ["[0]T" lux (.only Mapping)]]]] ["[0]" type - ["[0]" check {"+" Check} ("[1]#[0]" monad)]]]] + ["[0]" check (.only Check) ("[1]#[0]" monad)]]]] ["[0]" // "_" - ["[1][0]" lux {"+" custom}] + ["[1][0]" lux (.only custom)] ["/[1]" // ["[1][0]" bundle] ["/[1]" // "_" @@ -71,7 +71,7 @@ ["/[1]" // "_" ["[0]" generation] ["[0]" directive] - ["[1][0]" analysis {"+" Analysis Operation Phase Handler Bundle} + ["[1][0]" analysis (.only Analysis Operation Phase Handler Bundle) ["[0]" complex] ["[0]" pattern] ["[0]" inference] @@ -80,9 +80,9 @@ [/// ["[0]" phase ("[1]#[0]" monad)] [meta - [archive {"+" Archive} + [archive (.only Archive) [module - [descriptor {"+" Module}]]]]]]]]]) + [descriptor (.only Module)]]]]]]]]]) (import: java/lang/ClassLoader "[1]::[0]") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux index 6f5b62016..1f5c91fe7 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux @@ -3,10 +3,10 @@ [lux "*" ["[0]" ffi] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["<>" parser - ["<[0]>" code {"+" Parser}]]] + ["<[0]>" code (.only Parser)]]] [data [collection ["[0]" array] @@ -17,11 +17,11 @@ ["@" target ["_" lua]]]] [// - ["/" lux {"+" custom}] + ["/" lux (.only custom)] [// ["[0]" bundle] [/// - ["[0]" analysis {"+" Analysis Operation Phase Handler Bundle} + ["[0]" analysis (.only Analysis Operation Phase Handler Bundle) ["[1]/[0]" type]] [/// ["[0]" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index 6ff97bb35..8b870557d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux @@ -2,19 +2,19 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] ["<>" parser - ["<[0]>" code {"+" Parser}]]] + ["<[0]>" code (.only Parser)]]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]] [math @@ -27,13 +27,13 @@ ["[1][0]" bundle] ["/[1]" // "_" [// - ["[1][0]" analysis {"+" Analysis Operation Phase Handler Bundle} - [evaluation {"+" Eval}] + ["[1][0]" analysis (.only Analysis Operation Phase Handler Bundle) + [evaluation (.only Eval)] ["[0]A" type]] [/// ["[1]" phase] [meta - [archive {"+" Archive}]]]]]]) + [archive (.only Archive)]]]]]]) (def: .public (custom [syntax handler]) (All (_ s) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux index 6d7b0d128..5befafa46 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux @@ -3,13 +3,13 @@ [lux "*" ["[0]" ffi] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["<>" parser - ["<c>" code {"+" Parser}]]] + ["<c>" code (.only Parser)]]] [data [collection - ["[0]" array {"+" Array}] + ["[0]" array (.only Array)] ["[0]" dictionary] ["[0]" list]]] ["[0]" type @@ -17,14 +17,14 @@ ["@" target ["_" php]]]] [// - ["/" lux {"+" custom}] + ["/" lux (.only custom)] [// ["[0]" bundle] [// ["[0]" analysis "_" ["[1]/[0]" type]] [// - ["[0]" analysis {"+" Analysis Operation Phase Handler Bundle}] + ["[0]" analysis (.only Analysis Operation Phase Handler Bundle)] [/// ["[0]" phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux index 9156e497b..4a194a6db 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux @@ -3,10 +3,10 @@ [lux "*" ["[0]" ffi] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["<>" parser - ["<[0]>" code {"+" Parser}]]] + ["<[0]>" code (.only Parser)]]] [data [collection ["[0]" array] @@ -17,11 +17,11 @@ ["@" target ["_" python]]]] [// - ["/" lux {"+" custom}] + ["/" lux (.only custom)] [// ["[0]" bundle] [/// - ["[0]" analysis {"+" Analysis Operation Phase Handler Bundle} + ["[0]" analysis (.only Analysis Operation Phase Handler Bundle) ["[1]/[0]" type]] [/// ["[0]" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux index d842741db..871fa9054 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux @@ -1,32 +1,32 @@ (.using - [library - [lux "*" - ["[0]" ffi] - [abstract - ["[0]" monad {"+" do}]] - [control - ["<>" parser - ["<c>" code {"+" Parser}]]] - [data - [collection - ["[0]" array {"+" Array}] - ["[0]" dictionary] - ["[0]" list]]] - ["[0]" type - ["[0]" check]] - ["@" target - ["_" r]]]] + [library + [lux "*" + ["[0]" ffi] + [abstract + ["[0]" monad (.only do)]] + [control + ["<>" parser + ["<c>" code (.only Parser)]]] + [data + [collection + ["[0]" array (.only Array)] + ["[0]" dictionary] + ["[0]" list]]] + ["[0]" type + ["[0]" check]] + ["@" target + ["_" r]]]] + [// + ["/" lux (.only custom)] [// - ["/" lux {"+" custom}] + ["[0]" bundle] [// - ["[0]" bundle] + ["[0]" analysis "_" + ["[1]/[0]" type]] [// - ["[0]" analysis "_" - ["[1]/[0]" type]] - [// - ["[0]" analysis {"+" Analysis Operation Phase Handler Bundle}] - [/// - ["[0]" phase]]]]]]) + ["[0]" analysis (.only Analysis Operation Phase Handler Bundle)] + [/// + ["[0]" phase]]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux index 9ab5d8351..d7c2eba78 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux @@ -3,10 +3,10 @@ [lux "*" ["[0]" ffi] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["<>" parser - ["<[0]>" code {"+" Parser}]]] + ["<[0]>" code (.only Parser)]]] [data [collection ["[0]" array] @@ -17,11 +17,11 @@ ["@" target ["_" ruby]]]] [// - ["/" lux {"+" custom}] + ["/" lux (.only custom)] [// ["[0]" bundle] [/// - ["[0]" analysis {"+" Analysis Operation Phase Handler Bundle} + ["[0]" analysis (.only Analysis Operation Phase Handler Bundle) ["[1]/[0]" type]] [/// ["[0]" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux index fb119ae7e..6901b48dc 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux @@ -3,13 +3,13 @@ [lux "*" ["[0]" ffi] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["<>" parser - ["<c>" code {"+" Parser}]]] + ["<c>" code (.only Parser)]]] [data [collection - ["[0]" array {"+" Array}] + ["[0]" array (.only Array)] ["[0]" dictionary] ["[0]" list]]] ["[0]" type @@ -17,14 +17,14 @@ ["@" target ["_" scheme]]]] [// - ["/" lux {"+" custom}] + ["/" lux (.only custom)] [// ["[0]" bundle] [// ["[0]" analysis "_" ["[1]/[0]" type]] [// - ["[0]" analysis {"+" Analysis Operation Phase Handler Bundle}] + ["[0]" analysis (.only Analysis Operation Phase Handler Bundle)] [/// ["[0]" phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux index a13e79398..cf4ab6a6f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux @@ -1,15 +1,15 @@ (.using - [library - [lux "*" - [abstract - [monad {"+" do}]] - [data - ["[0]" text - ["%" format {"+" format}]] - [collection - ["[0]" list ("[1]#[0]" functor)] - ["[0]" dictionary {"+" Dictionary}]]]]] - [// {"+" Handler Bundle}]) + [library + [lux "*" + [abstract + [monad (.only do)]] + [data + ["[0]" text + ["%" format (.only format)]] + [collection + ["[0]" list ("[1]#[0]" functor)] + ["[0]" dictionary (.only Dictionary)]]]]] + [// (.only Handler Bundle)]) (def: .public empty Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux index 1a30f6bc6..28f555dce 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux @@ -1,27 +1,27 @@ (.using [library [lux {"-" Type Definition Primitive} - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" pipe] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] + ["[0]" try (.only Try) ("[1]#[0]" functor)] ["[0]" exception] ["<>" parser ("[1]#[0]" monad) - ["<[0]>" code {"+" Parser}] + ["<[0]>" code (.only Parser)] ["<[0]>" text] ["<[0]>" synthesis]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" dictionary] ["[0]" sequence] - ["[0]" set {"+" Set}]] + ["[0]" set (.only Set)]] ["[0]" format "_" ["[1]" binary]]] [macro @@ -33,31 +33,31 @@ ["[0]" i32]]] [target [jvm - ["_" bytecode {"+" Bytecode} ("[1]#[0]" monad)] - ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)] + ["_" bytecode (.only Bytecode) ("[1]#[0]" monad)] + ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] ["[0]" attribute] ["[0]" field] ["[0]" version] - ["[0]" method {"+" Method}] + ["[0]" method (.only Method)] ["[0]" class] ["[0]" constant - ["[0]" pool {"+" Resource}]] + ["[0]" pool (.only Resource)]] [encoding - ["[0]" name {"+" External}]] - ["[0]" type {"+" Type Constraint Argument Typed} - [category {"+" Void Value Return Primitive Object Class Array Var Parameter}] - ["[0]T" lux {"+" Mapping}] + ["[0]" name (.only External)]] + ["[0]" type (.only Type Constraint Argument Typed) + [category (.only Void Value Return Primitive Object Class Array Var Parameter)] + ["[0]T" lux (.only Mapping)] ["[0]" signature] ["[0]" reflection] - ["[0]" descriptor {"+" Descriptor}] + ["[0]" descriptor (.only Descriptor)] ["[0]" parser]]]] [tool [compiler ["[0]" phase] [reference - [variable {"+" Register}]] + [variable (.only Register)]] [meta - [archive {"+" Archive} + [archive (.only Archive) ["[0]" artifact] ["[0]" unit]] ["[0]" cache "_" @@ -65,16 +65,16 @@ ["[1]" artifact]]]] [language [lux - ["[0]" synthesis {"+" Synthesis}] + ["[0]" synthesis (.only Synthesis)] ["[0]" generation] - ["[0]" directive {"+" Handler Bundle}] - ["[0]" analysis {"+" Analysis} + ["[0]" directive (.only Handler Bundle)] + ["[0]" analysis (.only Analysis) ["[0]A" type] ["[0]A" scope]] [phase [generation [jvm - ["[0]" runtime {"+" Anchor Definition Extender}] + ["[0]" runtime (.only Anchor Definition Extender)] ["[0]" value]]] ["[0]" extension ["[0]" bundle] @@ -86,7 +86,7 @@ [directive ["/" lux]]]]]]]] [type - ["[0]" check {"+" Check}]]]]) + ["[0]" check (.only Check)]]]]) (type: Operation (directive.Operation Anchor (Bytecode Any) Definition)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux index 2d07295c0..b7da13039 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux @@ -4,51 +4,51 @@ ["@" target] ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - [io {"+" IO}] + [io (.only IO)] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try] - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] ["<>" parser - ["<[0]>" code {"+" Parser}]]] + ["<[0]>" code (.only Parser)]]] [data ["[0]" binary] ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" array] ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [macro ["^" pattern] ["[0]" code]] [math [number ["n" nat]]] - ["[0]" type {"+" sharing} ("[1]#[0]" equivalence) + ["[0]" type (.only sharing) ("[1]#[0]" equivalence) ["[0]" check]]]] - ["[0]" /// {"+" Extender} + ["[0]" /// (.only Extender) ["[1][0]" bundle] ["[1][0]" analysis] ["/[1]" // "_" ["/[1]" // "_" ["[1][0]" analysis - [macro {"+" Expander}] + [macro (.only Expander)] ["[1]/[0]" evaluation] ["[0]A" type] ["[0]A" module] ["[0]" scope]] - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] - ["[1][0]" directive {"+" Import Requirements Phase Operation Handler Bundle}] - ["[1][0]" program {"+" Program}] + ["[1][0]" directive (.only Import Requirements Phase Operation Handler Bundle)] + ["[1][0]" program (.only Program)] [/// ["[0]" phase] [meta - ["[0]" archive {"+" Archive} + ["[0]" archive (.only Archive) ["[0]" artifact] ["[0]" module] ["[0]" unit]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux index bb22d2126..15f572207 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux @@ -10,7 +10,7 @@ [//// [generation [common_lisp - [runtime {"+" Bundle}]]]]]) + [runtime (.only Bundle)]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux index 0a4a86df5..861fb2de5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux @@ -2,16 +2,16 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["[0]" try] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" set] @@ -20,20 +20,20 @@ [number ["f" frac]]] ["@" target - ["_" common_lisp {"+" Expression}]]]] + ["_" common_lisp (.only Expression)]]]] ["[0]" //// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["[0]" reference] ["//" common_lisp "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle Generator}] + ["[1][0]" runtime (.only Operation Phase Handler Bundle Generator)] ["[1][0]" case]]] [// - ["[0]" synthesis {"+" %synthesis}] + ["[0]" synthesis (.only %synthesis)] ["[0]" generation] [/// ["[1]" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux index b5077cb7b..5a246b3ef 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux @@ -1,37 +1,37 @@ (.using - [library - [lux "*" - [abstract - ["[0]" monad {"+" do}]] - [control - ["[0]" function] - ["<>" parser - ["<s>" synthesis {"+" Parser}]]] - [data - [collection - ["[0]" dictionary] - ["[0]" list]] - [text - ["%" format {"+" format}]]] - [target - ["_" common_lisp {"+" Var Expression}]]]] - ["[0]" // "_" - ["[1][0]" common {"+" custom}] - ["//[1]" /// "_" - ["/" bundle] + [library + [lux "*" + [abstract + ["[0]" monad (.only do)]] + [control + ["[0]" function] + ["<>" parser + ["<s>" synthesis (.only Parser)]]] + [data + [collection + ["[0]" dictionary] + ["[0]" list]] + [text + ["%" format (.only format)]]] + [target + ["_" common_lisp (.only Var Expression)]]]] + ["[0]" // "_" + ["[1][0]" common (.only custom)] + ["//[1]" /// "_" + ["/" bundle] + ["/[1]" // "_" + ["[0]" extension] + [generation + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] + ["[0]" reference] + ["//" common_lisp "_" + ["[1][0]" runtime (.only Operation Phase Handler Bundle + with_vars)]]] ["/[1]" // "_" - ["[0]" extension] - [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] - ["[0]" reference] - ["//" common_lisp "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle - with_vars}]]] - ["/[1]" // "_" - ["[0]" generation] - ["//[1]" /// "_" - ["[1][0]" phase]]]]]]) + ["[0]" generation] + ["//[1]" /// "_" + ["[1][0]" phase]]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux index 2530af7ec..994156093 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux @@ -10,7 +10,7 @@ [//// [generation [js - [runtime {"+" Bundle}]]]]]) + [runtime (.only Bundle)]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux index c935634c7..9b9945736 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux @@ -2,11 +2,11 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" try] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] [collection @@ -18,16 +18,16 @@ [number ["f" frac]]] ["@" target - ["_" js {"+" Literal Expression Statement}]]]] + ["_" js (.only Literal Expression Statement)]]]] ["[0]" //// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["//" js "_" - ["[1][0]" runtime {"+" Operation Phase Phase! Handler Bundle Generator}] + ["[1][0]" runtime (.only Operation Phase Phase! Handler Bundle Generator)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -35,7 +35,7 @@ ["[1][0]" loop] ["[1][0]" function]]] [// - ["[0]" synthesis {"+" %synthesis}] + ["[0]" synthesis (.only %synthesis)] [/// ["[1]" phase ("[1]#[0]" monad)]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux index 055fec9ee..46459fd02 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux @@ -2,29 +2,29 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data [collection ["[0]" dictionary] ["[0]" list]]] [target - ["_" js {"+" Var Expression}]]]] + ["_" js (.only Var Expression)]]]] ["[0]" // "_" - ["[1][0]" common {"+" custom}] + ["[1][0]" common (.only custom)] ["//[1]" /// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["//" js "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle - with_vars}]]] + ["[1][0]" runtime (.only Operation Phase Handler Bundle + with_vars)]]] ["/[1]" // "_" ["[0]" generation] ["//[1]" /// "_" diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux index 4b27edabb..7a6897bce 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux @@ -10,7 +10,7 @@ [//// [generation [jvm - [runtime {"+" Bundle}]]]]]) + [runtime (.only Bundle)]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux index 7ecc092e8..39ba779e9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux @@ -2,12 +2,12 @@ [library [lux {"-" Type Label Primitive} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" try] - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] ["<>" parser - ["<[0]>" synthesis {"+" Parser}]]] + ["<[0]>" synthesis (.only Parser)]]] [data ["[0]" product] [collection @@ -19,29 +19,29 @@ ["[0]" i32]]] [target [jvm - ["_" bytecode {"+" Label Bytecode} ("[1]#[0]" monad)] + ["_" bytecode (.only Label Bytecode) ("[1]#[0]" monad)] [encoding - ["[0]" signed {"+" S4}]] - ["[0]" type {"+" Type} - [category {"+" Primitive Class}]]]]]] + ["[0]" signed (.only S4)]] + ["[0]" type (.only Type) + [category (.only Primitive Class)]]]]]] ["[0]" ///// "_" [generation - [extension {"+" Nullary Unary Binary Trinary Variadic - nullary unary binary trinary variadic}] + [extension (.only Nullary Unary Binary Trinary Variadic + nullary unary binary trinary variadic)] ["///" jvm "_" ["[1][0]" value] - ["[1][0]" runtime {"+" Operation Phase Bundle Handler}] + ["[1][0]" runtime (.only Operation Phase Bundle Handler)] ["[1][0]" function "_" ["[1]" abstract]]]] [extension ["[1]extension" /] ["[1][0]" bundle]] [// - ["/[1][0]" synthesis {"+" Synthesis %synthesis}] + ["/[1][0]" synthesis (.only Synthesis %synthesis)] [/// ["[1]" phase] [meta - [archive {"+" Archive}]]]]]) + [archive (.only Archive)]]]]]) (def: .public (custom [parser handler]) (All (_ s) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux index 908057f4d..c8ec7c9fa 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux @@ -2,21 +2,21 @@ [library [lux {"-" Type Primitive} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] ["<>" parser ["<[0]>" text] - ["<[0]>" synthesis {"+" Parser}]]] + ["<[0]>" synthesis (.only Parser)]]] [data ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) ["%" format]] [collection ["[0]" list ("[1]#[0]" monad mix monoid)] - ["[0]" dictionary {"+" Dictionary}] - ["[0]" set {"+" Set}] + ["[0]" dictionary (.only Dictionary)] + ["[0]" set (.only Set)] ["[0]" sequence]] ["[0]" format "_" ["[1]" binary]]] @@ -31,28 +31,28 @@ [jvm ["[0]" version] ["[0]" modifier ("[1]#[0]" monoid)] - ["[0]" method {"+" Method}] - ["[0]" class {"+" Class}] + ["[0]" method (.only Method)] + ["[0]" class (.only Class)] [constant - [pool {"+" Resource}]] + [pool (.only Resource)]] [encoding ["[0]" name]] - ["_" bytecode {"+" Bytecode} ("[1]#[0]" monad) - ["__" instruction {"+" Primitive_Array_Type}]] - ["[0]" type {"+" Type Typed Argument} - ["[0]" category {"+" Void Value' Value Return' Return Primitive Object Array Var Parameter}] + ["_" bytecode (.only Bytecode) ("[1]#[0]" monad) + ["__" instruction (.only Primitive_Array_Type)]] + ["[0]" type (.only Type Typed Argument) + ["[0]" category (.only Void Value' Value Return' Return Primitive Object Array Var Parameter)] ["[0]" box] ["[0]" reflection] ["[0]" signature] ["[0]" parser]]]]]] ["[0]" // "_" - [common {"+" custom}] + [common (.only custom)] ["///[1]" //// "_" [generation - [extension {"+" Nullary Unary Binary Trinary Variadic - nullary unary binary trinary variadic}] + [extension (.only Nullary Unary Binary Trinary Variadic + nullary unary binary trinary variadic)] ["///" jvm - ["[1][0]" runtime {"+" Operation Bundle Phase Handler}] + ["[1][0]" runtime (.only Operation Bundle Phase Handler)] ["[1][0]" reference] ["[1][0]" value] [function @@ -64,15 +64,15 @@ [analysis ["/" jvm]]] ["/[1]" // "_" - [analysis {"+" Environment}] - ["[1][0]" synthesis {"+" Synthesis Path %synthesis}] + [analysis (.only Environment)] + ["[1][0]" synthesis (.only Synthesis Path %synthesis)] ["[1][0]" generation] [/// ["[1]" phase] ["[1][0]" reference - ["[2][0]" variable {"+" Variable Register}]] + ["[2][0]" variable (.only Variable Register)]] [meta - ["[0]" archive {"+" Archive} + ["[0]" archive (.only Archive) ["[0]" artifact] ["[0]" unit]] ["[0]" cache "_" diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux index 8335ce18d..f132dc39e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux @@ -10,7 +10,7 @@ [//// [generation [lua - [runtime {"+" Bundle}]]]]]) + [runtime (.only Bundle)]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux index cb29b9c89..a45ba6c40 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux @@ -2,16 +2,16 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["[0]" try] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" list ("[1]#[0]" functor mix)]]] @@ -21,16 +21,16 @@ [number ["f" frac]]] ["@" target - ["_" lua {"+" Expression Statement}]]]] + ["_" lua (.only Expression Statement)]]]] ["[0]" //// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["//" lua "_" - ["[1][0]" runtime {"+" Operation Phase Phase! Handler Bundle Generator}] + ["[1][0]" runtime (.only Operation Phase Phase! Handler Bundle Generator)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -38,7 +38,7 @@ ["[1][0]" loop] ["[1][0]" function]]] [// - ["[0]" synthesis {"+" %synthesis}] + ["[0]" synthesis (.only %synthesis)] ["[0]" generation] [/// ["[1]" phase ("[1]#[0]" monad)]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux index 1d3f9cae4..61f04ed49 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux @@ -2,32 +2,32 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data [collection ["[0]" dictionary] ["[0]" list]] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [target - ["_" lua {"+" Var Expression}]]]] + ["_" lua (.only Var Expression)]]]] ["[0]" // "_" - ["[1][0]" common {"+" custom}] + ["[1][0]" common (.only custom)] ["//[1]" /// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["[0]" reference] ["//" lua "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle - with_vars}]]] + ["[1][0]" runtime (.only Operation Phase Handler Bundle + with_vars)]]] ["/[1]" // "_" ["[0]" generation] ["//[1]" /// "_" diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux index 3bf186a60..4e11b0df9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux @@ -10,7 +10,7 @@ [//// [generation [php - [runtime {"+" Bundle}]]]]]) + [runtime (.only Bundle)]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux index 82eb02ee5..3395e8ec8 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux @@ -2,16 +2,16 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["[0]" try] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" set] @@ -20,20 +20,20 @@ [number ["f" frac]]] ["@" target - ["_" php {"+" Expression}]]]] + ["_" php (.only Expression)]]]] ["[0]" //// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["[0]" reference] ["//" php "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle Generator}] + ["[1][0]" runtime (.only Operation Phase Handler Bundle Generator)] ["[1][0]" case]]] [// - ["[0]" synthesis {"+" %synthesis}] + ["[0]" synthesis (.only %synthesis)] ["[0]" generation] [/// ["[1]" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux index b4be6893f..ffa9c2706 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux @@ -2,32 +2,32 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data [collection ["[0]" dictionary] ["[0]" list]] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [target - ["_" php {"+" Var Expression}]]]] + ["_" php (.only Var Expression)]]]] ["[0]" // "_" - ["[1][0]" common {"+" custom}] + ["[1][0]" common (.only custom)] ["//[1]" /// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["[0]" reference] ["//" php "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle - with_vars}]]] + ["[1][0]" runtime (.only Operation Phase Handler Bundle + with_vars)]]] ["/[1]" // "_" ["[0]" generation] ["//[1]" /// "_" diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux index 4124be69d..ee404ed8e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux @@ -10,7 +10,7 @@ [//// [generation [python - [runtime {"+" Bundle}]]]]]) + [runtime (.only Bundle)]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux index 89092a241..6a3dbe92d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux @@ -2,16 +2,16 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["[0]" try] ["<>" parser - ["<[0]>" synthesis {"+" Parser}]]] + ["<[0]>" synthesis (.only Parser)]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" list ("[1]#[0]" functor mix)]]] @@ -21,17 +21,17 @@ [number ["f" frac]]] [target - ["_" python {"+" Expression Statement}]]]] + ["_" python (.only Expression Statement)]]]] ["[0]" //// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation ["[0]" reference] - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["//" python "_" - ["[1][0]" runtime {"+" Operation Phase Phase! Handler Bundle Generator}] + ["[1][0]" runtime (.only Operation Phase Phase! Handler Bundle Generator)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -39,8 +39,8 @@ ["[1][0]" case] ["[1][0]" loop]]] [// - [analysis {"+" }] - ["[0]" synthesis {"+" %synthesis}] + [analysis (.only)] + ["[0]" synthesis (.only %synthesis)] ["[0]" generation] [/// ["[1]" phase ("[1]#[0]" monad)]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux index 2b06a7946..ba4cd89d5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux @@ -2,11 +2,11 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data ["[0]" text ["%" format]] @@ -14,19 +14,19 @@ ["[0]" dictionary] ["[0]" list]]] [target - ["_" python {"+" Expression SVar}]]]] + ["_" python (.only Expression SVar)]]]] ["[0]" // "_" - ["[1][0]" common {"+" custom}] + ["[1][0]" common (.only custom)] ["//[1]" /// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["//" python "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle - with_vars}]]] + ["[1][0]" runtime (.only Operation Phase Handler Bundle + with_vars)]]] ["/[1]" // "_" ["[0]" generation] ["//[1]" /// "_" diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux index 338342aba..0112c3fb4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux @@ -10,7 +10,7 @@ [//// [generation [r - [runtime {"+" Bundle}]]]]]) + [runtime (.only Bundle)]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux index eba2036c4..61fb604cb 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux @@ -2,16 +2,16 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["[0]" try] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" set] @@ -20,20 +20,20 @@ [number ["f" frac]]] ["@" target - ["_" r {"+" Expression}]]]] + ["_" r (.only Expression)]]]] ["[0]" //// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["[0]" reference] ["//" r "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle Generator}] + ["[1][0]" runtime (.only Operation Phase Handler Bundle Generator)] ["[1][0]" case]]] [// - ["[0]" synthesis {"+" %synthesis}] + ["[0]" synthesis (.only %synthesis)] ["[0]" generation] [/// ["[1]" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux index 7cd663e5e..3d01788a9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux @@ -1,37 +1,37 @@ (.using - [library - [lux "*" - [abstract - ["[0]" monad {"+" do}]] - [control - ["[0]" function] - ["<>" parser - ["<s>" synthesis {"+" Parser}]]] - [data - [collection - ["[0]" dictionary] - ["[0]" list]] - [text - ["%" format {"+" format}]]] - [target - ["_" r {"+" Var Expression}]]]] - ["[0]" // "_" - ["[1][0]" common {"+" custom}] - ["//[1]" /// "_" - ["/" bundle] + [library + [lux "*" + [abstract + ["[0]" monad (.only do)]] + [control + ["[0]" function] + ["<>" parser + ["<s>" synthesis (.only Parser)]]] + [data + [collection + ["[0]" dictionary] + ["[0]" list]] + [text + ["%" format (.only format)]]] + [target + ["_" r (.only Var Expression)]]]] + ["[0]" // "_" + ["[1][0]" common (.only custom)] + ["//[1]" /// "_" + ["/" bundle] + ["/[1]" // "_" + ["[0]" extension] + [generation + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] + ["[0]" reference] + ["//" r "_" + ["[1][0]" runtime (.only Operation Phase Handler Bundle + with_vars)]]] ["/[1]" // "_" - ["[0]" extension] - [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] - ["[0]" reference] - ["//" r "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle - with_vars}]]] - ["/[1]" // "_" - ["[0]" generation] - ["//[1]" /// "_" - ["[1][0]" phase]]]]]]) + ["[0]" generation] + ["//[1]" /// "_" + ["[1][0]" phase]]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux index fe36de1b2..5461e6511 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux @@ -10,7 +10,7 @@ [//// [generation [ruby - [runtime {"+" Bundle}]]]]]) + [runtime (.only Bundle)]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux index bec0ecdc2..d6d56ed63 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux @@ -2,16 +2,16 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["[0]" try] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" list ("[1]#[0]" functor mix)]]] @@ -21,16 +21,16 @@ [number ["f" frac]]] [target - ["_" ruby {"+" Expression Statement}]]]] + ["_" ruby (.only Expression Statement)]]]] ["[0]" //// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["//" ruby "_" - ["[1][0]" runtime {"+" Operation Phase Phase! Handler Bundle Generator}] + ["[1][0]" runtime (.only Operation Phase Phase! Handler Bundle Generator)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -38,7 +38,7 @@ ["[1][0]" case] ["[1][0]" loop]]] [// - ["[0]" synthesis {"+" %synthesis}] + ["[0]" synthesis (.only %synthesis)] ["[0]" generation] [/// ["[1]" phase ("[1]#[0]" monad)]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux index a5f389ec9..1b5a79492 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux @@ -2,32 +2,32 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data [collection ["[0]" dictionary] ["[0]" list]] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [target - ["_" ruby {"+" Var Expression}]]]] + ["_" ruby (.only Var Expression)]]]] ["[0]" // "_" - ["[1][0]" common {"+" custom}] + ["[1][0]" common (.only custom)] ["//[1]" /// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["[0]" reference] ["//" ruby "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle - with_vars}]]] + ["[1][0]" runtime (.only Operation Phase Handler Bundle + with_vars)]]] ["/[1]" // "_" ["[0]" generation] ["//[1]" /// "_" diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux index 5419daa5e..8d09d638f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux @@ -10,7 +10,7 @@ [//// [generation [scheme - [runtime {"+" Bundle}]]]]]) + [runtime (.only Bundle)]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux index 4a1218b26..933e7d3a0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux @@ -2,16 +2,16 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["[0]" try] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" set] @@ -20,20 +20,20 @@ [number ["f" frac]]] ["@" target - ["_" scheme {"+" Expression}]]]] + ["_" scheme (.only Expression)]]]] ["[0]" //// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["[0]" reference] ["//" scheme "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle Generator}] + ["[1][0]" runtime (.only Operation Phase Handler Bundle Generator)] ["[1][0]" case]]] [// - ["[0]" synthesis {"+" %synthesis}] + ["[0]" synthesis (.only %synthesis)] ["[0]" generation] [/// ["[1]" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux index aedc15c3f..67b1827ce 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux @@ -2,32 +2,32 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser - ["<s>" synthesis {"+" Parser}]]] + ["<s>" synthesis (.only Parser)]]] [data [collection ["[0]" dictionary] ["[0]" list]] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [target - ["_" scheme {"+" Var Expression}]]]] + ["_" scheme (.only Var Expression)]]]] ["[0]" // "_" - ["[1][0]" common {"+" custom}] + ["[1][0]" common (.only custom)] ["//[1]" /// "_" ["/" bundle] ["/[1]" // "_" ["[0]" extension] [generation - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] ["[0]" reference] ["//" scheme "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle - with_vars}]]] + ["[1][0]" runtime (.only Operation Phase Handler Bundle + with_vars)]]] ["/[1]" // "_" ["[0]" generation] ["//[1]" /// "_" diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux index 50c9acf01..25868a29a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux @@ -1,10 +1,10 @@ (.using - [library - [lux "*"]] - [// - ["[0]" bundle] - [/// - [synthesis {"+" Bundle}]]]) + [library + [lux "*"]] + [// + ["[0]" bundle] + [/// + [synthesis (.only Bundle)]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux index d92c3084f..462d178ea 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux @@ -2,11 +2,11 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [macro ["^" pattern]]]] ["[0]" / "_" - [runtime {"+" Phase}] + [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -18,12 +18,12 @@ ["/[1]" // "_" ["[1][0]" extension] ["/[1]" // "_" - [analysis {"+" }] + [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// "_" ["[1][0]" phase ("[1]#[0]" monad)] - [reference {"+"} - [variable {"+"}]]]]]]]) + [reference (.only) + [variable (.only)]]]]]]]) (def: .public (generate archive synthesis) Phase diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux index 2f5b895e3..55baf8d63 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux @@ -2,12 +2,12 @@ [library [lux {"-" case let if} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix monoid)] ["[0]" set]]] @@ -17,9 +17,9 @@ [number ["n" nat]]] [target - ["_" common_lisp {"+" Expression Var/1}]]]] + ["_" common_lisp (.only Expression Var/1)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" primitive] ["/[1]" // "_" @@ -28,14 +28,14 @@ ["[1][0]" synthesis "_" ["[1]/[0]" case]] ["/[1]" // "_" - ["[1][0]" synthesis {"+" Member Synthesis Path}] + ["[1][0]" synthesis (.only Member Synthesis Path)] ["[1][0]" generation] ["//[1]" /// "_" [reference - ["[1][0]" variable {"+" Register}]] + ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] [meta - [archive {"+" Archive}]]]]]]]) + [archive (.only Archive)]]]]]]]) (def: .public register (-> Register Var/1) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux index 1a041edc1..8c2e01506 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux @@ -1,13 +1,13 @@ (.using - [library - [lux "*" - [data - [collection - ["[0]" dictionary]]]]] - [// - [runtime {"+" Bundle}]] - [/ - ["[0]" common]]) + [library + [lux "*" + [data + [collection + ["[0]" dictionary]]]]] + [// + [runtime (.only Bundle)]] + [/ + ["[0]" common]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux index 527ee9822..26b03d5e9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux @@ -2,7 +2,7 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function]] [data @@ -12,13 +12,13 @@ [collection ["[0]" dictionary]]] [target - ["_" common_lisp {"+" Expression}]]]] + ["_" common_lisp (.only Expression)]]]] ["[0]" /// "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle}] + ["[1][0]" runtime (.only Operation Phase Handler Bundle)] ["[1][0]" primitive] [// - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] [// [extension ["[0]" bundle]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux index d91f824ad..c525d1cbf 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux @@ -2,32 +2,32 @@ [library [lux {"-" function} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control pipe] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [target - ["_" common_lisp {"+" Expression Var/1}]]]] + ["_" common_lisp (.only Expression Var/1)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] ["//[1]" /// "_" - [analysis {"+" Variant Tuple Abstraction Application Analysis}] - [synthesis {"+" Synthesis}] - ["[1][0]" generation {"+" Context}] + [analysis (.only Variant Tuple Abstraction Application Analysis)] + [synthesis (.only Synthesis)] + ["[1][0]" generation (.only Context)] ["//[1]" /// "_" - [arity {"+" Arity}] + [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [reference - [variable {"+" Register Variable}]]]]]]) + [variable (.only Register Variable)]]]]]]) (def: .public (apply expression archive [functionS argsS+]) (Generator (Application Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux index 29ad332ab..f8563d14b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux @@ -2,20 +2,20 @@ [library [lux {"-" Scope} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math [number ["n" nat]]] [target - ["_" common_lisp {"+" Expression}]]]] + ["_" common_lisp (.only Expression)]]]] ["[0]" // "_" - [runtime {"+" Operation Phase Generator}] + [runtime (.only Operation Phase Generator)] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] @@ -23,14 +23,14 @@ [synthesis ["[0]" case]] ["/[1]" // "_" - ["[0]"synthesis {"+" Scope Synthesis}] + ["[0]"synthesis (.only Scope Synthesis)] ["[1][0]" generation] ["//[1]" /// "_" ["[1][0]" phase] [meta - [archive {"+" Archive}]] + [archive (.only Archive)]] [reference - [variable {"+" Register}]]]]]]]) + [variable (.only Register)]]]]]]]) (def: .public (scope expression archive [start initsS+ bodyS]) (Generator (Scope Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux index c58595ac2..c6fb147f8 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux @@ -1,8 +1,8 @@ (.using - [library - [lux {"-" i64} - [target - ["_" common_lisp {"+" Expression}]]]]) + [library + [lux {"-" i64} + [target + ["_" common_lisp (.only Expression)]]]]) (def: .public bit (-> Bit (Expression Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux index b032cfc3d..55188d5ea 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux @@ -1,10 +1,10 @@ (.using - [library - [lux "*" - [target - ["_" common_lisp {"+" Expression}]]]] - [/// - [reference {"+" System}]]) + [library + [lux "*" + [target + ["_" common_lisp (.only Expression)]]]] + [/// + [reference (.only System)]]) (implementation: .public system (System (Expression Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux index 947dd7cc7..0993f6724 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux @@ -3,7 +3,7 @@ [lux {"-" Location} ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser @@ -11,32 +11,32 @@ [data ["[0]" product] ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}] + ["%" format (.only format)] ["[0]" encoding]] [collection ["[0]" list ("[1]#[0]" functor monoid)] ["[0]" sequence]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - [number {"+" hex} + [number (.only hex) ["[0]" i64]]] ["@" target - ["_" common_lisp {"+" Expression Computation Literal}]]]] + ["_" common_lisp (.only Expression Computation Literal)]]]] ["[0]" /// "_" ["[1][0]" reference] ["//[1]" /// "_" - [analysis {"+" Variant}] - ["[1][0]" synthesis {"+" Synthesis}] + [analysis (.only Variant)] + ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] ["//[1]" /// ["[1][0]" phase] [reference - [variable {"+" Register}]] + [variable (.only Register)]] [meta - [archive {"+" Output Archive} - ["[0]" artifact {"+" Registry}]]]]]]) + [archive (.only Output Archive) + ["[0]" artifact (.only Registry)]]]]]]) (def: module_id 0) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux index 8554b332f..af0d4302b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux @@ -1,18 +1,18 @@ (.using - [library - [lux "*" - [abstract - ["[0]" monad {"+" do}]] - [target - ["_" common_lisp {"+" Expression}]]]] - ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] - ["[1][0]" primitive] - ["///[1]" //// "_" - [analysis {"+" Variant Tuple}] - ["[1][0]" synthesis {"+" Synthesis}] - ["//[1]" /// "_" - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + [library + [lux "*" + [abstract + ["[0]" monad (.only do)]] + [target + ["_" common_lisp (.only Expression)]]]] + ["[0]" // "_" + ["[1][0]" runtime (.only Operation Phase Generator)] + ["[1][0]" primitive] + ["///[1]" //// "_" + [analysis (.only Variant Tuple)] + ["[1][0]" synthesis (.only Synthesis)] + ["//[1]" /// "_" + ["[1][0]" phase ("[1]#[0]" monad)]]]]) (def: .public (tuple expression archive elemsS+) (Generator (Tuple Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux index a260ec3c8..6762b03c1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux @@ -2,7 +2,7 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control [parser ["<[0]>" code]]] @@ -10,13 +10,13 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] ["[0]" meta] - ["[0]" macro {"+" with_symbols} + ["[0]" macro (.only with_symbols) ["[0]" code] - [syntax {"+" syntax:}]]]] + [syntax (.only syntax:)]]]] ["[0]" /// "_" ["[1][0]" extension] [// - [synthesis {"+" Synthesis}] + [synthesis (.only Synthesis)] ["[0]" generation] [/// ["[1]" phase]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux index 637513242..cd1276c3c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux @@ -2,15 +2,15 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [macro ["^" pattern]] [target ["_" js]]]] ["[0]" / "_" - [runtime {"+" Phase Phase!}] + [runtime (.only Phase Phase!)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -25,12 +25,12 @@ [js ["[1]/[0]" common]]]] ["/[1]" // "_" - [analysis {"+" }] + [analysis (.only)] ["[0]" synthesis] ["//[1]" /// "_" ["[1][0]" phase ("[1]#[0]" monad)] - [reference {"+"} - [variable {"+"}]]]]]]]) + [reference (.only) + [variable (.only)]]]]]]]) (exception: .public cannot_recur_as_an_expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux index de443a7c7..c660b2d39 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux @@ -2,7 +2,7 @@ [library [lux {"-" case exec let if} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe]] [data @@ -15,9 +15,9 @@ [number ["n" nat]]] [target - ["_" js {"+" Expression Computation Var Statement}]]]] + ["_" js (.only Expression Computation Var Statement)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Phase! Generator Generator!}] + ["[1][0]" runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" reference] ["[1][0]" primitive] ["/[1]" // "_" @@ -26,15 +26,15 @@ ["[1][0]" synthesis "_" ["[1]/[0]" case]] ["/[1]" // "_" - ["[1][0]" synthesis {"+" Synthesis Path} + ["[1][0]" synthesis (.only Synthesis Path) [access - ["[0]" member {"+" Member}]]] + ["[0]" member (.only Member)]]] ["//[1]" /// "_" [reference - [variable {"+" Register}]] + [variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] [meta - [archive {"+" Archive}]]]]]]]) + [archive (.only Archive)]]]]]]]) (def: .public register (-> Register Var) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux index 15c0a984a..95d8d484f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux @@ -2,30 +2,30 @@ [library [lux {"-" function} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [target - ["_" js {"+" Expression Computation Var Statement}]]]] + ["_" js (.only Expression Computation Var Statement)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Phase! Generator}] + ["[1][0]" runtime (.only Operation Phase Phase! Generator)] ["[1][0]" reference] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] ["//[1]" /// "_" - [analysis {"+" Abstraction Reification Analysis}] - [synthesis {"+" Synthesis}] + [analysis (.only Abstraction Reification Analysis)] + [synthesis (.only Synthesis)] ["[1][0]" generation] ["//[1]" /// "_" - [arity {"+" Arity}] + [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [reference - [variable {"+" Register Variable}]] + [variable (.only Register Variable)]] [meta [archive ["[0]" unit]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux index 62da60326..634cbdd2b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux @@ -2,28 +2,28 @@ [library [lux {"-" Scope} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [math [number ["n" nat]]] [target - ["_" js {"+" Computation Var Expression Statement}]]]] + ["_" js (.only Computation Var Expression Statement)]]]] ["[0]" // "_" - [runtime {"+" Operation Phase Phase! Generator Generator!}] + [runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" case] ["///[1]" //// "_" - [synthesis {"+" Scope Synthesis}] + [synthesis (.only Scope Synthesis)] ["[1][0]" generation] ["//[1]" /// "_" ["[1][0]" phase] [reference - [variable {"+" Register}]]]]]) + [variable (.only Register)]]]]]) (def: @scope (-> Nat Text) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux index 1672c65b7..6cdbb5035 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux @@ -1,10 +1,10 @@ (.using - [library - [lux {"-" i64} - [target - ["_" js {"+" Computation}]]]] - ["[0]" // "_" - ["[1][0]" runtime]]) + [library + [lux {"-" i64} + [target + ["_" js (.only Computation)]]]] + ["[0]" // "_" + ["[1][0]" runtime]]) (def: .public bit _.boolean) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux index 0874ed4f3..b6a386e8b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux @@ -1,10 +1,10 @@ (.using - [library - [lux "*" - [target - ["_" js {"+" Expression}]]]] - [/// - [reference {"+" System}]]) + [library + [lux "*" + [target + ["_" js (.only Expression)]]]] + [/// + [reference (.only System)]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux index 13f2a82e0..66c8021fd 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux @@ -3,7 +3,7 @@ [lux {"-" i64} ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser @@ -11,32 +11,32 @@ [data ["[0]" product] ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - [number {"+" hex} + [number (.only hex) ["[0]" i64]]] [target - ["_" js {"+" Expression Var Computation Statement}]]]] + ["_" js (.only Expression Var Computation Statement)]]]] ["[0]" /// "_" ["[1][0]" reference] ["//[1]" /// "_" - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] ["//[1]" /// ["[1][0]" phase] [reference - [variable {"+" Register}]] + [variable (.only Register)]] [meta - [archive {"+" Output Archive} - ["[0]" registry {"+" Registry}] + [archive (.only Output Archive) + ["[0]" registry (.only Registry)] ["[0]" unit]]]]]]) (template [<name> <base>] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux index 96ed21e8a..8d3abeb61 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux @@ -2,16 +2,16 @@ [library [lux {"-" Variant Tuple} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [target - ["_" js {"+" Expression}]]]] + ["_" js (.only Expression)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] ["///[1]" //// "_" - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" synthesis (.only Synthesis)] [analysis - [complex {"+" Variant Tuple}]] + [complex (.only Variant Tuple)]] ["//[1]" /// ["[1][0]" phase ("[1]#[0]" monad)]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux index 67ae82f54..2f1e595eb 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux @@ -2,11 +2,11 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [macro ["^" pattern]]]] ["[0]" / "_" - [runtime {"+" Phase}] + [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux index 455121d02..e88608b70 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux @@ -2,14 +2,14 @@ [library [lux {"-" Type Label if let exec case int} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function]] [data [collection ["[0]" list ("[1]#[0]" mix)]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [macro ["^" pattern]] [math @@ -18,26 +18,26 @@ ["[0]" i32]]] [target [jvm - ["_" bytecode {"+" Label Bytecode} ("[1]#[0]" monad) + ["_" bytecode (.only Label Bytecode) ("[1]#[0]" monad) [environment [limit ["[0]" stack]]]] - ["[0]" type {"+" Type} - [category {"+" Method}]]]]]] + ["[0]" type (.only Type) + [category (.only Method)]]]]]] ["[0]" // "_" ["[1][0]" type] - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" value] ["[1][0]" structure] [//// ["[0]" generation] - ["[0]" synthesis {"+" Path Fork Synthesis} + ["[0]" synthesis (.only Path Fork Synthesis) [access - ["[0]" member {"+" Member}]]] + ["[0]" member (.only Member)]]] [/// ["[0]" phase ("operation#[0]" monad)] [reference - [variable {"+" Register}]]]]]) + [variable (.only Register)]]]]]) (def: (pop_alt stack_depth) (-> Nat (Bytecode Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux index 5caa9c817..5c1005d2a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux @@ -2,16 +2,16 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" io {"+" IO}] - ["[0]" try {"+" Try}]] + ["[0]" io (.only IO)] + ["[0]" try (.only Try)]] [data - [binary {"+" Binary}] + [binary (.only Binary)] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [world - ["[0]" file {"+" File}]]]]) + ["[0]" file (.only File)]]]]) (def: extension ".class") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux index 77f1a415f..37f4ff161 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux @@ -2,7 +2,7 @@ [library [lux {"-" Type Label} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] [collection @@ -17,23 +17,23 @@ [target [jvm ["[0]" version] - ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)] - ["[0]" field {"+" Field}] - ["[0]" method {"+" Method}] - ["_" bytecode {"+" Label Bytecode} ("[1]#[0]" monad)] - ["[0]" class {"+" Class}] - ["[0]" type {"+" Type} - [category {"+" Return' Value'}] + ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" field (.only Field)] + ["[0]" method (.only Method)] + ["_" bytecode (.only Label Bytecode) ("[1]#[0]" monad)] + ["[0]" class (.only Class)] + ["[0]" type (.only Type) + [category (.only Return' Value')] ["[0]" reflection]] ["[0]" constant - [pool {"+" Resource}]] + [pool (.only Resource)]] [encoding - ["[0]" name {"+" External Internal}] + ["[0]" name (.only External Internal)] ["[0]" unsigned]]]] [tool [compiler [meta - ["[0]" archive {"+" Archive}] + ["[0]" archive (.only Archive)] ["[0]" cache "_" [dependency ["[1]/[0]" artifact]]]]]]]] @@ -52,20 +52,20 @@ ["[1][0]" reset] ["[1][0]" apply]] ["/[1]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] [//// - [analysis {"+" Environment}] - ["[0]" synthesis {"+" Synthesis Abstraction Apply}] + [analysis (.only Environment)] + ["[0]" synthesis (.only Synthesis Abstraction Apply)] ["[0]" generation] [/// - ["[0]" arity {"+" Arity}] + ["[0]" arity (.only Arity)] ["[0]" phase] [meta [archive ["[0]" unit]]] [reference - [variable {"+" Register}]]]]]]) + [variable (.only Register)]]]]]]) (def: .public (with generate archive @begin class environment arity body) (-> Phase Archive Label External (Environment Synthesis) Arity (Bytecode Any) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux index d8bd53835..6167117e5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux @@ -1,17 +1,17 @@ (.using - [library - [lux {"-" Type} - [data - [text - ["%" format]]] - [target - [jvm - ["[0]" type {"+" Type} - [category {"+" Method}]]]]]] - [// - [field - [constant - ["[0]" arity]]]]) + [library + [lux {"-" Type} + [data + [text + ["%" format]]] + [target + [jvm + ["[0]" type (.only Type) + [category (.only Method)]]]]]] + [// + [field + [constant + ["[0]" arity]]]]) ... (def: .public artifact_id ... 1) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux index bccc114a9..f13d6d8d3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux @@ -6,12 +6,12 @@ ["[0]" sequence]]] [target [jvm - ["[0]" field {"+" Field}] - ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)] - [type {"+" Type} - [category {"+" Value}]] + ["[0]" field (.only Field)] + ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + [type (.only Type) + [category (.only Value)]] [constant - [pool {"+" Resource}]]]]]]) + [pool (.only Resource)]]]]]]) (def: modifier (Modifier Field) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux index 1828fe5c1..9583f083a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux @@ -1,14 +1,14 @@ (.using - [library - [lux {"-" type} - [target - [jvm - ["[0]" type] - [constant - [pool {"+" Resource}]]]]]] - ["[0]" // - [///////// - [arity {"+" Arity}]]]) + [library + [lux {"-" type} + [target + [jvm + ["[0]" type] + [constant + [pool (.only Resource)]]]]]] + ["[0]" // + [///////// + [arity (.only Arity)]]]) (def: .public minimum Arity 1) (def: .public maximum Arity 8) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux index 179fdb273..408e673cc 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux @@ -7,19 +7,19 @@ ["[0]" sequence]]] [target [jvm - ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)] - ["[0]" field {"+" Field}] - ["_" bytecode {"+" Bytecode}] - [type {"+" Type} - [category {"+" Value Class}]] + ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" field (.only Field)] + ["_" bytecode (.only Bytecode)] + [type (.only Type) + [category (.only Value Class)]] [constant - [pool {"+" Resource}]]]]]] + [pool (.only Resource)]]]]]] ["[0]" //// "_" ["[1][0]" type] ["[1][0]" reference] [////// [reference - [variable {"+" Register}]]]]) + [variable (.only Register)]]]]) (def: .public type ////type.value) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux index c3a960653..1c1224866 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux @@ -5,10 +5,10 @@ ["[0]" try]] [target [jvm - ["_" bytecode {"+" Bytecode}] + ["_" bytecode (.only Bytecode)] ["[0]" type] [encoding - [name {"+" External}] + [name (.only External)] ["[0]" signed]]]]]] ["[0]" //// "_" ["[1][0]" abstract]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux index 2aeeb2f49..e102e04dc 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux @@ -1,26 +1,26 @@ (.using - [library - [lux {"-" Type} - [data - [collection - ["[0]" list]]] - [target - [jvm - ["_" bytecode {"+" Bytecode}] - ["[0]" field {"+" Field}] - [constant - [pool {"+" Resource}]] - [type {"+" Type} - [category {"+" Value Class}]]]]]] - ["[0]" // - ["///[1]" //// "_" - ["[1][0]" reference] - [//// - [analysis {"+" Environment}] - [synthesis {"+" Synthesis}] - [/// - [reference - [variable {"+" Register}]]]]]]) + [library + [lux {"-" Type} + [data + [collection + ["[0]" list]]] + [target + [jvm + ["_" bytecode (.only Bytecode)] + ["[0]" field (.only Field)] + [constant + [pool (.only Resource)]] + [type (.only Type) + [category (.only Value Class)]]]]]] + ["[0]" // + ["///[1]" //// "_" + ["[1][0]" reference] + [//// + [analysis (.only Environment)] + [synthesis (.only Synthesis)] + [/// + [reference + [variable (.only Register)]]]]]]) (def: .public (closure environment) (-> (Environment Synthesis) (List (Type Value))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux index d6f86409c..4806c022e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux @@ -11,12 +11,12 @@ ["n" nat]]] [target [jvm - ["[0]" field {"+" Field}] - ["_" bytecode {"+" Bytecode} ("[1]#[0]" monad)] - [type {"+" Type} - [category {"+" Class}]] + ["[0]" field (.only Field)] + ["_" bytecode (.only Bytecode) ("[1]#[0]" monad)] + [type (.only Type) + [category (.only Class)]] [constant - [pool {"+" Resource}]]]]]] + [pool (.only Resource)]]]]]] ["[0]" // ["[1][0]" count] ["/[1]" // "_" @@ -25,9 +25,9 @@ ["//[1]" /// "_" ["[1][0]" reference] [////// - ["[0]" arity {"+" Arity}] + ["[0]" arity (.only Arity)] [reference - [variable {"+" Register}]]]]]]) + [variable (.only Register)]]]]]]) (def: .public (initial amount) (-> Nat (Bytecode Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux index e684f86bc..93f08dc46 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux @@ -3,8 +3,8 @@ [lux "*" [target [jvm - ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)] - ["[0]" method {"+" Method}]]]]]) + ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" method (.only Method)]]]]]) (def: .public modifier (Modifier Method) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux index e4b3c7802..873e2818a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux @@ -2,7 +2,7 @@ [library [lux {"-" Type Label type} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" try]] [data @@ -15,14 +15,14 @@ ["[0]" i32]]] [target [jvm - ["_" bytecode {"+" Label Bytecode} ("[1]#[0]" monad)] - ["[0]" method {"+" Method}] + ["_" bytecode (.only Label Bytecode) ("[1]#[0]" monad)] + ["[0]" method (.only Method)] [constant - [pool {"+" Resource}]] + [pool (.only Resource)]] [encoding ["[0]" signed]] - ["[0]" type {"+" Type} - ["[0]" category {"+" Class}]]]]]] + ["[0]" type (.only Type) + ["[0]" category (.only Class)]]]]]] ["[0]" // ["[1][0]" reset] ["[1][0]" implementation] @@ -41,12 +41,12 @@ ["[1][0]" value] ["[1][0]" reference] [//// - [analysis {"+" Environment}] - [synthesis {"+" Synthesis}] + [analysis (.only Environment)] + [synthesis (.only Synthesis)] [/// - [arity {"+" Arity}] + [arity (.only Arity)] [reference - [variable {"+" Register}]]]]]]]) + [variable (.only Register)]]]]]]]) (def: (increment by) (-> Nat (Bytecode Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux index eb17c5044..9d5466340 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux @@ -9,19 +9,19 @@ ["n" nat]]] [target [jvm - ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)] - ["[0]" method {"+" Method}] - ["_" bytecode {"+" Label Bytecode}] + ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" method (.only Method)] + ["_" bytecode (.only Label Bytecode)] [constant - [pool {"+" Resource}]] - ["[0]" type {"+" Type} - ["[0]" category {"+" Class}]]]]]] + [pool (.only Resource)]] + ["[0]" type (.only Type) + ["[0]" category (.only Class)]]]]]] ["[0]" // ["//[1]" /// "_" ["[0]" runtime] ["[1][0]" type] [////// - [arity {"+" Arity}] + [arity (.only Arity)] [meta [archive ["[0]" unit]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux index d909c1aaf..2613bda11 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux @@ -13,14 +13,14 @@ ["n" nat]]] [target [jvm - ["_" bytecode {"+" Bytecode}] - ["[0]" method {"+" Method}] + ["_" bytecode (.only Bytecode)] + ["[0]" method (.only Method)] [encoding ["[0]" signed]] [constant - [pool {"+" Resource}]] - ["[0]" type {"+" Type} - ["[0]" category {"+" Class Value}]]]]]] + [pool (.only Resource)]] + ["[0]" type (.only Type) + ["[0]" category (.only Class Value)]]]]]] ["[0]" // ["[1][0]" implementation] ["/[1]" // "_" @@ -35,12 +35,12 @@ ["[1][0]" type] ["[1][0]" reference] [//// - [analysis {"+" Environment}] - [synthesis {"+" Synthesis}] + [analysis (.only Environment)] + [synthesis (.only Synthesis)] [/// - ["[0]" arity {"+" Arity}] + ["[0]" arity (.only Arity)] [reference - [variable {"+" Register}]]]]]]]) + [variable (.only Register)]]]]]]]) (def: .public name "<init>") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux index 06c0b32d3..9d05cc4f2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux @@ -2,7 +2,7 @@ [library [lux {"-" Type type} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data [collection ["[0]" list]]] @@ -11,17 +11,17 @@ ["n" nat]]] [target [jvm - ["[0]" field {"+" Field}] - ["[0]" method {"+" Method}] - ["_" bytecode {"+" Bytecode}] + ["[0]" field (.only Field)] + ["[0]" method (.only Method)] + ["_" bytecode (.only Bytecode)] ["[0]" constant - [pool {"+" Resource}]] - [type {"+" Type} - ["[0]" category {"+" Class Value Return}]]]] + [pool (.only Resource)]] + [type (.only Type) + ["[0]" category (.only Class Value Return)]]]] [tool [compiler [meta - ["[0]" archive {"+" Archive}]]]]]] + ["[0]" archive (.only Archive)]]]]]] ["[0]" // ["[1][0]" init] ["[1][0]" implementation] @@ -33,14 +33,14 @@ ["[1][0]" foreign] ["[1][0]" partial]]] ["/[1]" // "_" - [runtime {"+" Operation Phase}] + [runtime (.only Operation Phase)] ["[1][0]" value] ["[1][0]" reference] [//// - [analysis {"+" Environment}] - [synthesis {"+" Synthesis}] + [analysis (.only Environment)] + [synthesis (.only Synthesis)] [/// - ["[0]" arity {"+" Arity}] + ["[0]" arity (.only Arity)] ["[0]" phase]]]]]]) (def: .public (instance' foreign_setup class environment arity) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux index ea9f1fc21..31350c892 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux @@ -6,12 +6,12 @@ ["[0]" list ("[1]#[0]" functor)]]] [target [jvm - ["[0]" method {"+" Method}] - ["_" bytecode {"+" Bytecode}] + ["[0]" method (.only Method)] + ["_" bytecode (.only Bytecode)] [constant - [pool {"+" Resource}]] - ["[0]" type {"+" Type} - ["[0]" category {"+" Class}]]]]]] + [pool (.only Resource)]] + ["[0]" type (.only Type) + ["[0]" category (.only Class)]]]]]] ["[0]" // ["[1][0]" new] ["/[1]" // "_" @@ -21,10 +21,10 @@ ["/[1]" // "_" ["[1][0]" reference] [//// - [analysis {"+" Environment}] - [synthesis {"+" Synthesis}] + [analysis (.only Environment)] + [synthesis (.only Synthesis)] [/// - ["[0]" arity {"+" Arity}]]]]]]) + ["[0]" arity (.only Arity)]]]]]]) (def: .public name "reset") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux index d9f873984..dfa514d16 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux @@ -1,36 +1,36 @@ (.using [library [lux {"-" Definition} - ["[0]" ffi {"+" import: do_to object}] + ["[0]" ffi (.only import: do_to object)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] - ["[0]" io {"+" IO io}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] + ["[0]" io (.only IO io)] [concurrency - ["[0]" atom {"+" Atom atom}]]] + ["[0]" atom (.only Atom atom)]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" array] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" sequence]] ["[0]" format "_" ["[1]" binary]]] [target [jvm - ["_" bytecode {"+" Bytecode}] - ["[0]" loader {"+" Library}] - ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)] - ["[0]" field {"+" Field}] - ["[0]" method {"+" Method}] + ["_" bytecode (.only Bytecode)] + ["[0]" loader (.only Library)] + ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" field (.only Field)] + ["[0]" method (.only Method)] ["[0]" version] - ["[0]" class {"+" Class}] + ["[0]" class (.only Class)] ["[0]" encoding "_" ["[1]/[0]" name]] ["[0]" type @@ -38,11 +38,11 @@ [tool [compiler [meta - [io {"+" lux_context}] + [io (.only lux_context)] [archive ["[0]" unit]]]]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Definition}] + ["[1][0]" runtime (.only Definition)] ["[1][0]" type] ["[1][0]" value]] ) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux index 167e22442..40a75189d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux @@ -2,7 +2,7 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function]] [data @@ -14,17 +14,17 @@ ["n" nat]]] [target [jvm - ["_" bytecode {"+" Bytecode} ("[1]#[0]" monad)]]]]] + ["_" bytecode (.only Bytecode) ("[1]#[0]" monad)]]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" value] [//// - ["[0]" synthesis {"+" Path Synthesis}] + ["[0]" synthesis (.only Path Synthesis)] ["[0]" generation] [/// ["[0]" phase] [reference - [variable {"+" Register}]]]]]) + [variable (.only Register)]]]]]) (def: (invariant? register changeS) (-> Register Synthesis Bit) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux index 21a10ad06..7a5b4d3eb 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux @@ -1,9 +1,9 @@ (.using [library [lux {"-" i64} - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try]] [macro @@ -13,7 +13,7 @@ ["i" int]]] [target [jvm - ["_" bytecode {"+" Bytecode}] + ["_" bytecode (.only Bytecode)] ["[0]" type] [encoding ["[0]" signed]]]]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux index dacdd2318..dea6eef5f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux @@ -2,7 +2,7 @@ [library [lux {"-" Definition} [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try]] [data @@ -12,11 +12,11 @@ ["[1]" binary]]] [target [jvm - ["_" bytecode {"+" Bytecode}] - ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)] - ["[0]" method {"+" Method}] + ["_" bytecode (.only Bytecode)] + ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" method (.only Method)] ["[0]" version] - ["[0]" class {"+" Class}] + ["[0]" class (.only Class)] [encoding ["[0]" name]] ["[0]" type @@ -25,12 +25,12 @@ [compiler [language [lux - [program {"+" Program}]]] + [program (.only Program)]]] [meta [archive ["[0]" unit]]]]]]] ["[0]" // - ["[1][0]" runtime {"+" Definition}] + ["[1][0]" runtime (.only Definition)] ["[1][0]" function/abstract]]) (def: ^Object diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux index 725952b30..7efa8cf7a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux @@ -2,18 +2,18 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [data [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [target [jvm - ["_" bytecode {"+" Bytecode}] + ["_" bytecode (.only Bytecode)] ["[0]" type] [encoding ["[0]" unsigned]]]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation}] + ["[1][0]" runtime (.only Operation)] ["[1][0]" value] ["[1][0]" type] ["//[1]" /// "_" @@ -22,9 +22,9 @@ [/// ["[1]" phase ("operation#[0]" monad)] [reference - ["[0]" variable {"+" Register Variable}]] + ["[0]" variable (.only Register Variable)]] [meta - [archive {"+" Archive}]]]]]]) + [archive (.only Archive)]]]]]]) (def: .public this (Bytecode Any) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux index cb82ec642..d8d310885 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux @@ -2,12 +2,12 @@ [library [lux {"-" Type Definition Label case false true try} [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] ["[0]" enum]] [control ["[0]" try]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] [collection ["[0]" list ("[1]#[0]" functor)] @@ -15,7 +15,7 @@ ["[0]" format "_" ["[1]" binary]] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math [number ["n" nat] @@ -25,18 +25,18 @@ ["[0]" version]] [target ["[0]" jvm "_" - ["_" bytecode {"+" Label Bytecode}] - ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)] - ["[0]" field {"+" Field}] - ["[0]" method {"+" Method}] + ["_" bytecode (.only Label Bytecode)] + ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" field (.only Field)] + ["[0]" method (.only Method)] ["[1]/[0]" version] - ["[0]" class {"+" Class}] + ["[0]" class (.only Class)] ["[0]" constant - [pool {"+" Resource}]] + [pool (.only Resource)]] [encoding ["[0]" name]] - ["[0]" type {"+" Type} - ["[0]" category {"+" Return' Value'}] + ["[0]" type (.only Type) + ["[0]" category (.only Return' Value')] ["[0]" reflection]]]]]] ["[0]" // "_" ["[1][0]" type] @@ -54,14 +54,14 @@ ["[0]" generation] [/// ["[1]" phase] - [arity {"+" Arity}] + [arity (.only Arity)] [reference - [variable {"+" Register}]] + [variable (.only Register)]] [meta - [io {"+" lux_context}] - [archive {"+" Output Archive} + [io (.only lux_context)] + [archive (.only Output Archive) ["[0]" artifact] - ["[0]" registry {"+" Registry}] + ["[0]" registry (.only Registry)] ["[0]" unit]]]]]]]) (type: .public Byte_Code diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux index 4b0b2c145..911aa4f34 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux @@ -2,7 +2,7 @@ [library [lux {"-" Variant Tuple} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" try]] [data @@ -13,18 +13,18 @@ ["[0]" i32]]] [target [jvm - ["_" bytecode {"+" Bytecode}] + ["_" bytecode (.only Bytecode)] ["[0]" type] [encoding ["[0]" signed]]]]]] ["[0]" // "_" ["[1][0]" type] - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] ["///[1]" //// "_" - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" synthesis (.only Synthesis)] [analysis - [complex {"+" Variant Tuple}]] + [complex (.only Variant Tuple)]] [/// ["[0]" phase]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux index e40b7d122..358df556e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux @@ -3,9 +3,9 @@ [lux {"-" Type Primitive type} [target [jvm - ["_" bytecode {"+" Bytecode}] - ["[0]" type {"+" Type} ("[1]#[0]" equivalence) - [category {"+" Primitive}] + ["_" bytecode (.only Bytecode)] + ["[0]" type (.only Type) ("[1]#[0]" equivalence) + [category (.only Primitive)] ["[0]" box]]]]]]) (def: .public field "value") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux index 6493ea02a..d32c9cf0b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux @@ -2,15 +2,15 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [macro ["^" pattern]] [target ["_" lua]]]] ["[0]" / "_" - [runtime {"+" Phase}] + [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -25,12 +25,12 @@ [lua ["[1]/[0]" common]]]] ["/[1]" // "_" - [analysis {"+" }] + [analysis (.only)] ["[0]" synthesis] ["//[1]" /// "_" ["[1][0]" phase ("[1]#[0]" monad)] - [reference {"+" } - [variable {"+" }]]]]]]]) + [reference (.only) + [variable (.only)]]]]]]]) (exception: .public cannot_recur_as_an_expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux index 18776639d..7fd901461 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux @@ -2,19 +2,19 @@ [library [lux {"-" case exec let if} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" set]]] [macro ["^" pattern]] [target - ["_" lua {"+" Expression Var Statement}]]]] + ["_" lua (.only Expression Var Statement)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Phase! Generator Generator!}] + ["[1][0]" runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" reference] ["[1][0]" primitive] ["/[1]" // "_" @@ -23,16 +23,16 @@ ["[1][0]" synthesis "_" ["[1]/[0]" case]] ["/[1]" // "_" - ["[1][0]" synthesis {"+" Synthesis Path} + ["[1][0]" synthesis (.only Synthesis Path) [access - ["[0]" member {"+" Member}]]] + ["[0]" member (.only Member)]]] ["[1][0]" generation] ["//[1]" /// "_" [reference - ["[1][0]" variable {"+" Register}]] + ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] [meta - [archive {"+" Archive}]]]]]]]) + [archive (.only Archive)]]]]]]]) (def: .public register (-> Register Var) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux index de0387fd7..2d71b0fd5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux @@ -2,27 +2,27 @@ [library [lux {"-" Label function} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [target - ["_" lua {"+" Var Expression Label Statement}]]]] + ["_" lua (.only Var Expression Label Statement)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Phase! Generator}] + ["[1][0]" runtime (.only Operation Phase Phase! Generator)] ["[1][0]" reference] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] ["//[1]" /// "_" - [analysis {"+" Abstraction Reification Analysis}] - [synthesis {"+" Synthesis}] + [analysis (.only Abstraction Reification Analysis)] + [synthesis (.only Synthesis)] ["[1][0]" generation] ["//[1]" /// "_" - [arity {"+" Arity}] + [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [meta [archive @@ -31,7 +31,7 @@ [dependency ["[1]" artifact]]]] [reference - [variable {"+" Register Variable}]]]]]]) + [variable (.only Register Variable)]]]]]]) (def: .public (apply expression archive [functionS argsS+]) (Generator (Reification Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux index 9883feaaf..55cf46cca 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux @@ -2,11 +2,11 @@ [library [lux {"-" Label Scope} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" set]]] @@ -14,24 +14,24 @@ [number ["n" nat]]] [target - ["_" lua {"+" Var Expression Label Statement}]]]] + ["_" lua (.only Var Expression Label Statement)]]]] ["[0]" // "_" - [runtime {"+" Operation Phase Phase! Generator Generator!}] + [runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] ["//[1]" /// "_" - ["[0]"synthesis {"+" Scope Synthesis}] + ["[0]"synthesis (.only Scope Synthesis)] ["[1][0]" generation] ["//[1]" /// "_" ["[1][0]" phase] [meta - [archive {"+" Archive}] + [archive (.only Archive)] ["[0]" cache "_" [dependency ["[1]" artifact]]]] [reference - [variable {"+" Register}]]]]]]) + [variable (.only Register)]]]]]]) (def: @scope (-> Nat Label) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux index 556371e6a..50535a1a4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux @@ -1,8 +1,8 @@ (.using - [library - [lux {"-" i64} - [target - ["_" lua {"+" Literal}]]]]) + [library + [lux {"-" i64} + [target + ["_" lua (.only Literal)]]]]) (template [<name> <type> <implementation>] [(def: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux index f3ff385ae..7cff5ed07 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux @@ -1,10 +1,10 @@ (.using - [library - [lux "*" - [target - ["_" lua {"+" Expression}]]]] - [/// - [reference {"+" System}]]) + [library + [lux "*" + [target + ["_" lua (.only Expression)]]]] + [/// + [reference (.only System)]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux index 9864bd037..149d5d333 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux @@ -3,7 +3,7 @@ [lux {"-" Label Location} ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser @@ -11,32 +11,32 @@ [data ["[0]" product] ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - [number {"+" hex} + [number (.only hex) ["[0]" i64]]] ["@" target - ["_" lua {"+" Expression Location Var Computation Literal Label Statement}]]]] + ["_" lua (.only Expression Location Var Computation Literal Label Statement)]]]] ["[0]" /// "_" ["[1][0]" reference] ["//[1]" /// "_" - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] ["//[1]" /// ["[1][0]" phase] [reference - [variable {"+" Register}]] + [variable (.only Register)]] [meta - [archive {"+" Output Archive} - ["[0]" registry {"+" Registry}] + [archive (.only Output Archive) + ["[0]" registry (.only Registry)] ["[0]" unit]]]]]]) (template [<name> <base>] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux index 80028d75e..e1d8961f8 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux @@ -2,16 +2,16 @@ [library [lux {"-" Tuple Variant} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [target - ["_" lua {"+" Expression}]]]] + ["_" lua (.only Expression)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] ["///[1]" //// "_" - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" synthesis (.only Synthesis)] [analysis - [complex {"+" Variant Tuple}]] + [complex (.only Variant Tuple)]] ["//[1]" /// "_" ["[1][0]" phase ("[1]#[0]" monad)]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux index 460350507..c878aa282 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux @@ -2,15 +2,15 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [macro ["^" pattern]] [target ["_" php]]]] ["[0]" / "_" - [runtime {"+" Phase Phase!}] + [runtime (.only Phase Phase!)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -22,12 +22,12 @@ ["/[1]" // "_" ["[1][0]" extension] ["/[1]" // "_" - [analysis {"+" }] + [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// "_" ["[1][0]" phase ("[1]#[0]" monad)] - [reference {"+"} - [variable {"+"}]]]]]]]) + [reference (.only) + [variable (.only)]]]]]]]) (def: (statement expression archive synthesis) Phase! diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux index c950b555c..52c5a626e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux @@ -2,11 +2,11 @@ [library [lux {"-" case let if} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" set]]] @@ -16,9 +16,9 @@ [number ["i" int]]] [target - ["_" php {"+" Expression Var Statement}]]]] + ["_" php (.only Expression Var Statement)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Phase! Generator Generator!}] + ["[1][0]" runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" reference] ["[1][0]" primitive] ["/[1]" // "_" @@ -27,14 +27,14 @@ ["[1][0]" synthesis "_" ["[1]/[0]" case]] ["/[1]" // "_" - ["[1][0]" synthesis {"+" Member Synthesis Path}] + ["[1][0]" synthesis (.only Member Synthesis Path)] ["[1][0]" generation] ["//[1]" /// "_" [reference - ["[1][0]" variable {"+" Register}]] + ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] [meta - [archive {"+" Archive}]]]]]]]) + [archive (.only Archive)]]]]]]]) (def: .public register (-> Register Var) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux index 1a041edc1..8c2e01506 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux @@ -1,13 +1,13 @@ (.using - [library - [lux "*" - [data - [collection - ["[0]" dictionary]]]]] - [// - [runtime {"+" Bundle}]] - [/ - ["[0]" common]]) + [library + [lux "*" + [data + [collection + ["[0]" dictionary]]]]] + [// + [runtime (.only Bundle)]] + [/ + ["[0]" common]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux index c52d69b22..e0549236f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux @@ -2,7 +2,7 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function]] [data @@ -13,13 +13,13 @@ [collection ["[0]" dictionary]]] [target - ["_" php {"+" Expression}]]]] + ["_" php (.only Expression)]]]] ["[0]" /// "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle}] + ["[1][0]" runtime (.only Operation Phase Handler Bundle)] ["[1][0]" primitive] [// - [extension {"+" Nullary Unary Binary Trinary - nullary unary binary trinary}] + [extension (.only Nullary Unary Binary Trinary + nullary unary binary trinary)] [// [extension ["[0]" bundle]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux index e9cc9f517..7dfe4b9d0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux @@ -2,32 +2,32 @@ [library [lux {"-" Global function} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control pipe] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [target - ["_" php {"+" Var Global Expression Argument Label Statement}]]]] + ["_" php (.only Var Global Expression Argument Label Statement)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Phase! Generator}] + ["[1][0]" runtime (.only Operation Phase Phase! Generator)] ["[1][0]" reference] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] ["//[1]" /// "_" - [analysis {"+" Variant Tuple Abstraction Application Analysis}] - [synthesis {"+" Synthesis}] - ["[1][0]" generation {"+" Context}] + [analysis (.only Variant Tuple Abstraction Application Analysis)] + [synthesis (.only Synthesis)] + ["[1][0]" generation (.only Context)] ["//[1]" /// "_" - [arity {"+" Arity}] + [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [reference - [variable {"+" Register Variable}]]]]]]) + [variable (.only Register Variable)]]]]]]) (def: .public (apply expression archive [functionS argsS+]) (Generator (Application Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux index 3c12092c7..53d726bc2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux @@ -2,21 +2,21 @@ [library [lux {"-" Scope} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math [number ["n" nat]]] [target - ["_" php {"+" Var Expression Label Statement}]]]] + ["_" php (.only Var Expression Label Statement)]]]] ["[0]" // "_" - [runtime {"+" Operation Phase Phase! Generator Generator!}] + [runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] @@ -24,14 +24,14 @@ [synthesis ["[0]" case]] ["/[1]" // "_" - ["[0]"synthesis {"+" Scope Synthesis}] + ["[0]"synthesis (.only Scope Synthesis)] ["[1][0]" generation] ["//[1]" /// "_" ["[1][0]" phase] [meta - [archive {"+" Archive}]] + [archive (.only Archive)]] [reference - [variable {"+" Register}]]]]]]]) + [variable (.only Register)]]]]]]]) (def: @scope (-> Nat Label) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux index e5cc82537..635d2e7f4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux @@ -1,13 +1,13 @@ (.using - [library - [lux {"-" i64} - [math - [number - ["[0]" frac]]] - [target - ["_" php {"+" Literal Expression}]]]] - ["[0]" // "_" - ["[1][0]" runtime]]) + [library + [lux {"-" i64} + [math + [number + ["[0]" frac]]] + [target + ["_" php (.only Literal Expression)]]]] + ["[0]" // "_" + ["[1][0]" runtime]]) (def: .public bit (-> Bit Literal) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux index 501bd515a..e76d2104b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux @@ -1,10 +1,10 @@ (.using - [library - [lux "*" - [target - ["_" php {"+" Expression}]]]] - [/// - [reference {"+" System}]]) + [library + [lux "*" + [target + ["_" php (.only Expression)]]]] + [/// + [reference (.only System)]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux index d8885e026..0e3d6b9d2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux @@ -3,7 +3,7 @@ [lux {"-" Location} ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser @@ -11,32 +11,32 @@ [data ["[0]" product] ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - [number {"+" hex} + [number (.only hex) ["[0]" i64]]] ["@" target - ["_" php {"+" Expression Label Constant Var Computation Literal Statement}]]]] + ["_" php (.only Expression Label Constant Var Computation Literal Statement)]]]] ["[0]" /// "_" ["[1][0]" reference] ["//[1]" /// "_" - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] ["//[1]" /// ["[1][0]" phase] [reference - [variable {"+" Register}]] + [variable (.only Register)]] [meta - [archive {"+" Output Archive} - ["[0]" artifact {"+" Registry}]]]]]]) + [archive (.only Output Archive) + ["[0]" artifact (.only Registry)]]]]]]) (template [<name> <base>] [(type: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux index 13d0bb252..7d037a703 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux @@ -1,21 +1,21 @@ (.using - [library - [lux "*" - [abstract - ["[0]" monad {"+" do}]] - [data - [collection - ["[0]" list]]] - [target - ["_" php {"+" Expression}]]]] - ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] - ["[1][0]" primitive] - ["///[1]" //// "_" - [analysis {"+" Variant Tuple}] - ["[1][0]" synthesis {"+" Synthesis}] - ["//[1]" /// "_" - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + [library + [lux "*" + [abstract + ["[0]" monad (.only do)]] + [data + [collection + ["[0]" list]]] + [target + ["_" php (.only Expression)]]]] + ["[0]" // "_" + ["[1][0]" runtime (.only Operation Phase Generator)] + ["[1][0]" primitive] + ["///[1]" //// "_" + [analysis (.only Variant Tuple)] + ["[1][0]" synthesis (.only Synthesis)] + ["//[1]" /// "_" + ["[1][0]" phase ("[1]#[0]" monad)]]]]) (def: .public (tuple expression archive elemsS+) (Generator (Tuple Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux index 7e620b07a..0ae118a09 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux @@ -2,15 +2,15 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [macro ["^" pattern]] [target ["_" python]]]] ["[0]" / "_" - [runtime {"+" Phase}] + [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -25,12 +25,12 @@ [python ["[1]/[0]" common]]]] ["/[1]" // "_" - [analysis {"+" }] + [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// "_" ["[1][0]" phase ("[1]#[0]" monad)] - [reference {"+"} - [variable {"+"}]]]]]]]) + [reference (.only) + [variable (.only)]]]]]]]) (exception: .public cannot_recur_as_an_expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux index 19d8dd56d..ce77bab09 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux @@ -2,10 +2,10 @@ [library [lux {"-" case exec let if symbol} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" set]]] @@ -16,9 +16,9 @@ ["n" nat] ["i" int]]] [target - ["_" python {"+" Expression SVar Statement}]]]] + ["_" python (.only Expression SVar Statement)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator Phase! Generator!}] + ["[1][0]" runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" reference] ["[1][0]" primitive] ["/[1]" // "_" @@ -28,15 +28,15 @@ ["[0]" case]] ["/[1]" // "_" ["[1][0]" generation] - ["[1][0]" synthesis {"+" Synthesis Path} + ["[1][0]" synthesis (.only Synthesis Path) [access - ["[0]" member {"+" Member}]]] + ["[0]" member (.only Member)]]] ["//[1]" /// "_" [reference - ["[1][0]" variable {"+" Register}]] + ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] [meta - [archive {"+" Archive}] + [archive (.only Archive)] ["[0]" cache "_" [dependency ["[1]" artifact]]]]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux index 4f959f01c..89320db4f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux @@ -2,33 +2,33 @@ [library [lux {"-" function} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [target - ["_" python {"+" SVar Expression Statement}]]]] + ["_" python (.only SVar Expression Statement)]]]] ["[0]" // "_" - [runtime {"+" Operation Phase Generator Phase! Generator!}] + [runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" reference] ["[1][0]" case] ["[1][0]" loop] ["/[1]" // "_" ["[1][0]" reference] ["//[1]" /// "_" - [analysis {"+" Environment Abstraction Reification Analysis}] - [synthesis {"+" Synthesis}] + [analysis (.only Environment Abstraction Reification Analysis)] + [synthesis (.only Synthesis)] ["[1][0]" generation] ["//[1]" /// "_" - [arity {"+" Arity}] + [arity (.only Arity)] ["[1][0]" phase] [reference - [variable {"+" Register Variable}]] + [variable (.only Register Variable)]] [meta - [archive {"+" Archive} + [archive (.only Archive) ["[0]" artifact]] ["[0]" cache "_" [dependency diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux index 12f34891b..c54db23c1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux @@ -2,11 +2,11 @@ [library [lux {"-" Scope} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" set]]] @@ -14,9 +14,9 @@ [number ["n" nat]]] [target - ["_" python {"+" Expression SVar Statement}]]]] + ["_" python (.only Expression SVar Statement)]]]] ["[0]" // "_" - [runtime {"+" Operation Phase Generator Phase! Generator!}] + [runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] @@ -24,7 +24,7 @@ [synthesis ["[0]" case]] ["/[1]" // "_" - ["[0]" synthesis {"+" Scope Synthesis}] + ["[0]" synthesis (.only Scope Synthesis)] ["[1][0]" generation] ["//[1]" /// "_" ["[1][0]" phase] @@ -33,7 +33,7 @@ [dependency ["[1]" artifact]]]] [reference - ["[1][0]" variable {"+" Register}]]]]]]]) + ["[1][0]" variable (.only Register)]]]]]]]) (def: (setup offset bindings body) (-> Register (List (Expression Any)) (Statement Any) (Statement Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux index 803590ccb..b1d78eb68 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux @@ -1,10 +1,10 @@ (.using - [library - [lux {"-" i64} - [target - ["_" python {"+" Expression}]]]] - ["[0]" // "_" - ["[1][0]" runtime]]) + [library + [lux {"-" i64} + [target + ["_" python (.only Expression)]]]] + ["[0]" // "_" + ["[1][0]" runtime]]) (template [<type> <name> <implementation>] [(def: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux index 10dcfeec9..18d5a1b74 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux @@ -1,10 +1,10 @@ (.using - [library - [lux "*" - [target - ["_" python {"+" Expression}]]]] - [/// - [reference {"+" System}]]) + [library + [lux "*" + [target + ["_" python (.only Expression)]]]] + [/// + [reference (.only System)]]) (implementation: .public system (System (Expression Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux index ae9c18e2e..6a5969112 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux @@ -2,7 +2,7 @@ [library [lux {"-" ++} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser @@ -10,35 +10,35 @@ [data ["[0]" product] ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - [number {"+" hex} + [number (.only hex) ["f" frac] ["[0]" i64]]] ["[0]" meta ["[0]" version]] ["@" target - ["_" python {"+" Expression SVar Computation Literal Statement}]]]] + ["_" python (.only Expression SVar Computation Literal Statement)]]]] ["[0]" /// "_" ["[1][0]" reference] ["//[1]" /// "_" - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] ["//[1]" /// ["[1][0]" phase] [reference - [variable {"+" Register}]] + [variable (.only Register)]] [meta - [archive {"+" Output Archive} - ["[0]" registry {"+" Registry}] + [archive (.only Output Archive) + ["[0]" registry (.only Registry)] ["[0]" unit]]]]]]) (template [<name> <base>] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux index fc59e133d..8b2b2ab49 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux @@ -2,16 +2,16 @@ [library [lux {"-" Variant Tuple} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [target - ["_" python {"+" Expression}]]]] + ["_" python (.only Expression)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] ["///[1]" //// "_" [analysis - [complex {"+" Variant Tuple}]] - ["[1][0]" synthesis {"+" Synthesis}] + [complex (.only Variant Tuple)]] + ["[1][0]" synthesis (.only Synthesis)] ["//[1]" /// "_" ["[1][0]" phase ("[1]#[0]" monad)]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux index ff391b986..9d210e9cd 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux @@ -2,13 +2,13 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [macro ["^" pattern]] [target ["_" r]]]] ["[0]" / "_" - [runtime {"+" Phase}] + [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -20,12 +20,12 @@ ["/[1]" // "_" ["[1][0]" extension] ["/[1]" // "_" - [analysis {"+" }] + [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// "_" ["[1][0]" phase ("[1]#[0]" monad)] - [reference {"+"} - [variable {"+"}]]]]]]]) + [reference (.only) + [variable (.only)]]]]]]]) (def: .public (generate archive synthesis) Phase diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux index 21e45438d..7ea33bdea 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux @@ -2,11 +2,11 @@ [library [lux {"-" case let if} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" set]]] @@ -17,9 +17,9 @@ [number ["i" int]]] [target - ["_" r {"+" Expression SVar}]]]] + ["_" r (.only Expression SVar)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" primitive] ["/[1]" // "_" @@ -28,14 +28,14 @@ ["[1][0]" synthesis "_" ["[1]/[0]" case]] ["/[1]" // "_" - ["[1][0]" synthesis {"+" Member Synthesis Path}] + ["[1][0]" synthesis (.only Member Synthesis Path)] ["[1][0]" generation] ["//[1]" /// "_" [reference - ["[1][0]" variable {"+" Register}]] + ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] [meta - [archive {"+" Archive}]]]]]]]) + [archive (.only Archive)]]]]]]]) (def: .public register (-> Register SVar) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux index 11a7de8ab..c5927a154 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux @@ -2,32 +2,32 @@ [library [lux {"-" function} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control pipe] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [target - ["_" r {"+" Expression SVar}]]]] + ["_" r (.only Expression SVar)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] ["//[1]" /// "_" - [analysis {"+" Variant Tuple Abstraction Application Analysis}] - [synthesis {"+" Synthesis}] - ["[1][0]" generation {"+" Context}] + [analysis (.only Variant Tuple Abstraction Application Analysis)] + [synthesis (.only Synthesis)] + ["[1][0]" generation (.only Context)] ["//[1]" /// "_" - [arity {"+" Arity}] + [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [reference - [variable {"+" Register Variable}]] + [variable (.only Register Variable)]] [meta [archive ["[0]" artifact]]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux index 192386b79..79fe2f4db 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux @@ -2,21 +2,21 @@ [library [lux {"-" Scope} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math [number ["n" nat]]] [target ["_" r]]]] ["[0]" // "_" - [runtime {"+" Operation Phase Generator}] + [runtime (.only Operation Phase Generator)] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] @@ -24,14 +24,14 @@ [synthesis ["[0]" case]] ["/[1]" // "_" - ["[0]"synthesis {"+" Scope Synthesis}] + ["[0]"synthesis (.only Scope Synthesis)] ["[1][0]" generation] ["//[1]" /// "_" ["[1][0]" phase] [meta - [archive {"+" Archive}]] + [archive (.only Archive)]] [reference - [variable {"+" Register}]]]]]]]) + [variable (.only Register)]]]]]]]) (def: .public (scope expression archive [offset initsS+ bodyS]) (Generator (Scope Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux index f79e73f4e..d9547c1c0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux @@ -1,10 +1,10 @@ (.using - [library - [lux {"-" i64} - [target - ["_" r {"+" Expression}]]]] - ["[0]" // "_" - ["[1][0]" runtime]]) + [library + [lux {"-" i64} + [target + ["_" r (.only Expression)]]]] + ["[0]" // "_" + ["[1][0]" runtime]]) (template [<name> <type> <code>] [(def: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux index 9993054a4..4ec4330d9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux @@ -1,23 +1,23 @@ (.using lux (lux (control [library - [monad {"+" do}]] - ["ex" exception {"+" exception:}] + [monad (.only do)]] + ["ex" exception (.only exception:)] ["p" parser]) (data ["e" error] [text] text/format [number] (coll [list "list/" Functor<List>] - (dictionary ["dict" unordered {"+" Dict}]))) - [macro {"+" with_symbols}] + (dictionary ["dict" unordered (.only Dict)]))) + [macro (.only with_symbols)] (macro [code] - ["s" syntax {"+" syntax:}]) + ["s" syntax (.only syntax:)]) [host]) (luxc ["&" lang] (lang ["la" analysis] ["ls" synthesis] - (host [r {"+" Expression}]))) + (host [r (.only Expression)]))) [///] (/// ["[0]T" runtime] ["[0]T" case] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux index e1b8b84e6..ece7d2035 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux @@ -1,16 +1,16 @@ (.using lux (lux (control [library - [monad {"+" do}]]) + [monad (.only do)]]) (data [text] text/format (coll [list "list/" Functor<List>] - (dictionary ["dict" unordered {"+" Dict}]))) + (dictionary ["dict" unordered (.only Dict)]))) [macro "macro/" Monad<Meta>]) (luxc ["&" lang] (lang ["la" analysis] ["ls" synthesis] - (host [ruby {"+" Ruby Expression Statement}]))) + (host [ruby (.only Ruby Expression Statement)]))) [///] (/// ["[0]T" runtime]) (// ["@" common])) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux index eaedbb167..fd0d1d563 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux @@ -1,10 +1,10 @@ (.using - [library - [lux "*" - [target - ["_" r {"+" Expression}]]]] - [/// - [reference {"+" System}]]) + [library + [lux "*" + [target + ["_" r (.only Expression)]]]] + [/// + [reference (.only System)]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux index acb12a286..50695a8a4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux @@ -3,7 +3,7 @@ [lux {"-" Location ++ i64} ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser @@ -11,35 +11,35 @@ [data ["[0]" product] ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - [number {"+" hex} + [number (.only hex) ["n" nat] ["i" int ("[1]#[0]" interval)] ["[0]" i64]]] ["@" target - ["_" r {"+" SVar Expression}]]]] + ["_" r (.only SVar Expression)]]]] ["[0]" /// "_" ["[1][0]" reference] ["//[1]" /// "_" - [analysis {"+" Variant}] - ["[1][0]" synthesis {"+" Synthesis}] + [analysis (.only Variant)] + ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] ["//[1]" /// ["[1][0]" phase] [reference - [variable {"+" Register}]] + [variable (.only Register)]] [meta - [archive {"+" Output Archive} - ["[0]" artifact {"+" Registry}]]]]]]) + [archive (.only Output Archive) + ["[0]" artifact (.only Registry)]]]]]]) (def: module_id 0) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux index 2a11e41dc..1ab7f9a6f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux @@ -1,21 +1,21 @@ (.using - [library - [lux "*" - [abstract - ["[0]" monad {"+" do}]] - [data - [collection - ["[0]" list]]] - [target - ["_" r {"+" Expression}]]]] - ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] - ["[1][0]" primitive] - ["///[1]" //// "_" - [analysis {"+" Variant Tuple}] - ["[1][0]" synthesis {"+" Synthesis}] - ["//[1]" /// "_" - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + [library + [lux "*" + [abstract + ["[0]" monad (.only do)]] + [data + [collection + ["[0]" list]]] + [target + ["_" r (.only Expression)]]]] + ["[0]" // "_" + ["[1][0]" runtime (.only Operation Phase Generator)] + ["[1][0]" primitive] + ["///[1]" //// "_" + [analysis (.only Variant Tuple)] + ["[1][0]" synthesis (.only Synthesis)] + ["//[1]" /// "_" + ["[1][0]" phase ("[1]#[0]" monad)]]]]) (def: .public (tuple expression archive elemsS+) (Generator (Tuple Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux index 79ed4680c..453b73b29 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux @@ -4,17 +4,17 @@ ["@" target] [data [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [meta ["[0]" version]]]] ["[0]" //// "_" ["[1][0]" generation] ["//[1]" /// "_" ["[0]" phase ("[1]#[0]" monad)] - ["[0]" reference {"+" Reference} - ["[0]" variable {"+" Register Variable}]] + ["[0]" reference (.only Reference) + ["[0]" variable (.only Register Variable)]] [meta - [archive {"+" Archive} + [archive (.only Archive) ["[0]" unit]]]]]) ... This universe constant is for languages where one can't just turn all compiled definitions diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux index 8e8da02ef..c330b48e7 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux @@ -2,15 +2,15 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [macro ["^" pattern]] [target ["_" ruby]]]] ["[0]" / "_" - [runtime {"+" Phase Phase!}] + [runtime (.only Phase Phase!)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -25,12 +25,12 @@ [ruby ["[1]/[0]" common]]]] ["/[1]" // "_" - [analysis {"+" }] + [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// "_" ["[1][0]" phase ("[1]#[0]" monad)] - [reference {"+" } - [variable {"+" }]]]]]]]) + [reference (.only) + [variable (.only)]]]]]]]) (exception: .public cannot_recur_as_an_expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux index 260ca2b06..3f7148bc1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux @@ -2,12 +2,12 @@ [library [lux {"-" case exec let if symbol} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - [exception {"+" exception:}]] + [exception (.only exception:)]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" set]]] @@ -18,9 +18,9 @@ ["n" nat] ["i" int]]] [target - ["_" ruby {"+" Expression LVar Statement}]]]] + ["_" ruby (.only Expression LVar Statement)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator Phase! Generator!}] + ["[1][0]" runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" reference] ["[1][0]" primitive] ["/[1]" // "_" @@ -30,15 +30,15 @@ ["[0]" case]] ["/[1]" // "_" ["[1][0]" generation] - ["[1][0]" synthesis {"+" Synthesis Path} + ["[1][0]" synthesis (.only Synthesis Path) [access - ["[0]" member {"+" Member}]]] + ["[0]" member (.only Member)]]] ["//[1]" /// "_" [reference - ["[1][0]" variable {"+" Register}]] + ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] [meta - [archive {"+" Archive}]]]]]]]) + [archive (.only Archive)]]]]]]]) (def: .public (symbol prefix) (-> Text (Operation LVar)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux index b8e44b9e9..b56e9bc6e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux @@ -2,31 +2,31 @@ [library [lux {"-" function} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [target - ["_" ruby {"+" LVar GVar Expression Statement}]]]] + ["_" ruby (.only LVar GVar Expression Statement)]]]] ["[0]" // "_" - [runtime {"+" Operation Phase Generator Phase! Generator!}] + [runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" reference] ["[1][0]" case] ["[1][0]" loop] ["/[1]" // "_" ["[1][0]" reference] ["//[1]" /// "_" - [synthesis {"+" Synthesis}] - [analysis {"+" Environment Abstraction Reification Analysis}] + [synthesis (.only Synthesis)] + [analysis (.only Environment Abstraction Reification Analysis)] ["[1][0]" generation] ["//[1]" /// "_" - [arity {"+" Arity}] + [arity (.only Arity)] ["[1][0]" phase] [reference - [variable {"+" Register Variable}]] + [variable (.only Register Variable)]] [meta ["[0]" cache "_" [dependency diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux index e112b7817..417a2808e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux @@ -2,11 +2,11 @@ [library [lux {"-" Scope symbol} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" set]]] @@ -14,9 +14,9 @@ [number ["n" nat]]] [target - ["_" ruby {"+" Expression LVar Statement}]]]] + ["_" ruby (.only Expression LVar Statement)]]]] ["[0]" // "_" - [runtime {"+" Operation Phase Generator Phase! Generator!}] + [runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] @@ -24,12 +24,12 @@ [synthesis ["[0]" case]] ["/[1]" // "_" - ["[0]" synthesis {"+" Scope Synthesis}] + ["[0]" synthesis (.only Scope Synthesis)] ["[1][0]" generation] ["//[1]" /// "_" ["[1][0]" phase] [reference - ["[1][0]" variable {"+" Register}]]]]]]]) + ["[1][0]" variable (.only Register)]]]]]]]) (def: (setup offset bindings body) (-> Register (List Expression) Statement Statement) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux index a8258ccb8..437336792 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux @@ -1,8 +1,8 @@ (.using - [library - [lux {"-" i64} - [target - ["_" ruby {"+" Literal}]]]]) + [library + [lux {"-" i64} + [target + ["_" ruby (.only Literal)]]]]) (template [<type> <name> <implementation>] [(def: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux index 47c60feac..d5e7535b5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux @@ -1,10 +1,10 @@ (.using - [library - [lux "*" - [target - ["_" ruby {"+" Expression}]]]] - [/// - [reference {"+" System}]]) + [library + [lux "*" + [target + ["_" ruby (.only Expression)]]]] + [/// + [reference (.only System)]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux index f7f217580..fd2dcc906 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux @@ -3,7 +3,7 @@ [lux {"-" i64 left right} ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser @@ -11,34 +11,34 @@ [data ["[0]" product] ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" sequence]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - [number {"+" hex} + [number (.only hex) ["[0]" i64] ["[0]" int ("[1]#[0]" interval)]]] ["@" target - ["_" ruby {"+" Expression LVar Computation Literal Statement}]]]] + ["_" ruby (.only Expression LVar Computation Literal Statement)]]]] ["[0]" /// "_" ["[1][0]" reference] ["//[1]" /// "_" - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] ["//[1]" /// ["[1][0]" phase] [reference - [variable {"+" Register}]] + [variable (.only Register)]] [meta - [archive {"+" Output Archive} + [archive (.only Output Archive) ["[0]" unit] - ["[0]" registry {"+" Registry}]]]]]]) + ["[0]" registry (.only Registry)]]]]]]) (template [<name> <base>] [(type: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux index 271cf4954..eaca0c092 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux @@ -2,16 +2,16 @@ [library [lux {"-" Variant Tuple} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [target - ["_" ruby {"+" Expression}]]]] + ["_" ruby (.only Expression)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] ["///[1]" //// "_" [analysis - [complex {"+" Variant Tuple}]] - ["[1][0]" synthesis {"+" Synthesis}] + [complex (.only Variant Tuple)]] + ["[1][0]" synthesis (.only Synthesis)] ["//[1]" /// "_" ["[1][0]" phase ("[1]#[0]" monad)]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux index 690ab94b9..a63e6ae62 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux @@ -2,13 +2,13 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [macro ["^" pattern]] [target ["_" scheme]]]] ["[0]" / "_" - [runtime {"+" Phase}] + [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -20,12 +20,12 @@ ["/[1]" // "_" ["[1][0]" extension] ["/[1]" // "_" - [analysis {"+" }] + [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// "_" ["[1][0]" phase ("[1]#[0]" monad)] - [reference {"+"} - [variable {"+"}]]]]]]]) + [reference (.only) + [variable (.only)]]]]]]]) (def: .public (generate archive synthesis) Phase diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux index e5cc0a650..9e577bfc3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux @@ -2,11 +2,11 @@ [library [lux {"-" case let if} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" set]]] @@ -17,9 +17,9 @@ [number ["i" int]]] [target - ["_" scheme {"+" Expression Computation Var}]]]] + ["_" scheme (.only Expression Computation Var)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" primitive] ["/[1]" // "_" @@ -28,14 +28,14 @@ ["[1][0]" synthesis "_" ["[1]/[0]" case]] ["/[1]" // "_" - ["[1][0]" synthesis {"+" Member Synthesis Path}] + ["[1][0]" synthesis (.only Member Synthesis Path)] ["[1][0]" generation] ["//[1]" /// "_" [reference - ["[1][0]" variable {"+" Register}]] + ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] [meta - [archive {"+" Archive}]]]]]]]) + [archive (.only Archive)]]]]]]]) (def: .public register (-> Register Var) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux index 1a041edc1..8c2e01506 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux @@ -1,13 +1,13 @@ (.using - [library - [lux "*" - [data - [collection - ["[0]" dictionary]]]]] - [// - [runtime {"+" Bundle}]] - [/ - ["[0]" common]]) + [library + [lux "*" + [data + [collection + ["[0]" dictionary]]]]] + [// + [runtime (.only Bundle)]] + [/ + ["[0]" common]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux index d40d0c4df..8b91b4184 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux @@ -2,31 +2,31 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["ex" exception {"+" exception:}] + ["ex" exception (.only exception:)] [parser ["<[0]>" code]]] [data ["[0]" product] ["[0]" text] - [number {"+" hex} + [number (.only hex) ["f" frac]] [collection ["[0]" list ("[1]#[0]" functor)] - ["dict" dictionary {"+" Dictionary}]]] - ["[0]" macro {"+" with_symbols} + ["dict" dictionary (.only Dictionary)]]] + ["[0]" macro (.only with_symbols) ["[0]" code] - [syntax {"+" syntax:}]] + [syntax (.only syntax:)]] [target - ["_" scheme {"+" Expression Computation}]]]] + ["_" scheme (.only Expression Computation)]]]] ["[0]" /// "_" - ["[1][0]" runtime {"+" Operation Phase Handler Bundle}] + ["[1][0]" runtime (.only Operation Phase Handler Bundle)] ["[1]//" /// ["[1][0]" extension ["[0]" bundle]] ["[1]/" // "_" - ["[1][0]" synthesis {"+" Synthesis}]]]]) + ["[1][0]" synthesis (.only Synthesis)]]]]) (syntax: (Vector [size <code>.nat elemT <code>.any]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux index 04560a891..6d4445587 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux @@ -2,32 +2,32 @@ [library [lux {"-" function} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control pipe] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [target - ["_" scheme {"+" Expression Computation Var}]]]] + ["_" scheme (.only Expression Computation Var)]]]] ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] + ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] ["//[1]" /// "_" - [analysis {"+" Variant Tuple Abstraction Application Analysis}] - [synthesis {"+" Synthesis}] - ["[1][0]" generation {"+" Context}] + [analysis (.only Variant Tuple Abstraction Application Analysis)] + [synthesis (.only Synthesis)] + ["[1][0]" generation (.only Context)] ["//[1]" /// "_" - [arity {"+" Arity}] + [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [reference - [variable {"+" Register Variable}]]]]]]) + [variable (.only Register Variable)]]]]]]) (def: .public (apply expression archive [functionS argsS+]) (Generator (Application Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux index 519d52e1a..d535376de 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux @@ -2,21 +2,21 @@ [library [lux {"-" Scope} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math [number ["n" nat]]] [target ["_" scheme]]]] ["[0]" // "_" - [runtime {"+" Operation Phase Generator}] + [runtime (.only Operation Phase Generator)] ["[1][0]" case] ["/[1]" // "_" ["[1][0]" reference] @@ -24,14 +24,14 @@ [synthesis ["[0]" case]] ["/[1]" // "_" - ["[0]"synthesis {"+" Scope Synthesis}] + ["[0]"synthesis (.only Scope Synthesis)] ["[1][0]" generation] ["//[1]" /// "_" ["[1][0]" phase] [meta - [archive {"+" Archive}]] + [archive (.only Archive)]] [reference - [variable {"+" Register}]]]]]]]) + [variable (.only Register)]]]]]]]) (def: @scope (_.var "scope")) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux index 3b36ba7d0..1dddd3c1b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux @@ -1,8 +1,8 @@ (.using - [library - [lux {"-" i64} - [target - ["_" scheme {"+" Expression}]]]]) + [library + [lux {"-" i64} + [target + ["_" scheme (.only Expression)]]]]) (template [<name> <type> <code>] [(def: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux index a7dbd0397..b53918670 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux @@ -1,10 +1,10 @@ (.using - [library - [lux "*" - [target - ["_" scheme {"+" Expression}]]]] - [/// - [reference {"+" System}]]) + [library + [lux "*" + [target + ["_" scheme (.only Expression)]]]] + [/// + [reference (.only System)]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux index dae1bb729..b48a00efc 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux @@ -3,7 +3,7 @@ [lux {"-" Location} ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["<>" parser @@ -11,33 +11,33 @@ [data ["[0]" product] ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - [number {"+" hex} + [number (.only hex) ["[0]" i64]]] ["@" target - ["_" scheme {"+" Expression Computation Var}]]]] + ["_" scheme (.only Expression Computation Var)]]]] ["[0]" /// "_" ["[1][0]" reference] ["//[1]" /// "_" - [analysis {"+" Variant}] - ["[1][0]" synthesis {"+" Synthesis}] + [analysis (.only Variant)] + ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] ["//[1]" /// ["[1][0]" phase] [reference - [variable {"+" Register}]] + [variable (.only Register)]] [meta - [archive {"+" Output Archive} - ["[0]" artifact {"+" Registry}]]]]]]) + [archive (.only Output Archive) + ["[0]" artifact (.only Registry)]]]]]]) (def: module_id 0) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux index 41e0a328c..1bf8d5746 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux @@ -1,21 +1,21 @@ (.using - [library - [lux "*" - [abstract - ["[0]" monad {"+" do}]] - [data - [collection - ["[0]" list]]] - [target - ["_" scheme {"+" Expression}]]]] - ["[0]" // "_" - ["[1][0]" runtime {"+" Operation Phase Generator}] - ["[1][0]" primitive] - ["///[1]" //// "_" - [analysis {"+" Variant Tuple}] - ["[1][0]" synthesis {"+" Synthesis}] - ["//[1]" /// "_" - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + [library + [lux "*" + [abstract + ["[0]" monad (.only do)]] + [data + [collection + ["[0]" list]]] + [target + ["_" scheme (.only Expression)]]]] + ["[0]" // "_" + ["[1][0]" runtime (.only Operation Phase Generator)] + ["[1][0]" primitive] + ["///[1]" //// "_" + [analysis (.only Variant Tuple)] + ["[1][0]" synthesis (.only Synthesis)] + ["//[1]" /// "_" + ["[1][0]" phase ("[1]#[0]" monad)]]]]) (def: .public (tuple expression archive elemsS+) (Generator (Tuple Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux index 38fc993d0..671b0cc8f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux @@ -2,14 +2,14 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" pipe] ["[0]" try]] [data [collection ["[0]" list ("[1]#[0]" functor)] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]]]] ["[0]" / "_" @@ -19,15 +19,15 @@ ["/[1]" // "_" ["[1][0]" extension] ["/[1]" // "_" - ["/" synthesis {"+" Synthesis Phase} + ["/" synthesis (.only Synthesis Phase) ["[1][0]" simple]] - ["[1][0]" analysis {"+" Analysis} + ["[1][0]" analysis (.only Analysis) ["[2][0]" simple] ["[2][0]" complex]] [/// ["[0]" phase ("[1]#[0]" monad)] - [reference {"+"} - [variable {"+"}]]]]]]) + [reference (.only) + [variable (.only)]]]]]]) (def: (simple analysis) (-> ///simple.Simple /simple.Simple) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux index 0f8d92144..b530ca005 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux @@ -2,8 +2,8 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - ["[0]" monad {"+" do}]] + [equivalence (.only Equivalence)] + ["[0]" monad (.only do)]] [control ["[0]" pipe]] [data @@ -12,7 +12,7 @@ ["[0]" text ("[1]#[0]" equivalence)] [collection ["[0]" list ("[1]#[0]" functor mix monoid)] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [macro ["^" pattern]] [math @@ -22,20 +22,20 @@ ["[0]" frac]]]]] ["[0]" /// "_" [// - ["[1][0]" analysis {"+" Match Analysis} + ["[1][0]" analysis (.only Match Analysis) ["[2][0]" simple] ["[2][0]" complex] - ["[2][0]" pattern {"+" Pattern}]] - ["/" synthesis {"+" Path Synthesis Operation Phase} + ["[2][0]" pattern (.only Pattern)]] + ["/" synthesis (.only Path Synthesis Operation Phase) ["[1][0]" access ["[2][0]" side] - ["[2][0]" member {"+" Member}]]] + ["[2][0]" member (.only Member)]]] [/// ["[1]" phase ("[1]#[0]" monad)] ["[1][0]" reference - ["[1]/[0]" variable {"+" Register Variable}]] + ["[1]/[0]" variable (.only Register Variable)]] [meta - [archive {"+" Archive}]]]]]) + [archive (.only Archive)]]]]]) (def: clean_up (-> Path Path) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux index e478001a6..27ffa8398 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux @@ -2,15 +2,15 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] ["[0]" enum]] [control ["[0]" pipe] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor monoid)]]] [macro @@ -19,16 +19,16 @@ [number ["n" nat]]]]] ["[0]" // "_" - ["[1][0]" loop {"+" Transform}] + ["[1][0]" loop (.only Transform)] ["//[1]" /// "_" - ["[1][0]" analysis {"+" Environment Analysis} + ["[1][0]" analysis (.only Environment Analysis) ["[1]/[0]" complex]] - ["/" synthesis {"+" Path Abstraction Synthesis Operation Phase}] + ["/" synthesis (.only Path Abstraction Synthesis Operation Phase)] [/// - [arity {"+" Arity}] + [arity (.only Arity)] ["[0]" phase ("[1]#[0]" monad)] ["[1][0]" reference - ["[1]/[0]" variable {"+" Register Variable}]]]]]) + ["[1]/[0]" variable (.only Register Variable)]]]]]) (exception: .public (cannot_find_foreign_variable_in_environment [foreign Register environment (Environment Synthesis)]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux index c11213340..0115500cc 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux @@ -2,7 +2,7 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" monad)]] [data @@ -14,13 +14,13 @@ [number ["n" nat]]]]] [//// - ["[0]" analysis {"+" Environment} + ["[0]" analysis (.only Environment) ["[1]/[0]" complex]] - ["/" synthesis {"+" Path Abstraction Synthesis}] + ["/" synthesis (.only Path Abstraction Synthesis)] [/// - [arity {"+" Arity}] + [arity (.only Arity)] ["[0]" reference - ["[0]" variable {"+" Register Variable}]]]]) + ["[0]" variable (.only Register Variable)]]]]) (type: .public (Transform a) (-> a (Maybe a))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux index 366984646..ce8c4bec3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux @@ -2,17 +2,17 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" product] ["[0]" text ["%" format]] [collection - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" list ("[1]#[0]" functor mix)] ["[0]" set]]] [macro @@ -23,12 +23,12 @@ [//// ["[0]" analysis ["[1]/[0]" complex]] - ["/" synthesis {"+" Path Synthesis} + ["/" synthesis (.only Path Synthesis) ["[1][0]" access]] [/// - [arity {"+" Arity}] + [arity (.only Arity)] ["[0]" reference - ["[0]" variable {"+" Register Variable}]]]]) + ["[0]" variable (.only Register Variable)]]]]) (def: (prune redundant register) (-> Register Register Register) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux index f3a2e5d69..ac9155e07 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux @@ -2,21 +2,21 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]]]] [//// [meta - ["[0]" archive {"+" Archive} - ["[0]" registry {"+" Registry}] + ["[0]" archive (.only Archive) + ["[0]" registry (.only Registry)] ["[0]" unit] [module ["[0]" descriptor]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux index 93ba961d0..1089264e9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux @@ -29,18 +29,18 @@ [lux "*" ["@" target] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] [parser - [text {"+" Offset}]]] + [text (.only Offset)]]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["[0]" template]] [meta diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux index 888ad1793..00cc68f16 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux @@ -2,21 +2,21 @@ [library [lux {"-" Scope i64} [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [monad (.only do)] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [control ["[0]" maybe] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" sum] ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" Format format}]] + ["%" format (.only Format format)]] [collection ["[0]" list ("[1]#[0]" functor)] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]] [math @@ -26,20 +26,20 @@ ["i" int] ["f" frac]]]]] ["[0]" / "_" - ["[1][0]" simple {"+" Simple}] - ["[1][0]" access {"+" Access} - ["[2][0]" side {"+" Side}] - ["[2][0]" member {"+" Member}]] + ["[1][0]" simple (.only Simple)] + ["[1][0]" access (.only Access) + ["[2][0]" side (.only Side)] + ["[2][0]" member (.only Member)]] [// - ["[0]" analysis {"+" Environment Analysis} - ["[1]/[0]" complex {"+" Complex}]] + ["[0]" analysis (.only Environment Analysis) + ["[1]/[0]" complex (.only Complex)]] [phase - ["[0]" extension {"+" Extension}]] + ["[0]" extension (.only Extension)]] [/// - [arity {"+" Arity}] + [arity (.only Arity)] ["[0]" phase] - ["[0]" reference {"+" Reference} - ["[0]" variable {"+" Register Variable}]]]]]) + ["[0]" reference (.only Reference) + ["[0]" variable (.only Register Variable)]]]]]) (type: .public Resolver (Dictionary Variable Variable)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux index 236b46980..9426ad094 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux @@ -2,15 +2,15 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [data ["[0]" sum] [text - ["%" format {"+" Format}]]]]] + ["%" format (.only Format)]]]]] ["[0]" / "_" - ["[1][0]" side {"+" Side}] - ["[1][0]" member {"+" Member}]]) + ["[1][0]" side (.only Side)] + ["[1][0]" member (.only Member)]]) (type: .public Access (Variant diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux index a01e89668..e795d0467 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux @@ -2,8 +2,8 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [data ["[0]" product] ["[0]" bit] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux index c0be1fea6..fe3fea477 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux @@ -2,8 +2,8 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [data ["[0]" product] ["[0]" bit] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux index 741088fb0..7f2eb7e11 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -2,8 +2,8 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [control ["[0]" pipe]] [data diff --git a/stdlib/source/library/lux/tool/compiler/meta.lux b/stdlib/source/library/lux/tool/compiler/meta.lux index aa506aa08..f98c648a0 100644 --- a/stdlib/source/library/lux/tool/compiler/meta.lux +++ b/stdlib/source/library/lux/tool/compiler/meta.lux @@ -2,7 +2,7 @@ [library [lux "*"]] [// - [version {"+" Version}]]) + [version (.only Version)]]) (def: .public version Version diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux index 622a52d82..3df78a712 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux @@ -2,27 +2,27 @@ [library [lux {"-" Module has} [abstract - ["[0]" equivalence {"+" Equivalence}] - ["[0]" monad {"+" do}]] + ["[0]" equivalence (.only Equivalence)] + ["[0]" monad (.only do)]] [control ["[0]" maybe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] ["[0]" function] ["<>" parser - ["<[0]>" binary {"+" Parser}]]] + ["<[0]>" binary (.only Parser)]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [format - ["[0]" binary {"+" Writer}]] + ["[0]" binary (.only Writer)]] [collection ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" set] - ["[0]" sequence {"+" Sequence}]]] + ["[0]" sequence (.only Sequence)]]] [math [number ["n" nat ("[1]#[0]" equivalence)]]] @@ -30,14 +30,14 @@ [primitive "*"]]]] [/ ["[0]" artifact] - ["[0]" registry {"+" Registry}] - ["[0]" signature {"+" Signature}] - ["[0]" key {"+" Key}] - ["[0]" module {"+" Module} - ["[0]" descriptor {"+" Descriptor}] - ["[0]" document {"+" Document}]] + ["[0]" registry (.only Registry)] + ["[0]" signature (.only Signature)] + ["[0]" key (.only Key)] + ["[0]" module (.only Module) + ["[0]" descriptor (.only Descriptor)] + ["[0]" document (.only Document)]] [/// - [version {"+" Version}]]]) + [version (.only Version)]]]) (type: .public Output (Sequence [artifact.ID (Maybe Text) Binary])) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux index 2aa066db1..cdb9bcf57 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux @@ -2,17 +2,17 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [data ["[0]" product] ["[0]" bit] [collection - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math [number ["[0]" nat]]]]] ["[0]" / "_" - ["[1][0]" category {"+" Category}]]) + ["[1][0]" category (.only Category)]]) (type: .public ID Nat) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux index 39bc31a5f..034489e93 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux @@ -2,7 +2,7 @@ [library [lux {"-" Definition} [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [control ["[0]" maybe]] [data @@ -14,7 +14,7 @@ [number ["[0]" nat]]]]] [///// - [arity {"+" Arity}]]) + [arity (.only Arity)]]) (type: .public Definition [Text (Maybe [Arity [Nat Nat]])]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux index 86d8cfe9e..43f396465 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux @@ -4,7 +4,7 @@ [type [primitive "*"]]]] [// - [signature {"+" Signature}]]) + [signature (.only Signature)]]) (primitive: .public (Key k) Signature diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux index 7004302b8..1bea114f6 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux @@ -2,8 +2,8 @@ [library [lux {"-" Module}]] [/ - [descriptor {"+" Descriptor}] - [document {"+" Document}]]) + [descriptor (.only Descriptor)] + [document (.only Document)]]) (type: .public ID Nat) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux index a03795255..45a4c4bef 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux @@ -2,24 +2,24 @@ [library [lux {"-" Module} [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [control ["<>" parser - ["<[0]>" binary {"+" Parser}]]] + ["<[0]>" binary (.only Parser)]]] [data ["[0]" product] ["[0]" text] [collection - ["[0]" set {"+" Set}]] + ["[0]" set (.only Set)]] ["[0]" format "_" - ["[1]" binary {"+" Writer}]]] + ["[1]" binary (.only Writer)]]] [macro ["^" pattern]] [math [number ["[0]" nat]]] [world - [file {"+" Path}]]]]) + [file (.only Path)]]]]) (type: .public Module Text) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux index 8c1eae9ca..1b4dbe7d4 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux @@ -2,22 +2,22 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] ["<>" parser - [binary {"+" Parser}]]] + [binary (.only Parser)]]] [data [collection - ["[0]" dictionary {"+" Dictionary}]] + ["[0]" dictionary (.only Dictionary)]] [format - ["[0]" binary {"+" Writer}]]] - [type {"+" sharing} + ["[0]" binary (.only Writer)]]] + [type (.only sharing) [primitive "*"]]]] [/// - ["[0]" signature {"+" Signature} ("[1]#[0]" equivalence)] - ["[0]" key {"+" Key}]]) + ["[0]" signature (.only Signature) ("[1]#[0]" equivalence)] + ["[0]" key (.only Key)]]) (exception: .public (invalid_signature [expected Signature actual Signature]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux index 5ebd0f2f3..d331a8022 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux @@ -2,32 +2,32 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] ["<>" parser - ["<[0]>" binary {"+" Parser}]]] + ["<[0]>" binary (.only Parser)]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - [set {"+" Set}] + [set (.only Set)] ["[0]" list] - ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor mix)] - ["[0]" dictionary {"+" Dictionary}]] + ["[0]" sequence (.only Sequence) ("[1]#[0]" functor mix)] + ["[0]" dictionary (.only Dictionary)]] [format - ["[0]" binary {"+" Writer}]]] + ["[0]" binary (.only Writer)]]] [macro ["^" pattern]] [type [primitive "*"]]]] ["[0]" // "_" ["[0]" unit] - ["[1]" artifact {"+" Artifact ID} - ["[2][0]" category {"+" Category}]]]) + ["[1]" artifact (.only Artifact ID) + ["[2][0]" category (.only Category)]]]) (primitive: .public Registry (Record diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux index a9ade8ed9..4b86838c3 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux @@ -2,23 +2,23 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [control ["<>" parser - ["<[0]>" binary {"+" Parser}]]] + ["<[0]>" binary (.only Parser)]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [format - ["[0]" binary {"+" Writer}]]] + ["[0]" binary (.only Writer)]]] [math [number ["[0]" nat]]] [meta ["[0]" symbol]]]] [//// - ["[0]" version {"+" Version}]]) + ["[0]" version (.only Version)]]) (type: .public Signature (Record diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux index 63221895e..3caa41eb9 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux @@ -2,14 +2,14 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [data ["[0]" product] [text ["%" format]] [collection - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math [number ["[0]" nat]]]]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache.lux b/stdlib/source/library/lux/tool/compiler/meta/cache.lux index 72470f228..d3d136fcc 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache.lux @@ -2,16 +2,16 @@ [library [lux "*" [abstract - [monad {"+" Monad do}]] + [monad (.only Monad do)]] [control - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [world ["[0]" file]]]] ["[0]" // - ["[0]" context {"+" Context}] + ["[0]" context (.only Context)] [// ["[0]" version]]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux index c31f86f25..159c90a8c 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux @@ -2,7 +2,7 @@ [library [lux "*" [control - [try {"+" Try}]] + [try (.only Try)]] [data [text ["%" format]]] @@ -10,8 +10,8 @@ ["[0]" file]]]] ["[0]" // ["/[1]" // - [context {"+" Context}] - ["[0]" archive {"+" Archive}]]]) + [context (.only Context)] + ["[0]" archive (.only Archive)]]]) (def: .public (descriptor fs context) (All (_ !) (-> (file.System !) Context file.Path)) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux index 5917e328b..8d1f1fe8b 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux @@ -1,21 +1,21 @@ (.using [library [lux "*" - [target {"+" Target}] + [target (.only Target)] [control - [try {"+" Try}] + [try (.only Try)] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [world ["[0]" file]]]] ["[0]" // "_" ["[1][0]" module] [// - ["[0]" context {"+" Context}] + ["[0]" context (.only Context)] [archive ["[0]" module] ["[0]" artifact]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux index 78269e9a6..b0908a846 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux @@ -3,14 +3,14 @@ [library [lux {"-" all} [abstract - [hash {"+" Hash}] - ["[0]" monad {"+" do}]] + [hash (.only Hash)] + ["[0]" monad (.only do)]] [data ["[0]" product] [collection ["[0]" list ("[1]#[0]" monoid mix monad)] - ["[0]" set {"+" Set}] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" set (.only Set)] + ["[0]" dictionary (.only Dictionary)] ["[0]" sequence]]] [macro ["^" pattern]] @@ -22,17 +22,17 @@ [tool [compiler ["[0]" phase] - ["[0]" reference {"+" Constant}] + ["[0]" reference (.only Constant)] [language [lux - ["[0]" synthesis {"+" Synthesis Path}] - ["[0]" generation {"+" Operation}] + ["[0]" synthesis (.only Synthesis Path)] + ["[0]" generation (.only Operation)] ["[0]" analysis ["[1]/[0]" complex]]]] [meta - ["[0]" archive {"+" Archive} + ["[0]" archive (.only Archive) ["[0]" artifact] - ["[0]" registry {"+" Registry}] + ["[0]" registry (.only Registry)] ["[0]" unit]]]]]]]) (def: (path_references references) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux index 2db68a99d..16dc70b49 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux @@ -2,26 +2,26 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] ["[0]" state] [function - ["[0]" memo {"+" Memo}]]] + ["[0]" memo (.only Memo)]]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" dictionary {"+" Dictionary}] - ["[0]" set {"+" Set}]]]]] + ["[0]" dictionary (.only Dictionary)] + ["[0]" set (.only Set)]]]]] [//// - ["[0]" archive {"+" Output Archive} - [key {"+" Key}] + ["[0]" archive (.only Output Archive) + [key (.only Key)] ["[0]" module - ["[0]" descriptor {"+" Descriptor}] - ["[0]" document {"+" Document}]]]]) + ["[0]" descriptor (.only Descriptor)] + ["[0]" document (.only Document)]]]]) (type: .public Ancestry (Set descriptor.Module)) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux index 426a68589..5536850eb 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux @@ -3,24 +3,24 @@ [lux "*" ["@" target] [abstract - ["[0]" monad {"+" Monad do}]] + ["[0]" monad (.only Monad do)]] [control ["[0]" pipe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [world ["[0]" file]]]] ["[0]" // [// - [context {"+" Context}] + [context (.only Context)] [archive ["[0]" module]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux index 55701b3f3..cfa21d5e4 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux @@ -2,17 +2,17 @@ [library [lux "*" [abstract - [predicate {"+" Predicate}] - ["[0]" monad {"+" Monad do}]] + [predicate (.only Predicate)] + ["[0]" monad (.only Monad do)]] [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] + ["[0]" try (.only Try) ("[1]#[0]" functor)] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data ["[0]" text ("[1]#[0]" equivalence)] [collection ["[0]" list ("[1]#[0]" mix functor)] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" set]]] [math [number @@ -24,12 +24,12 @@ ["[0]" dependency "_" ["[1]" module]] ["/[1]" // "_" - [context {"+" Context}] - ["/[1]" // {"+" Input}] + [context (.only Context)] + ["/[1]" // (.only Input)] ["[0]" archive - [registry {"+" Registry}] + [registry (.only Registry)] ["[0]" module - ["[0]" descriptor {"+" Descriptor}]]]]]) + ["[0]" descriptor (.only Descriptor)]]]]]) (type: .public Cache [Bit descriptor.Module module.ID (module.Module Any) Registry]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli.lux b/stdlib/source/library/lux/tool/compiler/meta/cli.lux index 776ed07be..b88f23b0d 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cli.lux @@ -2,12 +2,12 @@ [library [lux {"-" Module Source} [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}]] + [monad (.only do)] + [equivalence (.only Equivalence)]] [control ["[0]" pipe] ["<>" parser - ["<[0]>" cli {"+" Parser}] + ["<[0]>" cli (.only Parser)] ["<[0]>" text]]] [data ["[0]" product] @@ -18,10 +18,10 @@ [macro ["^" pattern]] [math - [number {"+" hex}]] + [number (.only hex)]] [meta ["[0]" symbol] - ["[0]" configuration {"+" Configuration}]] + ["[0]" configuration (.only Configuration)]] [tool [compiler [meta @@ -29,9 +29,9 @@ [module ["[0]" descriptor]]]]]] [world - [file {"+" Path}]]]] + [file (.only Path)]]]] ["[0]" / "_" - ["[1][0]" compiler {"+" Compiler}]]) + ["[1][0]" compiler (.only Compiler)]]) (type: .public Host_Dependency Path) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux index ad3d3f124..886249921 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux @@ -2,11 +2,11 @@ [library [lux {"-" parameter} [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}]] + [monad (.only do)] + [equivalence (.only Equivalence)]] [control ["<>" parser - ["<[0]>" text {"+" Parser}]]] + ["<[0]>" text (.only Parser)]]] [data ["[0]" product] ["[0]" text @@ -14,7 +14,7 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] [math - [number {"+" hex}]] + [number (.only hex)]] [meta ["[0]" symbol]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/context.lux b/stdlib/source/library/lux/tool/compiler/meta/context.lux index 8ee5e28a0..b22eebd1d 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/context.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/context.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["@" target {"+" Target}] + ["@" target (.only Target)] [world - [file {"+" Path}]]]]) + [file (.only Path)]]]]) (type: .public Extension Text) diff --git a/stdlib/source/library/lux/tool/compiler/meta/export.lux b/stdlib/source/library/lux/tool/compiler/meta/export.lux index 3d1361d10..3af593556 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/export.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/export.lux @@ -2,14 +2,14 @@ [library [lux {"-" Source} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try} ("[1]#[0]" monad)] + ["[0]" try (.only Try) ("[1]#[0]" monad)] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" functor)]]] + ["[0]" async (.only Async) ("[1]#[0]" functor)]]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" sequence]] @@ -21,7 +21,7 @@ [tool [compiler [meta - [cli {"+" Source Export}] + [cli (.only Source Export)] ["[0]" io "_" ["[1]" context]]]]] [world diff --git a/stdlib/source/library/lux/tool/compiler/meta/import.lux b/stdlib/source/library/lux/tool/compiler/meta/import.lux index f0c390e3a..d1ce94369 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/import.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/import.lux @@ -2,27 +2,27 @@ [library [lux {"-" Module} [abstract - ["[0]" monad {"+" Monad do}]] + ["[0]" monad (.only Monad do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] [concurrency - ["[0]" async {"+" Async}]] + ["[0]" async (.only Async)]] ["<>" parser ["<[0]>" binary]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" text ["%" format]] [collection - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" sequence]] [format ["[0]" tar]]] [tool [compiler [meta - [cli {"+" Library Module}]]]] + [cli (.only Library Module)]]]] [world ["[0]" file]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/io.lux b/stdlib/source/library/lux/tool/compiler/meta/io.lux index e0262eba8..f2208d52f 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io.lux @@ -1,10 +1,10 @@ (.using - [library - [lux {"-" Code} - [data - ["[0]" text]] - [world - [file {"+" Path System}]]]]) + [library + [lux {"-" Code} + [data + ["[0]" text]] + [world + [file (.only Path System)]]]]) (type: .public Context Path) diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux index 37f464b01..22424beb5 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux @@ -1,53 +1,53 @@ (.using [library [lux "*" - ["@" target {"+" Target}] + ["@" target (.only Target)] [abstract - ["[0]" monad {"+" Monad do}]] + ["[0]" monad (.only Monad do)]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]] ["<>" parser - ["<[0]>" binary {"+" Parser}]]] + ["<[0]>" binary (.only Parser)]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - [set {"+" Set}] + [set (.only Set)] ["[0]" list ("[1]#[0]" mix)] - ["[0]" dictionary {"+" Dictionary}] - ["[0]" sequence {"+" Sequence}]]] + ["[0]" dictionary (.only Dictionary)] + ["[0]" sequence (.only Sequence)]]] [macro ["^" pattern]] [meta - ["[0]" configuration {"+" Configuration}] + ["[0]" configuration (.only Configuration)] ["[0]" version]] [world ["[0]" file]]]] ["[0]" // ["[1][0]" context] ["/[1]" // - [import {"+" Import}] - ["[0]" context {"+" Context}] - ["[0]" archive {"+" Output Archive} - [key {"+" Key}] - ["[0]" registry {"+" Registry}] + [import (.only Import)] + ["[0]" context (.only Context)] + ["[0]" archive (.only Output Archive) + [key (.only Key)] + ["[0]" registry (.only Registry)] ["[0]" unit] - ["[0]" artifact {"+" Artifact} - ["[0]" category {"+" Category}]] + ["[0]" artifact (.only Artifact) + ["[0]" category (.only Category)]] ["[0]" module - ["[0]" descriptor {"+" Descriptor}] - ["[0]" document {"+" Document}]]] + ["[0]" descriptor (.only Descriptor)] + ["[0]" document (.only Document)]]] ["[0]" cache ["[1]/[0]" archive] ["[1]/[0]" module] - ["[1]/[0]" purge {"+" Cache Purge}] + ["[1]/[0]" purge (.only Cache Purge)] ["[0]" dependency "_" ["[1]" module]]] - [// {"+" Custom} + [// (.only Custom) [language ["$" lux ["[0]" analysis] diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux index 548a89b36..a5eec2a2a 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux @@ -3,32 +3,32 @@ [lux {"-" Module Code} ["@" target] [abstract - [predicate {"+" Predicate}] - ["[0]" monad {"+" Monad do}]] + [predicate (.only Predicate)] + ["[0]" monad (.only Monad do)]] [control ["[0]" maybe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" list]]] [world ["[0]" file]]]] - ["[0]" // {"+" Context Code} + ["[0]" // (.only Context Code) ["/[1]" // "_" - [import {"+" Import}] - ["/[1]" // {"+" Input}] + [import (.only Import)] + ["/[1]" // (.only Input)] [archive [module - [descriptor {"+" Module}]]]]]) + [descriptor (.only Module)]]]]]) (exception: .public (cannot_find_module [importer Module module Module]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager.lux b/stdlib/source/library/lux/tool/compiler/meta/packager.lux index a92bdbbe1..50edd78a3 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager.lux @@ -2,12 +2,12 @@ [library [lux "*" [control - [try {"+" Try}]] + [try (.only Try)]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] [collection - [dictionary {"+" Dictionary}] + [dictionary (.only Dictionary)] ["[0]" sequence] ["[0]" list ("[1]#[0]" functor)]]] [world @@ -16,7 +16,7 @@ ["[0]" cache "_" [dependency ["[1]/[0]" module]]] - ["[0]" archive {"+" Archive} + ["[0]" archive (.only Archive) ["[0]" artifact] ["[0]" registry] ["[0]" unit] diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux index ac4987646..292586658 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux @@ -1,21 +1,21 @@ (.using [library [lux {"-" Module Definition} - ["[0]" ffi {"+" import: do_to}] + ["[0]" ffi (.only import: do_to)] [abstract - ["[0]" monad {"+" Monad do}]] + ["[0]" monad (.only Monad do)]] [control ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" sequence] ["[0]" list ("[1]#[0]" functor)] ["[0]" dictionary] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math [number ["n" nat] @@ -26,14 +26,14 @@ ["[0]" name]]]] [world ["[0]" file]]]] - ["[0]" // {"+" Packager} + ["[0]" // (.only Packager) [// - ["[0]" context {"+" Context}] - ["[0]" archive {"+" Output} + ["[0]" context (.only Context)] + ["[0]" archive (.only Output) ["[0]" artifact] ["[0]" unit] ["[0]" module - ["[0]" descriptor {"+" Module}]]] + ["[0]" descriptor (.only Module)]]] ["[0]" cache "_" [dependency ["[1]/[0]" module] @@ -46,7 +46,7 @@ [phase [generation [jvm - ["[0]" runtime {"+" Definition}]]]]]]]]]) + ["[0]" runtime (.only Definition)]]]]]]]]]) (import: java/lang/Object "[1]::[0]") diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux index 1f0506a00..f2e9a3bfd 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux @@ -1,23 +1,23 @@ (.using [library [lux "*" - [type {"+" sharing}] + [type (.only sharing)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" sequence] ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" dictionary {"+" Dictionary}] - ["[0]" set {"+" Set}]]] + ["[0]" dictionary (.only Dictionary)] + ["[0]" set (.only Set)]]] [math [number ["[0]" nat]]] @@ -25,18 +25,18 @@ ["_" ruby]] [world ["[0]" file]]]] - ["[0]" // {"+" Packager} + ["[0]" // (.only Packager) [// - ["[0]" archive {"+" Output} - [registry {"+" Registry}] + ["[0]" archive (.only Output) + [registry (.only Registry)] ["[0]" artifact] ["[0]" unit] ["[0]" module ["[0]" descriptor] - ["[0]" document {"+" Document}]]] + ["[0]" document (.only Document)]]] ["[0]" cache "_" [dependency - ["[1]/[0]" module {"+" Order}] + ["[1]/[0]" module (.only Order)] ["[1]/[0]" artifact]]] ["[0]" io "_" ["[1]" archive]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux index 5c6b6176b..f1b740052 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux @@ -1,21 +1,21 @@ (.using [library [lux {"-" Module} - [type {"+" sharing}] + [type (.only sharing)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text - ["%" format {"+" format}] + ["%" format (.only format)] ["[0]" encoding]] [collection ["[0]" sequence] ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" set]] [format ["[0]" tar] @@ -23,18 +23,18 @@ [target ["_" scheme]] [time - ["[0]" instant {"+" Instant}]] + ["[0]" instant (.only Instant)]] [world ["[0]" file]]]] [program [compositor - ["[0]" static {"+" Static}]]] - ["[0]" // {"+" Packager} + ["[0]" static (.only Static)]]] + ["[0]" // (.only Packager) [// - ["[0]" archive {"+" Output} - ["[0]" descriptor {"+" Module Descriptor}] + ["[0]" archive (.only Output) + ["[0]" descriptor (.only Module Descriptor)] ["[0]" artifact] - ["[0]" document {"+" Document}]] + ["[0]" document (.only Document)]] [cache ["[0]" dependency]] ["[0]" io "_" @@ -42,7 +42,7 @@ [// [language ["$" lux - [generation {"+" Context}]]]]]]) + [generation (.only Context)]]]]]]) ... TODO: Delete ASAP (type: (Action ! a) diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux index 37db58b89..34eb0b4ef 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux @@ -1,25 +1,25 @@ (.using [library [lux "*" - [type {"+" sharing}] + [type (.only sharing)] [abstract - ["[0]" monad {"+" Monad do}]] + ["[0]" monad (.only Monad do)]] [control - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] [text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" sequence] - ["[0]" set {"+" Set}] + ["[0]" set (.only Set)] ["[0]" list ("[1]#[0]" functor)]]]]] - ["[0]" // {"+" Packager} + ["[0]" // (.only Packager) [// - ["[0]" archive {"+" Output} + ["[0]" archive (.only Output) ["[0]" artifact] ["[0]" unit] ["[0]" module diff --git a/stdlib/source/library/lux/tool/compiler/phase.lux b/stdlib/source/library/lux/tool/compiler/phase.lux index ff07d7226..a38199dda 100644 --- a/stdlib/source/library/lux/tool/compiler/phase.lux +++ b/stdlib/source/library/lux/tool/compiler/phase.lux @@ -2,23 +2,23 @@ [library [lux "*" [abstract - [functor {"+" Functor}] - [monad {"+" Monad do}]] + [functor (.only Functor)] + [monad (.only Monad do)]] [control ["[0]" state] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" Exception}] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only Exception)] ["[0]" io]] [data ["[0]" product] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [time ["[0]" instant] ["[0]" duration]]]] [// [meta - [archive {"+" Archive}]]]) + [archive (.only Archive)]]]) (type: .public (Operation s o) (state.+State Try s o)) diff --git a/stdlib/source/library/lux/tool/compiler/reference.lux b/stdlib/source/library/lux/tool/compiler/reference.lux index 083f7e568..696fe9ff9 100644 --- a/stdlib/source/library/lux/tool/compiler/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/reference.lux @@ -2,13 +2,13 @@ [library [lux {"-" local} [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [control ["[0]" pipe]] [data [text - ["%" format {"+" Format}]]] + ["%" format (.only Format)]]] [macro ["^" pattern]] [math @@ -17,7 +17,7 @@ [meta ["[0]" symbol]]]] ["[0]" / "_" - ["[1][0]" variable {"+" Variable}]]) + ["[1][0]" variable (.only Variable)]]) (type: .public Constant Symbol) diff --git a/stdlib/source/library/lux/tool/compiler/reference/variable.lux b/stdlib/source/library/lux/tool/compiler/reference/variable.lux index 248398d35..77b13e7de 100644 --- a/stdlib/source/library/lux/tool/compiler/reference/variable.lux +++ b/stdlib/source/library/lux/tool/compiler/reference/variable.lux @@ -2,13 +2,13 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [control ["[0]" pipe]] [data [text - ["%" format {"+" Format}]]] + ["%" format (.only Format)]]] [macro ["^" pattern]] [math |