aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/directive/jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm/source/luxc/lang/directive/jvm.lux')
-rw-r--r--lux-jvm/source/luxc/lang/directive/jvm.lux40
1 files changed, 20 insertions, 20 deletions
diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index 272faea29..7b1b35b52 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -1,35 +1,35 @@
(.module:
[library
- [lux {"-" [Type static local]}
- ["[0]" ffi {"+" [Inheritance Privacy State import:]}]
+ [lux {"-" Type static local}
+ ["[0]" ffi {"+" Inheritance Privacy State import:}]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
- ["[0]" try {"+" [Try]}]
+ [pipe {"+" case>}]
+ ["[0]" try {"+" Try}]
["<>" parser
- ["<[0]>" code {"+" [Parser]}]
+ ["<[0]>" code {"+" Parser}]
["<[0]>" text]]]
[data
- [identity {"+" [Identity]}]
- [binary {"+" [Binary]}]
+ [identity {"+" Identity}]
+ [binary {"+" Binary}]
["[0]" product]
[text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
- [array {"+" [Array]}]
+ [array {"+" Array}]
["[0]" list ("[1]#[0]" mix functor monoid)]
- ["[0]" dictionary {"+" [Dictionary]}]
- ["[0]" row {"+" [Row]} ("[1]#[0]" functor mix)]]]
+ ["[0]" dictionary {"+" Dictionary}]
+ ["[0]" row {"+" Row} ("[1]#[0]" functor mix)]]]
[math
[number
["[0]" nat]]]
[target
["/" jvm
[encoding
- ["[0]" name {"+" [External]}]]
- ["[1][0]" type {"+" [Type Constraint]}
- [category {"+" [Void Value Return Primitive Object Class Var Parameter]}]
+ ["[0]" name {"+" External}]]
+ ["[1][0]" type {"+" Type Constraint}
+ [category {"+" Void Value Return Primitive Object Class Var Parameter}]
["[0]" parser]
["[0]T" lux]
["[1]/[0]" signature]
@@ -39,10 +39,10 @@
["[0]" phase]
[language
[lux
- ["[0]" analysis {"+" [Analysis]}]
- ["[0]" synthesis {"+" [Synthesis]}]
+ ["[0]" analysis {"+" Analysis}]
+ ["[0]" synthesis {"+" Synthesis}]
["[0]" generation]
- ["[0]" directive {"+" [Requirements]}]
+ ["[0]" directive {"+" Requirements}]
[phase
[analysis
["[0]A" scope]
@@ -54,10 +54,10 @@
[directive
["[0]/" lux]]]]]]
[meta
- [archive {"+" [Archive]}]]]]]]
+ [archive {"+" Archive}]]]]]]
[///
[host
- ["[0]" jvm {"+" [Inst]}
+ ["[0]" jvm {"+" Inst}
["_" inst]
["[0]" def]]]
[translation