aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/math
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/math/logic/continuous.lux2
-rw-r--r--stdlib/source/lux/math/logic/fuzzy.lux2
-rw-r--r--stdlib/source/lux/math/modular.lux8
-rw-r--r--stdlib/source/lux/math/number/complex.lux2
-rw-r--r--stdlib/source/lux/math/number/frac.lux12
-rw-r--r--stdlib/source/lux/math/number/i64.lux10
-rw-r--r--stdlib/source/lux/math/number/int.lux14
-rw-r--r--stdlib/source/lux/math/number/nat.lux16
-rw-r--r--stdlib/source/lux/math/number/ratio.lux8
-rw-r--r--stdlib/source/lux/math/number/rev.lux16
-rw-r--r--stdlib/source/lux/math/random.lux6
11 files changed, 48 insertions, 48 deletions
diff --git a/stdlib/source/lux/math/logic/continuous.lux b/stdlib/source/lux/math/logic/continuous.lux
index 5d5c8668d..445bd8447 100644
--- a/stdlib/source/lux/math/logic/continuous.lux
+++ b/stdlib/source/lux/math/logic/continuous.lux
@@ -14,7 +14,7 @@
(-> Rev Rev Rev)
<chooser>)
- (structure: #export <monoid>
+ (implementation: #export <monoid>
(Monoid Rev)
(def: identity <identity>)
diff --git a/stdlib/source/lux/math/logic/fuzzy.lux b/stdlib/source/lux/math/logic/fuzzy.lux
index cbe54fae5..5308786fa 100644
--- a/stdlib/source/lux/math/logic/fuzzy.lux
+++ b/stdlib/source/lux/math/logic/fuzzy.lux
@@ -17,7 +17,7 @@
(type: #export (Fuzzy a)
(-> a Rev))
-(structure: #export functor
+(implementation: #export functor
(contravariant.Functor Fuzzy)
(def: (map f fb)
diff --git a/stdlib/source/lux/math/modular.lux b/stdlib/source/lux/math/modular.lux
index 088201e94..5ecfb6763 100644
--- a/stdlib/source/lux/math/modular.lux
+++ b/stdlib/source/lux/math/modular.lux
@@ -60,7 +60,7 @@
(<>.codec i.decimal
(<text>.and (<text>.one_of "-+") (<text>.many <text>.decimal))))
- (structure: #export (codec expected)
+ (implementation: #export (codec expected)
(All [%] (-> (Modulus %) (Codec Text (Mod %))))
(def: (encode modular)
@@ -92,12 +92,12 @@
[>= i.>=]
)
- (structure: #export equivalence
+ (implementation: #export equivalence
(All [%] (Equivalence (Mod %)))
(def: = ..=))
- (structure: #export order
+ (implementation: #export order
(All [%] (Order (Mod %)))
(def: &equivalence ..equivalence)
@@ -119,7 +119,7 @@
)
(template [<composition> <identity> <monoid>]
- [(structure: #export (<monoid> modulus)
+ [(implementation: #export (<monoid> modulus)
(All [%] (-> (Modulus %) (Monoid (Mod %))))
(def: identity
diff --git a/stdlib/source/lux/math/number/complex.lux b/stdlib/source/lux/math/number/complex.lux
index aad6a4364..279f6177a 100644
--- a/stdlib/source/lux/math/number/complex.lux
+++ b/stdlib/source/lux/math/number/complex.lux
@@ -69,7 +69,7 @@
[- f.-]
)
-(structure: #export equivalence
+(implementation: #export equivalence
(Equivalence Complex)
(def: = ..=))
diff --git a/stdlib/source/lux/math/number/frac.lux b/stdlib/source/lux/math/number/frac.lux
index 78c5bdde4..4c25d5ca7 100644
--- a/stdlib/source/lux/math/number/frac.lux
+++ b/stdlib/source/lux/math/number/frac.lux
@@ -132,12 +132,12 @@
"lux f64 i64"
("lux i64 left-shift" ..exponent_size)))
-(structure: #export equivalence
+(implementation: #export equivalence
(Equivalence Frac)
(def: = ..=))
-(structure: #export order
+(implementation: #export order
(Order Frac)
(def: &equivalence ..equivalence)
@@ -157,7 +157,7 @@
(..* f2^+1023))))
(template [<name> <compose> <identity>]
- [(structure: #export <name>
+ [(implementation: #export <name>
(Monoid Frac)
(def: identity <identity>)
@@ -195,7 +195,7 @@
(..= ..positive_infinity value)
(..= ..negative_infinity value))))
-(structure: #export decimal
+(implementation: #export decimal
(Codec Text Frac)
(def: (encode x)
@@ -369,7 +369,7 @@
(#try.Success [representation +0])))
(template [<struct> <nat> <int> <error>]
- [(structure: #export <struct>
+ [(implementation: #export <struct>
(Codec Text Frac)
(def: (encode value)
@@ -422,7 +422,7 @@
[hex //nat.hex //int.hex "Invalid hexadecimal syntax: "]
)
-(structure: #export hash
+(implementation: #export hash
(Hash Frac)
(def: &equivalence ..equivalence)
diff --git a/stdlib/source/lux/math/number/i64.lux b/stdlib/source/lux/math/number/i64.lux
index e8dde83e0..9d36e3bb1 100644
--- a/stdlib/source/lux/math/number/i64.lux
+++ b/stdlib/source/lux/math/number/i64.lux
@@ -120,13 +120,13 @@
(-> Nat Nat Mask)
(..left_shift offset (..mask size)))
-(structure: #export equivalence
+(implementation: #export equivalence
(All [a] (Equivalence (I64 a)))
(def: (= reference sample)
("lux i64 =" reference sample)))
-(structure: #export hash
+(implementation: #export hash
(All [a] (Hash (I64 a)))
(def: &equivalence ..equivalence)
@@ -134,7 +134,7 @@
(def: hash .nat))
(template [<monoid> <identity> <compose>]
- [(structure: #export <monoid>
+ [(implementation: #export <monoid>
(All [a] (Monoid (I64 a)))
(def: identity <identity>)
@@ -181,7 +181,7 @@
swap/02
swap/01)))
-(signature: #export (Sub size)
+(interface: #export (Sub size)
(: (Equivalence (I64 size))
&equivalence)
(: Nat
@@ -200,7 +200,7 @@
mantissa (..mask (dec width))
co_mantissa (..xor (.i64 -1) mantissa)]
(#.Some (: Sub
- (structure
+ (implementation
(def: &equivalence ..equivalence)
(def: width width)
(def: (narrow value)
diff --git a/stdlib/source/lux/math/number/int.lux b/stdlib/source/lux/math/number/int.lux
index b121fc216..708ab8dd4 100644
--- a/stdlib/source/lux/math/number/int.lux
+++ b/stdlib/source/lux/math/number/int.lux
@@ -163,18 +163,18 @@
(-> Int Frac)
(|>> "lux i64 f64"))
-(structure: #export equivalence
+(implementation: #export equivalence
(Equivalence Int)
(def: = ..=))
-(structure: #export order
+(implementation: #export order
(Order Int)
(def: &equivalence ..equivalence)
(def: < ..<))
-(structure: #export enum
+(implementation: #export enum
(Enum Int)
(def: &order ..order)
@@ -182,7 +182,7 @@
(def: pred dec))
## TODO: Find out why the numeric literals fail during JS compilation.
-(structure: #export interval
+(implementation: #export interval
(Interval Int)
(def: &enum ..enum)
@@ -196,7 +196,7 @@
(//i64.left_shift 63 +1)))
(template [<name> <compose> <identity>]
- [(structure: #export <name>
+ [(implementation: #export <name>
(Monoid Int)
(def: identity <identity>)
@@ -212,7 +212,7 @@
(def: +sign "+")
(template [<struct> <codec> <error>]
- [(structure: #export <struct>
+ [(implementation: #export <struct>
(Codec Text Int)
(def: (encode value)
@@ -246,7 +246,7 @@
[hex //nat.hex "Invalid hexadecimal syntax for Int: "]
)
-(structure: #export hash
+(implementation: #export hash
(Hash Int)
(def: &equivalence ..equivalence)
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)
diff --git a/stdlib/source/lux/math/number/ratio.lux b/stdlib/source/lux/math/number/ratio.lux
index d754f6df4..ad2092fbd 100644
--- a/stdlib/source/lux/math/number/ratio.lux
+++ b/stdlib/source/lux/math/number/ratio.lux
@@ -54,7 +54,7 @@
(n.= (get@ #denominator parameter)
(get@ #denominator subject))))
-(structure: #export equivalence
+(implementation: #export equivalence
(Equivalence Ratio)
(def: = ..=))
@@ -85,7 +85,7 @@
(or (> parameter subject)
(= parameter subject)))
-(structure: #export order
+(implementation: #export order
(Order Ratio)
(def: &equivalence ..equivalence)
@@ -131,7 +131,7 @@
(def: separator ":")
-(structure: #export codec
+(implementation: #export codec
(Codec Text Ratio)
(def: (encode (^slots [#numerator #denominator]))
@@ -150,7 +150,7 @@
(#.Left (text\compose "Invalid syntax for ratio: " input)))))
(template [<identity> <compose> <name>]
- [(structure: #export <name>
+ [(implementation: #export <name>
(Monoid Ratio)
(def: identity (..ratio <identity>))
diff --git a/stdlib/source/lux/math/number/rev.lux b/stdlib/source/lux/math/number/rev.lux
index 78d80767b..0f96320e3 100644
--- a/stdlib/source/lux/math/number/rev.lux
+++ b/stdlib/source/lux/math/number/rev.lux
@@ -183,31 +183,31 @@
(-> Rev Frac)
(|>> ..mantissa ("lux f64 /" ..frac_denominator)))
-(structure: #export equivalence
+(implementation: #export equivalence
(Equivalence Rev)
(def: = ..=))
-(structure: #export hash
+(implementation: #export hash
(Hash Rev)
(def: &equivalence ..equivalence)
(def: hash .nat))
-(structure: #export order
+(implementation: #export order
(Order Rev)
(def: &equivalence ..equivalence)
(def: < ..<))
-(structure: #export enum
+(implementation: #export enum
(Enum Rev)
(def: &order ..order)
(def: succ inc)
(def: pred dec))
-(structure: #export interval
+(implementation: #export interval
(Interval Rev)
(def: &enum ..enum)
@@ -215,7 +215,7 @@
(def: bottom (.rev 0)))
(template [<name> <compose> <identity>]
- [(structure: #export <name>
+ [(implementation: #export <name>
(Monoid Rev)
(def: identity (\ interval <identity>))
@@ -232,7 +232,7 @@
(template [<struct> <codec> <char_bit_size> <error>]
[(with_expansions [<error_output> (as_is (#try.Failure ("lux text concat" <error> repr)))]
- (structure: #export <struct>
+ (implementation: #export <struct>
(Codec Text Rev)
(def: (encode value)
@@ -408,7 +408,7 @@
(digits::-!' idx (digits::get idx param) output))
output)))
-(structure: #export decimal
+(implementation: #export decimal
(Codec Text Rev)
(def: (encode input)
diff --git a/stdlib/source/lux/math/random.lux b/stdlib/source/lux/math/random.lux
index 39fab5a29..9ed201d95 100644
--- a/stdlib/source/lux/math/random.lux
+++ b/stdlib/source/lux/math/random.lux
@@ -44,7 +44,7 @@
{#.doc "A producer of random values based on a PRNG."}
(-> PRNG [PRNG a]))
-(structure: #export functor
+(implementation: #export functor
(Functor Random)
(def: (map f fa)
@@ -52,7 +52,7 @@
(let [[state' a] (fa state)]
[state' (f a)]))))
-(structure: #export apply
+(implementation: #export apply
(Apply Random)
(def: &functor ..functor)
@@ -63,7 +63,7 @@
[state'' a] (fa state')]
[state'' (f a)]))))
-(structure: #export monad
+(implementation: #export monad
(Monad Random)
(def: &functor ..functor)
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-22 04:05:19 +0000