diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/target/jvm/encoding/unsigned.lux | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/stdlib/source/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/lux/target/jvm/encoding/unsigned.lux index 86495f38e..892d2f86d 100644 --- a/stdlib/source/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/lux/target/jvm/encoding/unsigned.lux @@ -1,7 +1,8 @@ (.module: [lux (#- nat) [abstract - [equivalence (#+ Equivalence)]] + [equivalence (#+ Equivalence)] + [order (#+ Order)]] [control ["<>" parser ("#@." functor) ["<2>" binary (#+ Parser)]]] @@ -28,6 +29,13 @@ (def: (= reference sample) (n/= (:representation reference) (:representation sample)))) + (structure: #export order + (All [brand] (Order (Unsigned brand))) + + (def: &equivalence ..equivalence) + (def: (< reference sample) + (n/< (:representation reference) (:representation sample)))) + (template [<bytes> <name> <size> <constructor> <max> <+>] [(with-expansions [<raw> (template.identifier [<name> "'"])] (abstract: #export <raw> {} Any) |