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 8be0777a8..cce373dfc 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)
- ["." ffi (#+ Inheritance Privacy State import:)]
+ [lux {"-" [Type static local]}
+ ["." ffi {"+" [Inheritance Privacy State import:]}]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
- ["." try (#+ Try)]
+ [pipe {"+" [case>]}]
+ ["." try {"+" [Try]}]
["<>" parser
- ["<.>" code (#+ Parser)]
+ ["<.>" code {"+" [Parser]}]
["<.>" text]]]
[data
- [identity (#+ Identity)]
- [binary (#+ Binary)]
+ [identity {"+" [Identity]}]
+ [binary {"+" [Binary]}]
["." product]
[text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
- [array (#+ Array)]
+ [array {"+" [Array]}]
["." list ("#\." mix functor monoid)]
- ["." dictionary (#+ Dictionary)]
- ["." row (#+ Row) ("#\." functor mix)]]]
+ ["." dictionary {"+" [Dictionary]}]
+ ["." row {"+" [Row]} ("#\." functor mix)]]]
[math
[number
["." nat]]]
[target
["/" jvm
[encoding
- ["." name (#+ External)]]
- ["#." type (#+ Type Constraint)
- [category (#+ Void Value Return Primitive Object Class Var Parameter)]
+ ["." name {"+" [External]}]]
+ ["#." type {"+" [Type Constraint]}
+ [category {"+" [Void Value Return Primitive Object Class Var Parameter]}]
["." parser]
[".T" lux]
["#/." signature]
@@ -39,10 +39,10 @@
["." phase]
[language
[lux
- ["." analysis (#+ Analysis)]
- ["." synthesis (#+ Synthesis)]
+ ["." analysis {"+" [Analysis]}]
+ ["." synthesis {"+" [Synthesis]}]
["." generation]
- ["." directive (#+ Requirements)]
+ ["." directive {"+" [Requirements]}]
[phase
[analysis
[".A" scope]
@@ -54,10 +54,10 @@
[directive
["./" lux]]]]]]
[meta
- [archive (#+ Archive)]]]]]]
+ [archive {"+" [Archive]}]]]]]]
[///
[host
- ["." jvm (#+ Inst)
+ ["." jvm {"+" [Inst]}
["_" inst]
["." def]]]
[translation