aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target/jvm/constant
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/target/jvm/constant.lux16
-rw-r--r--stdlib/source/library/lux/target/jvm/constant/pool.lux22
-rw-r--r--stdlib/source/library/lux/target/jvm/constant/tag.lux6
3 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index d4841fd43..41a196162 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -2,23 +2,23 @@
[library
[lux "*"
["@" target]
- ["[0]" ffi {"+" [import:]}]
+ ["[0]" ffi {"+" import:}]
[abstract
- [monad {"+" [do]}]
- ["[0]" equivalence {"+" [Equivalence]}]]
+ [monad {"+" do}]
+ ["[0]" equivalence {"+" Equivalence}]]
[data
["[0]" sum]
["[0]" product]
["[0]" text]
[format
- ["[0]F" binary {"+" [Writer]} ("[1]#[0]" monoid)]]
+ ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]
[collection
- ["[0]" row {"+" [Row]}]]]
+ ["[0]" row {"+" Row}]]]
[macro
["[0]" template]]
[math
[number
- ["[0]" i32 {"+" [I32]}]
+ ["[0]" i32 {"+" I32}]
["[0]" i64]
["[0]" int]
["[0]" frac]]]
@@ -27,10 +27,10 @@
["[0]" / "_"
["[1][0]" tag]
["/[1]" // "_"
- ["[1][0]" index {"+" [Index]}]
+ ["[1][0]" index {"+" Index}]
[type
["[1][0]" category]
- ["[1][0]" descriptor {"+" [Descriptor]}]]
+ ["[1][0]" descriptor {"+" 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 f3cab4463..8451bfdfa 100644
--- a/stdlib/source/library/lux/target/jvm/constant/pool.lux
+++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux
@@ -3,18 +3,18 @@
[lux "*"
["[0]" ffi]
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [Monad do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" Monad do}]]
[control
- ["[0]" state {"+" [+State]}]
- ["[0]" try {"+" [Try]}]]
+ ["[0]" state {"+" +State}]
+ ["[0]" try {"+" Try}]]
[data
["[0]" product]
["[0]" text]
["[0]" format "_"
- ["[1]" binary {"+" [Writer]} ("specification#[0]" monoid)]]
+ ["[1]" binary {"+" Writer} ("specification#[0]" monoid)]]
[collection
- ["[0]" row {"+" [Row]} ("[1]#[0]" mix)]]]
+ ["[0]" row {"+" Row} ("[1]#[0]" mix)]]]
[macro
["[0]" template]]
[math
@@ -25,15 +25,15 @@
["[0]" frac]]]
[type
abstract]]]
- ["[0]" // {"+" [UTF8 String Class Integer Float Long Double Constant Name_And_Type Reference]}
+ ["[0]" // {"+" UTF8 String Class Integer Float Long Double Constant Name_And_Type Reference}
[//
[encoding
- ["[1][0]" name {"+" [Internal External]}]
+ ["[1][0]" name {"+" Internal External}]
["[1][0]" unsigned]]
- ["[1][0]" index {"+" [Index]}]
+ ["[1][0]" index {"+" Index}]
[type
- [category {"+" [Value Method]}]
- ["[1][0]" descriptor {"+" [Descriptor]}]]]])
+ [category {"+" Value Method}]
+ ["[1][0]" descriptor {"+" Descriptor}]]]])
(type: .public Pool
[Index (Row [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 73ff384f4..ce2c1c887 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 {"+" Equivalence}]]
[control
["[0]" try]]
[data
[format
- [binary {"+" [Writer]}]]]
+ [binary {"+" Writer}]]]
[type
abstract]]]
["[0]" /// "_"
[encoding
- ["[1][0]" unsigned {"+" [U1]} ("u1//[0]" equivalence)]]])
+ ["[1][0]" unsigned {"+" U1} ("u1//[0]" equivalence)]]])
(abstract: .public Tag
U1