aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/target/jvm/index.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/target/jvm/index.lux')
-rw-r--r--stdlib/source/lux/target/jvm/index.lux9
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))
)