diff options
Diffstat (limited to 'stdlib/source/lux/target/jvm/index.lux')
-rw-r--r-- | stdlib/source/lux/target/jvm/index.lux | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/stdlib/source/lux/target/jvm/index.lux b/stdlib/source/lux/target/jvm/index.lux index 430276f4b..490667436 100644 --- a/stdlib/source/lux/target/jvm/index.lux +++ b/stdlib/source/lux/target/jvm/index.lux @@ -11,6 +11,9 @@ [encoding ["#." unsigned (#+ U2)]]]) +(def: #export length + //unsigned.bytes/2) + (abstract: #export (Index kind) {} @@ -20,17 +23,17 @@ (All [kind] (-> U2 (Index kind))) (|>> :abstraction)) - (def: #export number + (def: #export value (-> (Index Any) U2) (|>> :representation)) (def: #export equivalence (All [kind] (Equivalence (Index kind))) (:: equivalence.contravariant map-1 - ..number + ..value //unsigned.equivalence)) (def: #export writer (All [kind] (Writer (Index kind))) - (|>> ..number //unsigned.u2-writer)) + (|>> :representation //unsigned.writer/2)) ) |