diff options
Diffstat (limited to 'stdlib/source/library/lux/target')
26 files changed, 38 insertions, 38 deletions
diff --git a/stdlib/source/library/lux/target/common_lisp.lux b/stdlib/source/library/lux/target/common_lisp.lux index e2094f53c..ce523f4d4 100644 --- a/stdlib/source/library/lux/target/common_lisp.lux +++ b/stdlib/source/library/lux/target/common_lisp.lux @@ -7,7 +7,7 @@ ["[0]" text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" monad monoid)]]] + ["[0]" list (.open: "[1]#[0]" monad monoid)]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/library/lux/target/js.lux b/stdlib/source/library/lux/target/js.lux index ecae74ab2..708ba4abe 100644 --- a/stdlib/source/library/lux/target/js.lux +++ b/stdlib/source/library/lux/target/js.lux @@ -7,7 +7,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/library/lux/target/jvm/attribute.lux b/stdlib/source/library/lux/target/jvm/attribute.lux index 522cb9028..4819f19ea 100644 --- a/stdlib/source/library/lux/target/jvm/attribute.lux +++ b/stdlib/source/library/lux/target/jvm/attribute.lux @@ -24,7 +24,7 @@ [encoding ["[1][0]" unsigned (.only U2 U4)]] ["[1][0]" constant (.only UTF8 Class Value) - ["[2][0]" pool (.only Pool Resource) ("[1]#[0]" monad)]]] + ["[2][0]" pool (.only Pool Resource) (.open: "[1]#[0]" monad)]]] ["[0]" / ["[1][0]" constant (.only Constant)] ["[1][0]" code]]) diff --git a/stdlib/source/library/lux/target/jvm/attribute/code.lux b/stdlib/source/library/lux/target/jvm/attribute/code.lux index 10d2bb92d..629fbfad6 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/code.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/code.lux @@ -7,9 +7,9 @@ ["[0]" product] ["[0]" binary (.only Binary)] [format - ["[0]F" binary (.only Writer) ("[1]#[0]" monoid)]] + ["[0]F" binary (.only Writer) (.open: "[1]#[0]" monoid)]] [collection - ["[0]" sequence (.only Sequence) ("[1]#[0]" functor mix)]]] + ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" functor mix)]]] [math [number ["n" nat]]]]] diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux index 1f00b97c7..4963f5151 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode.lux @@ -10,14 +10,14 @@ ["[0]" writer (.only Writer)] ["[0]" state (.only +State)] ["[0]" maybe] - ["[0]" try (.only Try) ("[1]#[0]" monad)] + ["[0]" try (.only Try) (.open: "[1]#[0]" monad)] ["[0]" exception (.only exception:)]] [data ["[0]" product] [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)] ["[0]" sequence (.only Sequence)]]] [macro @@ -31,7 +31,7 @@ ["[0]" / ["[1][0]" address (.only Address)] ["[1][0]" jump (.only Jump Big_Jump)] - ["_" instruction (.only Primitive_Array_Type Instruction Estimator) ("[1]#[0]" monoid)] + ["_" instruction (.only Primitive_Array_Type Instruction Estimator) (.open: "[1]#[0]" monoid)] ["[1][0]" environment (.only Environment) [limit ["/[0]" registry (.only Register Registry)] 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 05772986f..a1c60d8d2 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux @@ -9,7 +9,7 @@ [data ["[0]" product] ["[0]" format - ["[1]" binary (.only Writer) ("[1]#[0]" monoid)]]] + ["[1]" binary (.only Writer) (.open: "[1]#[0]" monoid)]]] [math [number ["n" nat]]]]] 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 950735dbb..b8ae7a3c3 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 @@ -4,12 +4,12 @@ [abstract ["[0]" equivalence (.only Equivalence)]] [control - ["[0]" try (.only Try) ("[1]#[0]" functor)]] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] [data [format [binary (.only Writer)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math [number ["n" nat]]] diff --git a/stdlib/source/library/lux/target/jvm/class.lux b/stdlib/source/library/lux/target/jvm/class.lux index 3af3c5c7c..6c4531ed5 100644 --- a/stdlib/source/library/lux/target/jvm/class.lux +++ b/stdlib/source/library/lux/target/jvm/class.lux @@ -10,7 +10,7 @@ [data ["[0]" product] [format - ["[0]F" binary (.only Writer) ("[1]#[0]" monoid)]] + ["[0]F" binary (.only Writer) (.open: "[1]#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence)]]]]] ["[0]" // diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux index 3e50f9758..98fb0ba60 100644 --- a/stdlib/source/library/lux/target/jvm/constant.lux +++ b/stdlib/source/library/lux/target/jvm/constant.lux @@ -11,7 +11,7 @@ ["[0]" product] ["[0]" text] [format - ["[0]F" binary (.only Writer) ("[1]#[0]" monoid)]]] + ["[0]F" binary (.only Writer) (.open: "[1]#[0]" monoid)]]] [macro ["^" pattern] ["[0]" template]] diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux index e459f5eec..2d6c1e4e5 100644 --- a/stdlib/source/library/lux/target/jvm/constant/pool.lux +++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux @@ -14,9 +14,9 @@ ["[0]" product] ["[0]" text] ["[0]" format - ["[1]" binary (.only Writer) ("specification#[0]" monoid)]] + ["[1]" binary (.only Writer) (.open: "specification#[0]" monoid)]] [collection - ["[0]" sequence (.only Sequence) ("[1]#[0]" mix)]]] + ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" mix)]]] [math [number ["[0]" int] diff --git a/stdlib/source/library/lux/target/jvm/constant/tag.lux b/stdlib/source/library/lux/target/jvm/constant/tag.lux index e9a0569e0..7a859d75b 100644 --- a/stdlib/source/library/lux/target/jvm/constant/tag.lux +++ b/stdlib/source/library/lux/target/jvm/constant/tag.lux @@ -12,7 +12,7 @@ [primitive (.except)]]]] ["[0]" /// [encoding - ["[1][0]" unsigned (.only U1) ("u1//[0]" equivalence)]]]) + ["[1][0]" unsigned (.only U1) (.open: "u1//[0]" equivalence)]]]) (primitive: .public Tag U1 diff --git a/stdlib/source/library/lux/target/jvm/field.lux b/stdlib/source/library/lux/target/jvm/field.lux index ade45a2f0..1b8407723 100644 --- a/stdlib/source/library/lux/target/jvm/field.lux +++ b/stdlib/source/library/lux/target/jvm/field.lux @@ -7,7 +7,7 @@ [data ["[0]" product] [format - ["[0]F" binary (.only Writer) ("[1]#[0]" monoid)]] + ["[0]F" binary (.only Writer) (.open: "[1]#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence)]]]]] ["[0]" // diff --git a/stdlib/source/library/lux/target/jvm/method.lux b/stdlib/source/library/lux/target/jvm/method.lux index 5fcb74c45..bf2b73cdb 100644 --- a/stdlib/source/library/lux/target/jvm/method.lux +++ b/stdlib/source/library/lux/target/jvm/method.lux @@ -9,7 +9,7 @@ [data ["[0]" product] ["[0]" format - ["[1]" binary (.only Writer) ("[1]#[0]" monoid)]] + ["[1]" binary (.only Writer) (.open: "[1]#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence)]]]]] ["[0]" // diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux index cdfe9e9a0..0941e09b1 100644 --- a/stdlib/source/library/lux/target/jvm/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/reflection.lux @@ -6,15 +6,15 @@ [abstract ["[0]" monad (.only do)]] [control - ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] ["[0]" exception (.only exception:)] [parser ["<t>" text]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" mix functor)] + ["[0]" list (.open: "[1]#[0]" mix functor)] ["[0]" array] ["[0]" dictionary]]] [macro diff --git a/stdlib/source/library/lux/target/jvm/type.lux b/stdlib/source/library/lux/target/jvm/type.lux index cfb14dfa9..21528b3a3 100644 --- a/stdlib/source/library/lux/target/jvm/type.lux +++ b/stdlib/source/library/lux/target/jvm/type.lux @@ -10,7 +10,7 @@ ["[0]" text (.only) ["%" format (.only Format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math [number ["n" nat]]] diff --git a/stdlib/source/library/lux/target/jvm/type/descriptor.lux b/stdlib/source/library/lux/target/jvm/type/descriptor.lux index e8cf0ba6b..7ded981d8 100644 --- a/stdlib/source/library/lux/target/jvm/type/descriptor.lux +++ b/stdlib/source/library/lux/target/jvm/type/descriptor.lux @@ -6,10 +6,10 @@ [control ["[0]" maybe]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math [number ["n" nat]]] diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux index 60ca730d2..b63cafeab 100644 --- a/stdlib/source/library/lux/target/jvm/type/lux.lux +++ b/stdlib/source/library/lux/target/jvm/type/lux.lux @@ -6,18 +6,18 @@ [control ["[0]" try] ["[0]" exception (.only exception:)] - ["<>" parser ("[1]#[0]" monad) + ["<>" parser (.open: "[1]#[0]" monad) ["<[0]>" text (.only Parser)]]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" array] ["[0]" dictionary (.only Dictionary)]]] [type [primitive (.except)] - ["[0]" check (.only Check) ("[1]#[0]" monad)]]]] + ["[0]" check (.only Check) (.open: "[1]#[0]" monad)]]]] ["[0]" // (.only) [category (.only Void Value Return Method Primitive Object Class Array Var Parameter)] ["[1][0]" descriptor] diff --git a/stdlib/source/library/lux/target/jvm/type/parser.lux b/stdlib/source/library/lux/target/jvm/type/parser.lux index 4a0aa756c..a58a6d8d7 100644 --- a/stdlib/source/library/lux/target/jvm/type/parser.lux +++ b/stdlib/source/library/lux/target/jvm/type/parser.lux @@ -6,7 +6,7 @@ [control ["[0]" try] ["[0]" function] - ["<>" parser ("[1]#[0]" monad) + ["<>" parser (.open: "[1]#[0]" monad) ["<[0]>" text (.only Parser)]]] [data ["[0]" product] diff --git a/stdlib/source/library/lux/target/jvm/type/reflection.lux b/stdlib/source/library/lux/target/jvm/type/reflection.lux index e6f51e411..47c5d7d73 100644 --- a/stdlib/source/library/lux/target/jvm/type/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/type/reflection.lux @@ -4,7 +4,7 @@ [abstract [equivalence (.only Equivalence)]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [type [primitive (.except)]]]] diff --git a/stdlib/source/library/lux/target/jvm/type/signature.lux b/stdlib/source/library/lux/target/jvm/type/signature.lux index ef9d139ea..f66989972 100644 --- a/stdlib/source/library/lux/target/jvm/type/signature.lux +++ b/stdlib/source/library/lux/target/jvm/type/signature.lux @@ -7,10 +7,10 @@ [control ["[0]" pipe]] [data - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [type [primitive (.except)]]]] ["[0]" // diff --git a/stdlib/source/library/lux/target/lua.lux b/stdlib/source/library/lux/target/lua.lux index e0bed2c3c..f334dbc83 100644 --- a/stdlib/source/library/lux/target/lua.lux +++ b/stdlib/source/library/lux/target/lua.lux @@ -14,7 +14,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro [syntax (.only syntax:)] ["[0]" template] diff --git a/stdlib/source/library/lux/target/php.lux b/stdlib/source/library/lux/target/php.lux index 7b9cec65a..52f872a04 100644 --- a/stdlib/source/library/lux/target/php.lux +++ b/stdlib/source/library/lux/target/php.lux @@ -14,7 +14,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro [syntax (.only syntax:)] ["[0]" template] diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux index ae3904333..ae5014d34 100644 --- a/stdlib/source/library/lux/target/python.lux +++ b/stdlib/source/library/lux/target/python.lux @@ -15,7 +15,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro [syntax (.only syntax:)] ["[0]" template] diff --git a/stdlib/source/library/lux/target/r.lux b/stdlib/source/library/lux/target/r.lux index c16e07eac..0d4e813dc 100644 --- a/stdlib/source/library/lux/target/r.lux +++ b/stdlib/source/library/lux/target/r.lux @@ -4,14 +4,14 @@ [control ["[0]" pipe] ["[0]" function] - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] [parser ["<[0]>" code]]] [data ["[0]" text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro [syntax (.only syntax:)] ["[0]" template] diff --git a/stdlib/source/library/lux/target/ruby.lux b/stdlib/source/library/lux/target/ruby.lux index a157e513b..356906d27 100644 --- a/stdlib/source/library/lux/target/ruby.lux +++ b/stdlib/source/library/lux/target/ruby.lux @@ -14,7 +14,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro [syntax (.only syntax:)] ["[0]" template] diff --git a/stdlib/source/library/lux/target/scheme.lux b/stdlib/source/library/lux/target/scheme.lux index e3e6fb09b..e77a76d6d 100644 --- a/stdlib/source/library/lux/target/scheme.lux +++ b/stdlib/source/library/lux/target/scheme.lux @@ -11,7 +11,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor monoid)]]] + ["[0]" list (.open: "[1]#[0]" functor monoid)]]] [macro ["[0]" template]] [math |