aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/math/number/nat.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/math/number/nat.lux16
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)