diff options
Diffstat (limited to 'stdlib/source/lux/host/jvm/modifier.lux')
| -rw-r--r-- | stdlib/source/lux/host/jvm/modifier.lux | 16 |
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)) |