diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/math/number/nat.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/math/number/nat.lux b/stdlib/source/lux/math/number/nat.lux index d0fb348fa..01a8cff2e 100644 --- a/stdlib/source/lux/math/number/nat.lux +++ b/stdlib/source/lux/math/number/nat.lux @@ -155,25 +155,25 @@ (-> Nat Frac) (|>> .int "lux i64 f64")) -(structure: #export equivalence +(implementation: #export equivalence (Equivalence Nat) (def: = ..=)) -(structure: #export order +(implementation: #export order (Order Nat) (def: &equivalence ..equivalence) (def: < ..<)) -(structure: #export enum +(implementation: #export enum (Enum Nat) (def: &order ..order) (def: succ inc) (def: pred dec)) -(structure: #export interval +(implementation: #export interval (Interval Nat) (def: &enum ..enum) @@ -181,7 +181,7 @@ (def: bottom 0)) (template [<name> <compose> <identity>] - [(structure: #export <name> + [(implementation: #export <name> (Monoid Nat) (def: identity <identity>) @@ -299,7 +299,7 @@ _ #.None)) (template [<shift> <struct> <to-character> <to-value> <error>] - [(structure: #export <struct> + [(implementation: #export <struct> (Codec Text Nat) (def: encode @@ -340,7 +340,7 @@ [4 hex hexadecimal-character hexadecimal-value "Invalid hexadecimal syntax for Nat: "] ) -(structure: #export decimal +(implementation: #export decimal (Codec Text Nat) (def: (encode value) @@ -372,7 +372,7 @@ (#try.Success output))) <failure>))))) -(structure: #export hash +(implementation: #export hash (Hash Nat) (def: &equivalence ..equivalence) |