diff options
Diffstat (limited to '')
37 files changed, 305 insertions, 305 deletions
diff --git a/stdlib/source/library/lux/target/jvm.lux b/stdlib/source/library/lux/target/jvm.lux index 6233c158e..f97654aa9 100644 --- a/stdlib/source/library/lux/target/jvm.lux +++ b/stdlib/source/library/lux/target/jvm.lux @@ -1,13 +1,13 @@ (.using - [library - [lux {"-" Type Primitive Label} - [data - [collection - [sequence {"+" Sequence}]]] - [target - [jvm - [type {"+" Type} - ["[0]" category {"+" Primitive Class Value Method}]]]]]]) + [library + [lux {"-" Type Primitive Label} + [data + [collection + [sequence (.only Sequence)]]] + [target + [jvm + [type (.only Type) + ["[0]" category (.only Primitive Class Value Method)]]]]]]) (type: .public Literal (Variant diff --git a/stdlib/source/library/lux/target/jvm/attribute.lux b/stdlib/source/library/lux/target/jvm/attribute.lux index c59e77236..99b139fb9 100644 --- a/stdlib/source/library/lux/target/jvm/attribute.lux +++ b/stdlib/source/library/lux/target/jvm/attribute.lux @@ -2,31 +2,31 @@ [library [lux {"-" Info Code Type} [abstract - [monad {"+" do}] - ["[0]" equivalence {"+" Equivalence}]] + [monad (.only do)] + ["[0]" equivalence (.only Equivalence)]] [control ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" sum] ["[0]" product] [format - ["[0]F" binary {"+" Writer}]]] + ["[0]F" binary (.only Writer)]]] [macro ["^" pattern]] [math [number ["n" nat]]]]] ["[0]" // "_" - ["[1][0]" index {"+" Index}] - ["[1][0]" type {"+" Type} - ["[2][0]" signature {"+" Signature}]] + ["[1][0]" index (.only Index)] + ["[1][0]" type (.only Type) + ["[2][0]" signature (.only Signature)]] [encoding - ["[1][0]" unsigned {"+" U2 U4}]] - ["[1][0]" constant {"+" UTF8 Class Value} - ["[2][0]" pool {"+" Pool Resource} ("[1]#[0]" monad)]]] + ["[1][0]" unsigned (.only U2 U4)]] + ["[1][0]" constant (.only UTF8 Class Value) + ["[2][0]" pool (.only Pool Resource) ("[1]#[0]" monad)]]] ["[0]" / "_" - ["[1][0]" constant {"+" Constant}] + ["[1][0]" constant (.only Constant)] ["[1][0]" code]]) (type: .public (Info about) diff --git a/stdlib/source/library/lux/target/jvm/attribute/code.lux b/stdlib/source/library/lux/target/jvm/attribute/code.lux index 5d2ed4879..dc03412d7 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/code.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/code.lux @@ -2,25 +2,25 @@ [library [lux {"-" Code} [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [data ["[0]" product] - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] [format - ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]] + ["[0]F" binary (.only Writer) ("[1]#[0]" monoid)]] [collection - ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor mix)]]] + ["[0]" sequence (.only Sequence) ("[1]#[0]" functor mix)]]] [math [number ["n" nat]]]]] ["[0]" /// "_" [bytecode [environment - ["[1][0]" limit {"+" Limit}]]] + ["[1][0]" limit (.only Limit)]]] [encoding - ["[1][0]" unsigned {"+" U2}]]] + ["[1][0]" unsigned (.only U2)]]] ["[0]" / "_" - ["[1][0]" exception {"+" Exception}]]) + ["[1][0]" exception (.only Exception)]]) (type: .public (Code Attribute) (Record diff --git a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux index 649049e0b..2f56e40be 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux @@ -2,22 +2,22 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [data ["[0]" product] ["[0]" format "_" - ["[1]" binary {"+" Writer}]]] + ["[1]" binary (.only Writer)]]] [math [number ["n" nat]]]]] ["[0]" // "_" ["//[1]" /// "_" - [constant {"+" Class}] - ["[1][0]" index {"+" Index}] + [constant (.only Class)] + ["[1][0]" index (.only Index)] [bytecode - ["[1][0]" address {"+" Address}]] + ["[1][0]" address (.only Address)]] [encoding - ["[1][0]" unsigned {"+" U2}]]]]) + ["[1][0]" unsigned (.only U2)]]]]) (type: .public Exception (Record diff --git a/stdlib/source/library/lux/target/jvm/attribute/constant.lux b/stdlib/source/library/lux/target/jvm/attribute/constant.lux index ae7788385..b4ba21594 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/constant.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/constant.lux @@ -1,16 +1,16 @@ (.using - [library - [lux "*" - [abstract - [equivalence {"+" Equivalence}]] - [data - [format - [binary {"+" Writer}]]]]] - ["[0]" /// "_" - [constant {"+" Value}] - ["[1][0]" index {"+" Index}] - [encoding - ["[1][0]" unsigned {"+" U2 U4}]]]) + [library + [lux "*" + [abstract + [equivalence (.only Equivalence)]] + [data + [format + [binary (.only Writer)]]]]] + ["[0]" /// "_" + [constant (.only Value)] + ["[1][0]" index (.only Index)] + [encoding + ["[1][0]" unsigned (.only U2 U4)]]]) (type: .public (Constant a) (Index (Value a))) diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux index d6de25632..0202791f1 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode.lux @@ -1,25 +1,25 @@ (.using [library [lux {"-" Type Label int try} - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - [monoid {"+" Monoid}] - [functor {"+" Functor}] - ["[0]" monad {"+" Monad do}]] + [monoid (.only Monoid)] + [functor (.only Functor)] + ["[0]" monad (.only Monad do)]] [control - ["[0]" writer {"+" Writer}] - ["[0]" state {"+" +State}] + ["[0]" writer (.only Writer)] + ["[0]" state (.only +State)] ["[0]" maybe] - ["[0]" try {"+" Try} ("[1]#[0]" monad)] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try) ("[1]#[0]" monad)] + ["[0]" exception (.only exception:)]] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" dictionary {"+" Dictionary}] - ["[0]" sequence {"+" Sequence}]]] + ["[0]" dictionary (.only Dictionary)] + ["[0]" sequence (.only Sequence)]]] [macro ["^" pattern] ["[0]" template]] @@ -27,28 +27,28 @@ [number ["n" nat] ["i" int] - ["[0]" i32 {"+" I32}]]]]] + ["[0]" i32 (.only I32)]]]]] ["[0]" / "_" - ["[1][0]" address {"+" Address}] - ["[1][0]" jump {"+" Jump Big_Jump}] - ["_" instruction {"+" Primitive_Array_Type Instruction Estimator} ("[1]#[0]" monoid)] - ["[1][0]" environment {"+" Environment} + ["[1][0]" address (.only Address)] + ["[1][0]" jump (.only Jump Big_Jump)] + ["_" instruction (.only Primitive_Array_Type Instruction Estimator) ("[1]#[0]" monoid)] + ["[1][0]" environment (.only Environment) [limit - ["/[0]" registry {"+" Register Registry}] - ["/[0]" stack {"+" Stack}]]] + ["/[0]" registry (.only Register Registry)] + ["/[0]" stack (.only Stack)]]] ["/[1]" // "_" - ["[1][0]" index {"+" Index}] + ["[1][0]" index (.only Index)] [encoding ["[1][0]" name] - ["[1][0]" unsigned {"+" U1 U2}] - ["[1][0]" signed {"+" S1 S2 S4}]] - ["[1][0]" constant {"+" UTF8} - ["[1]/[0]" pool {"+" Pool Resource}]] + ["[1][0]" unsigned (.only U1 U2)] + ["[1][0]" signed (.only S1 S2 S4)]] + ["[1][0]" constant (.only UTF8) + ["[1]/[0]" pool (.only Pool Resource)]] [attribute [code - ["[1][0]" exception {"+" Exception}]]] - ["[0]" type {"+" Type} - [category {"+" Class Object Value' Value Return' Return Method}] + ["[1][0]" exception (.only Exception)]]] + ["[0]" type (.only Type) + [category (.only Class Object Value' Value Return' Return Method)] ["[0]" reflection] ["[0]" parser]]]]) diff --git a/stdlib/source/library/lux/target/jvm/bytecode/address.lux b/stdlib/source/library/lux/target/jvm/bytecode/address.lux index 7edce6747..812434af4 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/address.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/address.lux @@ -2,26 +2,26 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] + [equivalence (.only Equivalence)] + [monad (.only do)]] [control - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data [format - [binary {"+" Writer}]] + [binary (.only Writer)]] [text - ["%" format {"+" Format}]]] + ["%" format (.only Format)]]] [math [number ["n" nat]]] [type [primitive "*"]]]] ["[0]" // "_" - [jump {"+" Big_Jump}] + [jump (.only Big_Jump)] ["/[1]" // "_" [encoding - ["[1][0]" unsigned {"+" U2}] - ["[1][0]" signed {"+" S4}]]]]) + ["[1][0]" unsigned (.only U2)] + ["[1][0]" signed (.only S4)]]]]) (primitive: .public Address U2 diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment.lux index 2f99d83c0..9c0e91224 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment.lux @@ -2,20 +2,20 @@ [library [lux {"-" Type static has} [abstract - [monad {"+" do}] - [monoid {"+" Monoid}]] + [monad (.only do)] + [monoid (.only Monoid)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]]]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]]]] [/ - ["/[0]" limit {"+" Limit} - ["/[0]" stack {"+" Stack}] - ["/[0]" registry {"+" Registry}]] + ["/[0]" limit (.only Limit) + ["/[0]" stack (.only Stack)] + ["/[0]" registry (.only Registry)]] [/// [encoding - [unsigned {"+" U2}]] - [type {"+" Type} - [category {"+" Method}]]]]) + [unsigned (.only U2)]] + [type (.only Type) + [category (.only Method)]]]]) (type: .public Environment (Record diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux index eb98b1262..531ca3ba7 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux @@ -2,23 +2,23 @@ [library [lux {"-" Type static} [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}]] + [monad (.only do)] + [equivalence (.only Equivalence)]] [control - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data ["[0]" product] ["[0]" format "_" - ["[1]" binary {"+" Writer} ("[1]#[0]" monoid)]]] + ["[1]" binary (.only Writer) ("[1]#[0]" monoid)]]] [math [number ["n" nat]]]]] ["[0]" / "_" - ["[1][0]" stack {"+" Stack}] - ["[1][0]" registry {"+" Registry}] + ["[1][0]" stack (.only Stack)] + ["[1][0]" registry (.only Registry)] [//// - [type {"+" Type} - [category {"+" Method}]]]]) + [type (.only Type) + [category (.only Method)]]]]) (type: .public Limit (Record diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux index 334a2cb15..a9c265bab 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux @@ -2,12 +2,12 @@ [library [lux {"-" Type for static has} [abstract - ["[0]" equivalence {"+" Equivalence}]] + ["[0]" equivalence (.only Equivalence)]] [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)]] + ["[0]" try (.only Try) ("[1]#[0]" functor)]] [data [format - [binary {"+" Writer}]] + [binary (.only Writer)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [math @@ -17,9 +17,9 @@ [primitive "*"]]]] ["[0]" ///// "_" [encoding - ["[1][0]" unsigned {"+" U1 U2}]] - ["[1][0]" type {"+" Type} - [category {"+" Method}] + ["[1][0]" unsigned (.only U1 U2)]] + ["[1][0]" type (.only Type) + [category (.only Method)] ["[1]/[0]" parser]]]) (type: .public Register diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux index 414a74ddd..cbc4cc941 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux @@ -2,20 +2,20 @@ [library [lux "*" [abstract - ["[0]" equivalence {"+" Equivalence}]] + ["[0]" equivalence (.only Equivalence)]] [control ["[0]" maybe] - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data [text - ["%" format {"+" Format}]] + ["%" format (.only Format)]] [format - [binary {"+" Writer}]]] + [binary (.only Writer)]]] [type [primitive "*"]]]] ["[0]" ///// "_" [encoding - ["[1][0]" unsigned {"+" U2}]]]) + ["[1][0]" unsigned (.only U2)]]]) (primitive: .public Stack U2 diff --git a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux index 90569a287..3aacb4021 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux @@ -1,43 +1,43 @@ (.using [library [lux "*" - [ffi {"+"}] + [ffi (.only)] [abstract - [monad {"+" do}] - [monoid {"+" Monoid}]] + [monad (.only do)] + [monoid (.only Monoid)]] [control ["[0]" function] ["[0]" try]] [data ["[0]" product] ["[0]" binary "_" - [/ {"+"}] + [/ (.only)] ["[1]" \\unsafe]] ["[0]" format "_" - ["[1]" binary {"+" Mutation Specification}]] + ["[1]" binary (.only Mutation Specification)]] [collection ["[0]" list]]] [macro ["[0]" template]] [math - [number {"+" hex} + [number (.only hex) ["n" nat]]] [type [primitive "*"]]]] ["[0]" // "_" - ["[1][0]" address {"+" Address}] - ["[1][0]" jump {"+" Jump Big_Jump}] + ["[1][0]" address (.only Address)] + ["[1][0]" jump (.only Jump Big_Jump)] [environment [limit - [registry {"+" Register}]]] + [registry (.only Register)]]] ["/[1]" // "_" - ["[1][0]" index {"+" Index}] - ["[1][0]" constant {"+" Class Reference}] + ["[1][0]" index (.only Index)] + ["[1][0]" constant (.only Class Reference)] [encoding - ["[1][0]" unsigned {"+" U1 U2 U4}] - ["[1][0]" signed {"+" S1 S2 S4}]] + ["[1][0]" unsigned (.only U1 U2 U4)] + ["[1][0]" signed (.only S1 S2 S4)]] [type - [category {"+" Value Method}]]]]) + [category (.only Value Method)]]]]) (type: .public Size U2) diff --git a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux index a9ddc510b..4d3100069 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux @@ -1,14 +1,14 @@ (.using - [library - [lux "*" - [abstract - [equivalence {"+" Equivalence}]] - [data - ["[0]" format "_" - ["[1]" binary {"+" Writer}]]]]] - ["[0]" /// "_" - [encoding - ["[1][0]" signed {"+" S2 S4}]]]) + [library + [lux "*" + [abstract + [equivalence (.only Equivalence)]] + [data + ["[0]" format "_" + ["[1]" binary (.only Writer)]]]]] + ["[0]" /// "_" + [encoding + ["[1][0]" signed (.only S2 S4)]]]) (type: .public Jump S2) diff --git a/stdlib/source/library/lux/target/jvm/class.lux b/stdlib/source/library/lux/target/jvm/class.lux index cd459643a..7a8824173 100644 --- a/stdlib/source/library/lux/target/jvm/class.lux +++ b/stdlib/source/library/lux/target/jvm/class.lux @@ -2,33 +2,33 @@ [library [lux {"-" Type public private} [abstract - [equivalence {"+" Equivalence}] - ["[0]" monad {"+" do}]] + [equivalence (.only Equivalence)] + ["[0]" monad (.only do)]] [control ["[0]" state] - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data ["[0]" product] [format - ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]] + ["[0]F" binary (.only Writer) ("[1]#[0]" monoid)]] [collection - ["[0]" sequence {"+" Sequence}]]]]] + ["[0]" sequence (.only Sequence)]]]]] ["[0]" // "_" - ["[1][0]" modifier {"+" Modifier modifiers:}] - ["[1][0]" version {"+" Version Minor Major}] - ["[1][0]" magic {"+" Magic}] - ["[1][0]" index {"+" Index}] - ["[1][0]" attribute {"+" Attribute}] - ["[1][0]" field {"+" Field}] - ["[1][0]" method {"+" Method}] + ["[1][0]" modifier (.only Modifier modifiers:)] + ["[1][0]" version (.only Version Minor Major)] + ["[1][0]" magic (.only Magic)] + ["[1][0]" index (.only Index)] + ["[1][0]" attribute (.only Attribute)] + ["[1][0]" field (.only Field)] + ["[1][0]" method (.only Method)] [encoding ["[1][0]" unsigned] - ["[1][0]" name {"+" Internal}]] - ["[1][0]" type {"+" Type} - [category {"+" Inheritance}] - ["[2][0]" signature {"+" Signature}]] - ["[1][0]" constant {"+" Constant} - ["[2][0]" pool {"+" Pool Resource}]]]) + ["[1][0]" name (.only Internal)]] + ["[1][0]" type (.only Type) + [category (.only Inheritance)] + ["[2][0]" signature (.only Signature)]] + ["[1][0]" constant (.only Constant) + ["[2][0]" pool (.only Pool Resource)]]]) (type: .public Class (Rec Class diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux index b0dfc7cda..25f9cd782 100644 --- a/stdlib/source/library/lux/target/jvm/constant.lux +++ b/stdlib/source/library/lux/target/jvm/constant.lux @@ -2,22 +2,22 @@ [library [lux "*" ["@" target] - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - [monad {"+" do}] - ["[0]" equivalence {"+" Equivalence}]] + [monad (.only do)] + ["[0]" equivalence (.only Equivalence)]] [data ["[0]" sum] ["[0]" product] ["[0]" text] [format - ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]] + ["[0]F" binary (.only Writer) ("[1]#[0]" monoid)]]] [macro ["^" pattern] ["[0]" template]] [math [number - ["[0]" i32 {"+" I32}] + ["[0]" i32 (.only I32)] ["[0]" i64] ["[0]" int] ["[0]" frac]]] @@ -26,10 +26,10 @@ ["[0]" / "_" ["[1][0]" tag] ["/[1]" // "_" - ["[1][0]" index {"+" Index}] + ["[1][0]" index (.only Index)] [type ["[1][0]" category] - ["[1][0]" descriptor {"+" Descriptor}]] + ["[1][0]" descriptor (.only Descriptor)]] [encoding ["[1][0]" unsigned]]]]) diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux index 936cfe3c4..8c41dbf17 100644 --- a/stdlib/source/library/lux/target/jvm/constant/pool.lux +++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux @@ -3,34 +3,34 @@ [lux "*" ["[0]" ffi] [abstract - [equivalence {"+" Equivalence}] - [functor {"+" Functor}] - [monad {"+" Monad do}]] + [equivalence (.only Equivalence)] + [functor (.only Functor)] + [monad (.only Monad do)]] [control ["[0]" pipe] - ["[0]" state {"+" +State}] - ["[0]" try {"+" Try}]] + ["[0]" state (.only +State)] + ["[0]" try (.only Try)]] [data ["[0]" product] ["[0]" text] ["[0]" format "_" - ["[1]" binary {"+" Writer} ("specification#[0]" monoid)]] + ["[1]" binary (.only Writer) ("specification#[0]" monoid)]] [collection - ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]] + ["[0]" sequence (.only Sequence) ("[1]#[0]" mix)]]] [math [number ["[0]" int] ["[0]" frac] ["[0]" i32]]]]] - ["[0]" // {"+" UTF8 String Class Integer Float Long Double Constant Name_And_Type Reference} + ["[0]" // (.only UTF8 String Class Integer Float Long Double Constant Name_And_Type Reference) [// - ["[1][0]" index {"+" Index}] + ["[1][0]" index (.only Index)] [encoding - ["[1][0]" name {"+" Internal External}] + ["[1][0]" name (.only Internal External)] ["[1][0]" unsigned]] [type - [category {"+" Value Method}] - ["[1][0]" descriptor {"+" Descriptor}]]]]) + [category (.only Value Method)] + ["[1][0]" descriptor (.only Descriptor)]]]]) (type: .public Pool [Index (Sequence [Index Constant])]) diff --git a/stdlib/source/library/lux/target/jvm/constant/tag.lux b/stdlib/source/library/lux/target/jvm/constant/tag.lux index 440dbc581..9b15c3401 100644 --- a/stdlib/source/library/lux/target/jvm/constant/tag.lux +++ b/stdlib/source/library/lux/target/jvm/constant/tag.lux @@ -2,17 +2,17 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [control ["[0]" try]] [data [format - [binary {"+" Writer}]]] + [binary (.only Writer)]]] [type [primitive "*"]]]] ["[0]" /// "_" [encoding - ["[1][0]" unsigned {"+" U1} ("u1//[0]" equivalence)]]]) + ["[1][0]" unsigned (.only U1) ("u1//[0]" equivalence)]]]) (primitive: .public Tag U1 diff --git a/stdlib/source/library/lux/target/jvm/encoding/name.lux b/stdlib/source/library/lux/target/jvm/encoding/name.lux index 1479e35dd..029758c23 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/name.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/name.lux @@ -3,7 +3,7 @@ [lux "*" [data ["[0]" text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [type [primitive "*"]]]]) diff --git a/stdlib/source/library/lux/target/jvm/encoding/signed.lux b/stdlib/source/library/lux/target/jvm/encoding/signed.lux index be0f564e3..52b536100 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/signed.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/signed.lux @@ -2,16 +2,16 @@ [library [lux {"-" int} [abstract - [equivalence {"+" Equivalence}] - [order {"+" Order}]] + [equivalence (.only Equivalence)] + [order (.only Order)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data [text - ["%" format {"+" format}]] + ["%" format (.only format)]] ["[0]" format "_" - ["[1]" binary {"+" Writer}]]] + ["[1]" binary (.only Writer)]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux index 66506f3b0..47d7a95c4 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux @@ -2,16 +2,16 @@ [library [lux {"-" nat} [abstract - [equivalence {"+" Equivalence}] - [order {"+" Order}]] + [equivalence (.only Equivalence)] + [order (.only Order)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data [text - ["%" format {"+" format}]] + ["%" format (.only format)]] ["[0]" format "_" - ["[1]" binary {"+" Writer}]]] + ["[1]" binary (.only Writer)]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/library/lux/target/jvm/field.lux b/stdlib/source/library/lux/target/jvm/field.lux index d97951fbf..27af1d6c3 100644 --- a/stdlib/source/library/lux/target/jvm/field.lux +++ b/stdlib/source/library/lux/target/jvm/field.lux @@ -2,23 +2,23 @@ [library [lux {"-" Type static public private} [abstract - [equivalence {"+" Equivalence}] - ["[0]" monad {"+" do}]] + [equivalence (.only Equivalence)] + ["[0]" monad (.only do)]] [data ["[0]" product] [format - ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]] + ["[0]F" binary (.only Writer) ("[1]#[0]" monoid)]] [collection - ["[0]" sequence {"+" Sequence}]]]]] + ["[0]" sequence (.only Sequence)]]]]] ["[0]" // "_" - ["[0]" modifier {"+" Modifier modifiers:}] - ["[1][0]" constant {"+" UTF8} - ["[1]/[0]" pool {"+" Pool Resource}]] - ["[1][0]" index {"+" Index}] - ["[1][0]" attribute {"+" Attribute}] - ["[1][0]" type {"+" Type} - [category {"+" Value}] - [descriptor {"+" Descriptor}]]]) + ["[0]" modifier (.only Modifier modifiers:)] + ["[1][0]" constant (.only UTF8) + ["[1]/[0]" pool (.only Pool Resource)]] + ["[1][0]" index (.only Index)] + ["[1][0]" attribute (.only Attribute)] + ["[1][0]" type (.only Type) + [category (.only Value)] + [descriptor (.only Descriptor)]]]) (type: .public Field (Rec Field diff --git a/stdlib/source/library/lux/target/jvm/index.lux b/stdlib/source/library/lux/target/jvm/index.lux index 42c0e4c15..ea295478a 100644 --- a/stdlib/source/library/lux/target/jvm/index.lux +++ b/stdlib/source/library/lux/target/jvm/index.lux @@ -2,15 +2,15 @@ [library [lux "*" [abstract - ["[0]" equivalence {"+" Equivalence}]] + ["[0]" equivalence (.only Equivalence)]] [data [format - [binary {"+" Writer}]]] + [binary (.only Writer)]]] [type [primitive "*"]]]] ["[0]" // "_" [encoding - ["[1][0]" unsigned {"+" U2}]]]) + ["[1][0]" unsigned (.only U2)]]]) (def: .public length //unsigned.bytes/2) diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux index 443f07227..7e5d090e7 100644 --- a/stdlib/source/library/lux/target/jvm/loader.lux +++ b/stdlib/source/library/lux/target/jvm/loader.lux @@ -2,22 +2,22 @@ [library [lux "*" ["@" target] - ["[0]" ffi {"+" import: object do_to}] + ["[0]" ffi (.only import: object do_to)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] - ["[0]" io {"+" IO}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] + ["[0]" io (.only IO)] [concurrency - ["[0]" atom {"+" Atom}]]] + ["[0]" atom (.only Atom)]]] [data - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" array] - ["[0]" dictionary {"+" Dictionary}]]]]]) + ["[0]" dictionary (.only Dictionary)]]]]]) (type: .public Library (Atom (Dictionary Text Binary))) diff --git a/stdlib/source/library/lux/target/jvm/magic.lux b/stdlib/source/library/lux/target/jvm/magic.lux index 3b2ed2e89..756104ae4 100644 --- a/stdlib/source/library/lux/target/jvm/magic.lux +++ b/stdlib/source/library/lux/target/jvm/magic.lux @@ -1,13 +1,13 @@ (.using - [library - [lux "*" - [control - ["[0]" try]] - [math - [number {"+" hex}]]]] - ["[0]" // "_" - [encoding - ["[1][0]" unsigned {"+" U4}]]]) + [library + [lux "*" + [control + ["[0]" try]] + [math + [number (.only hex)]]]] + ["[0]" // "_" + [encoding + ["[1][0]" unsigned (.only U4)]]]) (type: .public Magic U4) diff --git a/stdlib/source/library/lux/target/jvm/method.lux b/stdlib/source/library/lux/target/jvm/method.lux index 193bb4db8..54485d75b 100644 --- a/stdlib/source/library/lux/target/jvm/method.lux +++ b/stdlib/source/library/lux/target/jvm/method.lux @@ -2,30 +2,30 @@ [library [lux {"-" Type static public private} [abstract - [equivalence {"+" Equivalence}] - ["[0]" monad {"+" do}]] + [equivalence (.only Equivalence)] + ["[0]" monad (.only do)]] [control ["[0]" try]] [data ["[0]" product] ["[0]" format "_" - ["[1]" binary {"+" Writer} ("[1]#[0]" monoid)]] + ["[1]" binary (.only Writer) ("[1]#[0]" monoid)]] [collection - ["[0]" sequence {"+" Sequence}]]]]] + ["[0]" sequence (.only Sequence)]]]]] ["[0]" // "_" - ["[1][0]" modifier {"+" Modifier modifiers:}] - ["[1][0]" index {"+" Index}] - ["[1][0]" attribute {"+" Attribute} + ["[1][0]" modifier (.only Modifier modifiers:)] + ["[1][0]" index (.only Index)] + ["[1][0]" attribute (.only Attribute) ["[2][0]" code]] - ["[1][0]" constant {"+" UTF8} - ["[2][0]" pool {"+" Pool Resource}]] - ["[1][0]" bytecode {"+" Bytecode} - ["[2][0]" environment {"+" Environment}] + ["[1][0]" constant (.only UTF8) + ["[2][0]" pool (.only Pool Resource)]] + ["[1][0]" bytecode (.only Bytecode) + ["[2][0]" environment (.only Environment)] ["[2][0]" instruction]] - ["[1][0]" type {"+" Type} - [descriptor {"+" Descriptor}] + ["[1][0]" type (.only Type) + [descriptor (.only Descriptor)] ["[2][0]" category] - ["[2][0]" signature {"+" Signature}]]]) + ["[2][0]" signature (.only Signature)]]]) (type: .public Method (Rec Method diff --git a/stdlib/source/library/lux/target/jvm/modifier.lux b/stdlib/source/library/lux/target/jvm/modifier.lux index d573f0aeb..825abf133 100644 --- a/stdlib/source/library/lux/target/jvm/modifier.lux +++ b/stdlib/source/library/lux/target/jvm/modifier.lux @@ -2,20 +2,20 @@ [library [lux "*" [abstract - ["[0]" equivalence {"+" Equivalence}] - ["[0]" monoid {"+" Monoid}]] + ["[0]" equivalence (.only Equivalence)] + ["[0]" monoid (.only Monoid)]] [control ["[0]" try] ["<>" parser ["<[0]>" code]]] [data [format - ["[0]F" binary {"+" Writer}]]] - [macro {"+" with_symbols} - [syntax {"+" syntax:}] + ["[0]F" binary (.only Writer)]]] + [macro (.only with_symbols) + [syntax (.only syntax:)] ["[0]" code]] [math - ["[0]" number {"+" hex} + ["[0]" number (.only hex) ["[0]" i64]]] [type [primitive "*"]]]] diff --git a/stdlib/source/library/lux/target/jvm/modifier/inner.lux b/stdlib/source/library/lux/target/jvm/modifier/inner.lux index d088a227f..d119e9a69 100644 --- a/stdlib/source/library/lux/target/jvm/modifier/inner.lux +++ b/stdlib/source/library/lux/target/jvm/modifier/inner.lux @@ -1,9 +1,9 @@ (.using - [library - [lux {"-" static} - [type - abstract]]] - [// {"+" modifiers:}]) + [library + [lux {"-" static} + [type + abstract]]] + [// (.only modifiers:)]) (abstract: .public Inner Any) diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux index 4fe60fd37..ba7b9f278 100644 --- a/stdlib/source/library/lux/target/jvm/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/reflection.lux @@ -1,18 +1,18 @@ (.using [library [lux {"-" Primitive type parameter} - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] ["[0]" type] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only exception:)] [parser ["<t>" text]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" mix functor)] ["[0]" array] @@ -24,10 +24,10 @@ ["n" nat]]]]] ["[0]" // "_" [encoding - ["[1][0]" name {"+" External}]] + ["[1][0]" name (.only External)]] ["/" type - [category {"+" Void Value Return Method Primitive Object Class Array Parameter}] - ["[1][0]" lux {"+" Mapping}] + [category (.only Void Value Return Method Primitive Object Class Array Parameter)] + ["[1][0]" lux (.only Mapping)] ["[1][0]" descriptor] ["[1][0]" reflection] ["[1][0]" parser]]]) diff --git a/stdlib/source/library/lux/target/jvm/type.lux b/stdlib/source/library/lux/target/jvm/type.lux index c2f40a5a5..df4d64dac 100644 --- a/stdlib/source/library/lux/target/jvm/type.lux +++ b/stdlib/source/library/lux/target/jvm/type.lux @@ -2,13 +2,13 @@ [library [lux {"-" Primitive Type int char} [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [control ["[0]" maybe]] [data ["[0]" text - ["%" format {"+" Format}]] + ["%" format (.only Format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math @@ -18,12 +18,12 @@ [primitive "*"]]]] ["[0]" // "_" [encoding - ["[1][0]" name {"+" External}]]] + ["[1][0]" name (.only External)]]] ["[0]" / "_" - [category {"+" Void Value' Value Return' Return Method Primitive Object Class Array Var Parameter Declaration}] - ["[1][0]" signature {"+" Signature}] - ["[1][0]" descriptor {"+" Descriptor}] - ["[1][0]" reflection {"+" Reflection}]]) + [category (.only Void Value' Value Return' Return Method Primitive Object Class Array Var Parameter Declaration)] + ["[1][0]" signature (.only Signature)] + ["[1][0]" descriptor (.only Descriptor)] + ["[1][0]" reflection (.only Reflection)]]) (primitive: .public (Type category) [(Signature category) diff --git a/stdlib/source/library/lux/target/jvm/type/alias.lux b/stdlib/source/library/lux/target/jvm/type/alias.lux index 39f8aba69..919b90a8e 100644 --- a/stdlib/source/library/lux/target/jvm/type/alias.lux +++ b/stdlib/source/library/lux/target/jvm/type/alias.lux @@ -2,22 +2,22 @@ [library [lux {"-" Type Primitive int char type parameter} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] ["<>" parser - ["<[0]>" text {"+" Parser}]]] + ["<[0]>" text (.only Parser)]]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" dictionary {"+" Dictionary}]]]]] - ["[0]" // {"+" Type} - [category {"+" Void Value Return Method Primitive Object Class Array Var Parameter}] + ["[0]" dictionary (.only Dictionary)]]]]] + ["[0]" // (.only Type) + [category (.only Void Value Return Method Primitive Object Class Array Var Parameter)] ["[1][0]" descriptor] - ["[1][0]" signature {"+" Signature}] + ["[1][0]" signature (.only Signature)] ["[1][0]" reflection] ["[1][0]" parser] ["/[1]" // "_" diff --git a/stdlib/source/library/lux/target/jvm/type/box.lux b/stdlib/source/library/lux/target/jvm/type/box.lux index e355328d2..2350485bf 100644 --- a/stdlib/source/library/lux/target/jvm/type/box.lux +++ b/stdlib/source/library/lux/target/jvm/type/box.lux @@ -1,9 +1,9 @@ (.using - [library - [lux {"-" int char}]] - [/// - [encoding - [name {"+" External}]]]) + [library + [lux {"-" int char}]] + [/// + [encoding + [name (.only External)]]]) (template [<name> <box>] [(def: .public <name> External <box>)] diff --git a/stdlib/source/library/lux/target/jvm/type/descriptor.lux b/stdlib/source/library/lux/target/jvm/type/descriptor.lux index a58c9098f..7f1c9e397 100644 --- a/stdlib/source/library/lux/target/jvm/type/descriptor.lux +++ b/stdlib/source/library/lux/target/jvm/type/descriptor.lux @@ -2,12 +2,12 @@ [library [lux {"-" Primitive int char} [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [control ["[0]" maybe]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math @@ -16,10 +16,10 @@ [type [primitive "*"]]]] ["[0]" // "_" - [category {"+" Void Value Return Method Primitive Object Class Array Var Parameter Declaration}] + [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration)] ["/[1]" // "_" [encoding - ["[1][0]" name {"+" Internal External}]]]]) + ["[1][0]" name (.only Internal External)]]]]) (primitive: .public (Descriptor category) Text diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux index 8fa73b5f9..36ddab7d0 100644 --- a/stdlib/source/library/lux/target/jvm/type/lux.lux +++ b/stdlib/source/library/lux/target/jvm/type/lux.lux @@ -2,24 +2,24 @@ [library [lux {"-" Primitive int char type parameter} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" try] - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] ["<>" parser ("[1]#[0]" monad) - ["<[0]>" text {"+" Parser}]]] + ["<[0]>" text (.only Parser)]]] [data ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" array] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [type [primitive "*"] - ["[0]" check {"+" Check} ("[1]#[0]" monad)]]]] + ["[0]" check (.only Check) ("[1]#[0]" monad)]]]] ["[0]" // - [category {"+" Void Value Return Method Primitive Object Class Array Var Parameter}] + [category (.only Void Value Return Method Primitive Object Class Array Var Parameter)] ["[1][0]" descriptor] ["[1][0]" signature] ["[1][0]" reflection] diff --git a/stdlib/source/library/lux/target/jvm/type/parser.lux b/stdlib/source/library/lux/target/jvm/type/parser.lux index e7c2a2c70..04b66b360 100644 --- a/stdlib/source/library/lux/target/jvm/type/parser.lux +++ b/stdlib/source/library/lux/target/jvm/type/parser.lux @@ -2,25 +2,25 @@ [library [lux {"-" Type Primitive int char parameter} [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" function] ["<>" parser ("[1]#[0]" monad) - ["<[0]>" text {"+" Parser}]]] + ["<[0]>" text (.only Parser)]]] [data ["[0]" product] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list]]]]] - ["[0]" // {"+" Type} - [category {"+" Void Value Return Method Primitive Object Class Array Var Parameter Declaration}] + ["[0]" // (.only Type) + [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration)] ["[1][0]" signature] ["[1][0]" descriptor] ["[0]" // "_" [encoding - ["[1][0]" name {"+" External}]]]]) + ["[1][0]" name (.only External)]]]]) (template [<category> <name> <signature> <type>] [(def: .public <name> diff --git a/stdlib/source/library/lux/target/jvm/type/reflection.lux b/stdlib/source/library/lux/target/jvm/type/reflection.lux index 7e7ad7a1a..2ab921a16 100644 --- a/stdlib/source/library/lux/target/jvm/type/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/type/reflection.lux @@ -2,18 +2,18 @@ [library [lux {"-" Primitive int char} [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [type [primitive "*"]]]] ["[0]" // "_" - [category {"+" Void Value Return Method Primitive Object Class Array Var Parameter Declaration}] + [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration)] ["[1][0]" descriptor] [// [encoding - ["[1][0]" name {"+" External}]]]]) + ["[1][0]" name (.only External)]]]]) (primitive: .public (Reflection category) Text diff --git a/stdlib/source/library/lux/target/jvm/type/signature.lux b/stdlib/source/library/lux/target/jvm/type/signature.lux index e9dffe710..d1bc73b96 100644 --- a/stdlib/source/library/lux/target/jvm/type/signature.lux +++ b/stdlib/source/library/lux/target/jvm/type/signature.lux @@ -2,23 +2,23 @@ [library [lux {"-" Primitive int char} [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [control ["[0]" pipe]] [data ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [type [primitive "*"]]]] ["[0]" // "_" - [category {"+" Void Value Return Method Primitive Object Class Array Var Parameter Declaration Inheritance}] + [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration Inheritance)] ["[1][0]" descriptor] ["/[1]" // "_" [encoding - ["[1][0]" name {"+" External}]]]]) + ["[1][0]" name (.only External)]]]]) (primitive: .public (Signature category) Text diff --git a/stdlib/source/library/lux/target/jvm/version.lux b/stdlib/source/library/lux/target/jvm/version.lux index 33174b762..029c95d21 100644 --- a/stdlib/source/library/lux/target/jvm/version.lux +++ b/stdlib/source/library/lux/target/jvm/version.lux @@ -1,11 +1,11 @@ (.using - [library - [lux "*" - [control - ["[0]" try]]]] - ["[0]" // "_" - [encoding - ["[1][0]" unsigned {"+" U2}]]]) + [library + [lux "*" + [control + ["[0]" try]]]] + ["[0]" // "_" + [encoding + ["[1][0]" unsigned (.only U2)]]]) (type: .public Version U2) (type: .public Minor Version) |