diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/math/logic/continuous.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/math/logic/fuzzy.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/math/modular.lux | 8 | ||||
-rw-r--r-- | stdlib/source/lux/math/number/complex.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/math/number/frac.lux | 12 | ||||
-rw-r--r-- | stdlib/source/lux/math/number/i64.lux | 10 | ||||
-rw-r--r-- | stdlib/source/lux/math/number/int.lux | 14 | ||||
-rw-r--r-- | stdlib/source/lux/math/number/nat.lux | 16 | ||||
-rw-r--r-- | stdlib/source/lux/math/number/ratio.lux | 8 | ||||
-rw-r--r-- | stdlib/source/lux/math/number/rev.lux | 16 | ||||
-rw-r--r-- | stdlib/source/lux/math/random.lux | 6 |
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) |