From b8e44ec6ee38d3f67b7e3c3989de51b03e7a1352 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 5 Jul 2018 00:34:35 -0400
Subject: - Re-named "equality" to "equivalence".

---
 stdlib/source/lux.lux | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

(limited to 'stdlib/source/lux.lux')

diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index d2d39783a..5a484598e 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -2206,7 +2206,7 @@
 
 (def:''' #export (n/= test subject)
          (list [(tag$ ["lux" "doc"])
-                (text$ "Nat(ural) equality.")])
+                (text$ "Nat(ural) equivalence.")])
          (-> Nat Nat Bool)
          ("lux i64 =" test subject))
 
@@ -2296,7 +2296,7 @@
 
 (def:''' #export (r/= test subject)
          (list [(tag$ ["lux" "doc"])
-                (text$ "Rev(olution) equality.")])
+                (text$ "Rev(olution) equivalence.")])
          (-> Rev Rev Bool)
          ("lux i64 =" test subject))
 
@@ -2368,10 +2368,10 @@
               (<eq-proc> subject test)))]
 
   [ Int "lux i64 =" "lux int <"   i/= i/< i/<= i/> i/>=
-   "Int(eger) equality." "Int(eger) less-than." "Int(eger) less-than-equal." "Int(eger) greater-than." "Int(eger) greater-than-equal."]
+   "Int(eger) equivalence." "Int(eger) less-than." "Int(eger) less-than-equal." "Int(eger) greater-than." "Int(eger) greater-than-equal."]
   
   [Frac "lux frac =" "lux frac <" f/= f/< f/<= f/> f/>=
-   "Frac(tion) equality." "Frac(tion) less-than." "Frac(tion) less-than-equal." "Frac(tion) greater-than." "Frac(tion) greater-than-equal."]
+   "Frac(tion) equivalence." "Frac(tion) less-than." "Frac(tion) less-than-equal." "Frac(tion) greater-than." "Frac(tion) greater-than-equal."]
   )
 
 (def:''' #export (n// param subject)
@@ -3492,7 +3492,7 @@
 (macro: #export (sig: tokens)
   {#.doc "## Definition of signatures ala ML.
           (sig: #export (Ord a)
-            (: (Eq a)
+            (: (Equivalence a)
                eq)
             (: (-> a a Bool)
                <)
@@ -3901,7 +3901,7 @@
 (macro: #export (struct: tokens)
   {#.doc "## Definition of structures ala ML.
           (struct: #export Ord<Int> (Ord Int)
-            (def: eq Eq<Int>)
+            (def: eq Equivalence<Int>)
             (def: (< test subject)
               (lux.< test subject))
             (def: (<= test subject)
@@ -4971,7 +4971,7 @@
                        (ident #open (\"ident/\" Codec<Text,Ident>)))
                  meta
                  (macro code))
-            (// (type #open (\"\" Eq<Type>))))
+            (// (type #open (\"\" Equivalence<Type>))))
 
           (.module: {#.doc \"Some documentation...\"}
             lux
@@ -4982,7 +4982,7 @@
                        [ident \"ident/\" Codec<Text,Ident>])
                  meta
                  (macro code))
-            (// [type \"\" Eq<Type>]))"}
+            (// [type \"\" Equivalence<Type>]))"}
   (do Monad<Meta>
     [#let [[_meta _imports] (: [(List [Code Code]) (List Code)]
                                (case tokens
@@ -5633,7 +5633,7 @@
                   [<tests> (do-template [<expr> <text> <pattern>]
                              [(compare <pattern> <expr>)
                               (compare <text> (:: Code/encode show <expr>))
-                              (compare true (:: Eq<Code> = <expr> <expr>))]
+                              (compare true (:: Equivalence<Code> = <expr> <expr>))]
 
                              [(bool true)                             "true"       [_ (#.Bool true)]]
                              [(bool false)                            "false"      [_ (#.Bool false)]]
@@ -5883,9 +5883,9 @@
   {#.doc (doc "Allows you to refer to the type-variables in a polymorphic function's type, by their index."
               "In the example below, +0 corresponds to the 'a' variable."
               (def: #export (from-list list)
-                (All [a] (-> (List a) (Sequence a)))
+                (All [a] (-> (List a) (Row a)))
                 (list/fold add
-                           (: (Sequence ($ +0))
+                           (: (Row ($ +0))
                               empty)
                            list)))}
   (case tokens
-- 
cgit v1.2.3