aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source')
-rw-r--r--stdlib/source/lux/host/jvm/modifier.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/host/jvm/modifier.lux b/stdlib/source/lux/host/jvm/modifier.lux
index b5bc1fef8..8451c3107 100644
--- a/stdlib/source/lux/host/jvm/modifier.lux
+++ b/stdlib/source/lux/host/jvm/modifier.lux
@@ -46,17 +46,17 @@
(.def: (~' #export) (~' code)
(.-> (~ g!name) //encoding.U2)
- (.|>> (~' :representation)))
+ (.|>> abstract.:representation))
(.def: (~' #export) ((~ g!combine) (~ g!parameter) (~ g!subject))
(.-> (~ g!name) (~ g!name) (~ g!name))
- ((~' :abstraction) (//encoding.to-u2 (i64.and (//encoding.from-u2 ((~' :representation) (~ g!parameter)))
- (//encoding.from-u2 ((~' :representation) (~ g!subject)))))))
+ (abstract.:abstraction (//encoding.to-u2 (i64.and (//encoding.from-u2 (abstract.:representation (~ g!parameter)))
+ (//encoding.from-u2 (abstract.:representation (~ g!subject)))))))
(.do-template [(~ g!<code>) (~ g!<name>)]
[(.def: (~' #export) (~ g!<name>)
(~ g!name)
- (.|> (number.hex (~ g!<code>)) //encoding.to-u2 (~' :abstraction)))]
+ (.|> (number.hex (~ g!<code>)) //encoding.to-u2 abstract.:abstraction))]
["0000" (~ g!empty)]
(~+ (list/map ..code options))
@@ -65,16 +65,16 @@
(.structure: (~' #export) (~' _) (equivalence.Equivalence (~ g!name))
(.def: ((~' =) (~' reference) (~' sample))
(.:: //encoding.Equivalence<U2> (~' =)
- ((~' :representation) (~' reference))
- ((~' :representation) (~' sample)))))
+ (abstract.:representation (~' reference))
+ (abstract.:representation (~' sample)))))
(.def: (~' #export) (~ g!format)
(binary.Format (~ g!name))
(.let [(.^open "_/.") //encoding.u2-format]
{#binary.reader (|> (~' _/reader)
(:: parser.Functor<Parser> (~' map)
- (|>> (~' :abstraction))))
- #binary.writer (|>> (~' :representation)
+ (|>> abstract.:abstraction)))
+ #binary.writer (|>> abstract.:representation
(~' _/writer))}))))
monoidC (` (.structure: (~' #export) (~' _) (monoid.Monoid (~ g!name))
(.def: (~' identity) (~ g!empty))