Re-named "lux/control/security/taint" to "lux/control/security/integrity".

9 files changed, 35 insertions, 35 deletions

diff --git a/stdlib/source/lux/control/security/taint.lux b/stdlib/source/lux/control/security/integrity.lux
index b78351b38..b78351b38 100644
--- a/stdlib/source/lux/control/security/taint.lux
+++ b/stdlib/source/lux/control/security/integrity.lux
diff --git a/stdlib/source/lux/world/console.lux b/stdlib/source/lux/world/console.lux
index 5c0aff910..b02f0f69d 100644
--- a/stdlib/source/lux/world/console.lux
+++ b/stdlib/source/lux/world/console.lux
@@ -6,7 +6,7 @@
     [concurrency
      ["." promise (#+ Promise)]]
     [security
-     ["." taint (#+ Dirty taint)]
+     ["." integrity (#+ Dirty)]
      [capability (#+ Capability)]]]
    [data
     ["." error (#+ Error)]
@@ -87,12 +87,12 @@
                               (def: (read _)
                                 (|> jvm-input
                                     InputStream::read
-                                    (:: io.Functor<Process> map (|>> .nat taint))))
+                                    (:: io.Functor<Process> map (|>> .nat integrity.taint))))
                               
                               (def: (read-line _)
                                 (|> jvm-console
                                     java/io/Console::readLine
-                                    (:: io.Functor<Process> map taint)))
+                                    (:: io.Functor<Process> map integrity.taint)))
                               
                               (def: (write message)
                                 (PrintStream::print message jvm-output))
diff --git a/stdlib/source/lux/world/environment.jvm.lux b/stdlib/source/lux/world/environment.jvm.lux
index 57ffcd465..1a373ba8c 100644
--- a/stdlib/source/lux/world/environment.jvm.lux
+++ b/stdlib/source/lux/world/environment.jvm.lux
@@ -2,7 +2,7 @@
   [lux #*
    [control
     [security
-     ["." taint (#+ Dirty taint)]]]
+     ["." integrity (#+ Dirty)]]]
    [data
     ["." text]
     [format
@@ -53,4 +53,4 @@
           Set::iterator
           (consume-iterator entry-to-kv)
           (dictionary.from-list text.Hash<Text>)
-          taint)))
+          integrity.taint)))
diff --git a/stdlib/source/lux/world/file.lux b/stdlib/source/lux/world/file.lux
index f0269e52c..4793f2fa2 100644
--- a/stdlib/source/lux/world/file.lux
+++ b/stdlib/source/lux/world/file.lux
@@ -6,7 +6,7 @@
     [concurrency
      ["." promise (#+ Promise)]]
     [security
-     ["." taint (#+ Dirty taint)]
+     ["." integrity (#+ Dirty)]
      ["." capability (#+ Capability)]]]
    [data
     ["." maybe]
@@ -246,7 +246,7 @@
                         bytes-read (InputStream::read data stream)
                         _ (AutoCloseable::close stream)]
                        (if (i/= size bytes-read)
-                         (wrap (taint data))
+                         (wrap (integrity.taint data))
                          (io.io (ex.throw cannot-read-all-data path)))))
 
                    (def: (size _)
diff --git a/stdlib/source/lux/world/net/http.lux b/stdlib/source/lux/world/net/http.lux
index 7fcdb5244..d063d75ac 100644
--- a/stdlib/source/lux/world/net/http.lux
+++ b/stdlib/source/lux/world/net/http.lux
@@ -5,7 +5,7 @@
      [promise (#+ Promise)]
      [frp (#+ Channel)]]
     [security
-     [taint (#+ Dirty)]]]
+     [integrity (#+ Dirty)]]]
    [data
     [format
      [context (#+ Context)]]]
diff --git a/stdlib/source/lux/world/net/http/request.lux b/stdlib/source/lux/world/net/http/request.lux
index 9db7e6973..03c78fca8 100644
--- a/stdlib/source/lux/world/net/http/request.lux
+++ b/stdlib/source/lux/world/net/http/request.lux
@@ -7,7 +7,7 @@
      ["." promise (#+ Promise)]
      ["." frp]]
     [security
-     ["." taint (#+ Dirty)]]]
+     ["." integrity (#+ Dirty)]]]
    [data
     ["." maybe]
     ["." error (#+ Error)]
@@ -54,14 +54,14 @@
 (def: #export (json server)
   (-> (-> (Dirty JSON) Server) Server)
   (function (_ request)
-    (let [[identification protocol resource message] (taint.trust request)]
+    (let [[identification protocol resource message] (integrity.trust request)]
       (do promise.Monad<Promise>
         [?raw (read-text-body (get@ #//.body message))]
         (case (do error.Monad<Error>
                 [raw ?raw]
                 (:: json.Codec<Text,JSON> decode raw))
           (#error.Success content)
-          (server (taint.taint content) request)
+          (server (integrity.taint content) request)
           
           (#error.Failure error)
           (promise.resolved ..failure))))))
@@ -69,12 +69,12 @@
 (def: #export (text server)
   (-> (-> (Dirty Text) Server) Server)
   (function (_ request)
-    (let [[identification protocol resource message] (taint.trust request)]
+    (let [[identification protocol resource message] (integrity.trust request)]
       (do promise.Monad<Promise>
         [?raw (read-text-body (get@ #//.body message))]
         (case ?raw
           (#error.Success content)
-          (server (taint.taint content) request)
+          (server (integrity.taint content) request)
           
           (#error.Failure error)
           (promise.resolved ..failure))))))
@@ -82,7 +82,7 @@
 (def: #export (query property server)
   (All [a] (-> (Property a) (-> (Dirty a) Server) Server))
   (function (_ request)
-    (let [[identification protocol resource message] (taint.trust request)
+    (let [[identification protocol resource message] (integrity.trust request)
           full (get@ #//.uri resource)
           [uri query] (|> full
                           (text.split-with "?")
@@ -90,10 +90,10 @@
       (case (do error.Monad<Error>
               [query (//query.parameters query)
                input (context.run query property)]
-              (wrap [(taint.taint [identification protocol (set@ #//.uri uri resource) message])
+              (wrap [(integrity.taint [identification protocol (set@ #//.uri uri resource) message])
                      input]))
         (#error.Success [request input])
-        (server (taint.taint input) request)
+        (server (integrity.taint input) request)
         
         (#error.Failure error)
         (promise.resolved ..failure)))))
@@ -101,7 +101,7 @@
 (def: #export (form property server)
   (All [a] (-> (Property a) (-> (Dirty a) Server) Server))
   (function (_ request)
-    (let [[identification protocol resource message] (taint.trust request)]
+    (let [[identification protocol resource message] (integrity.trust request)]
       (do promise.Monad<Promise>
         [?body (read-text-body (get@ #//.body message))]
         (case (do error.Monad<Error>
@@ -109,7 +109,7 @@
                  form (//query.parameters body)]
                 (context.run form property))
           (#error.Success input)
-          (server (taint.taint input) request)
+          (server (integrity.taint input) request)
           
           (#error.Failure error)
           (promise.resolved ..failure))))))
@@ -117,7 +117,7 @@
 (def: #export (cookies property server)
   (All [a] (-> (Property a) (-> (Dirty a) Server) Server))
   (function (_ request)
-    (let [[identification protocol resource message] (taint.trust request)]
+    (let [[identification protocol resource message] (integrity.trust request)]
       (case (do error.Monad<Error>
               [cookies (|> (get@ #//.headers message)
                            (dictionary.get "Cookie")
@@ -125,7 +125,7 @@
                            //cookie.get)]
               (context.run cookies property))
         (#error.Success input)
-        (server (taint.taint input) request)
+        (server (integrity.taint input) request)
         
         (#error.Failure error)
         (promise.resolved ..failure)))))
diff --git a/stdlib/source/lux/world/net/http/route.lux b/stdlib/source/lux/world/net/http/route.lux
index e430b9739..1825b2795 100644
--- a/stdlib/source/lux/world/net/http/route.lux
+++ b/stdlib/source/lux/world/net/http/route.lux
@@ -5,7 +5,7 @@
     [concurrency
      ["." promise]]
     [security
-     ["." taint]]]
+     ["." integrity]]]
    [data
     ["." maybe]
     ["." text ("text/." Equivalence<Text>)]]]
@@ -17,7 +17,7 @@
   [(def: #export (<name> server)
      (-> Server Server)
      (function (_ request)
-       (let [[identification protocol resource message] (taint.trust request)]
+       (let [[identification protocol resource message] (integrity.trust request)]
          (case (get@ #//.scheme protocol)
            <scheme>
            (server request)
@@ -33,7 +33,7 @@
   [(def: #export (<name> server)
      (-> Server Server)
      (function (_ request)
-       (let [[identification protocol resource message] (taint.trust request)]
+       (let [[identification protocol resource message] (integrity.trust request)]
          (case (get@ #//.method resource)
            <method>
            (server request)
@@ -55,7 +55,7 @@
 (def: #export (uri path server)
   (-> URI Server Server)
   (function (_ request)
-    (let [[identification protocol resource message] (taint.trust request)]
+    (let [[identification protocol resource message] (integrity.trust request)]
       (if (text/= path (get@ #//.uri resource))
         (server request)
         (promise.resolved //response.not-found)))))
@@ -63,14 +63,14 @@
 (def: #export (sub path server)
   (-> URI Server Server)
   (function (_ request)
-    (let [[identification protocol resource message] (taint.trust request)]
+    (let [[identification protocol resource message] (integrity.trust request)]
       (if (text.starts-with? path (get@ #//.uri resource))
-        (server (taint.taint [identification
-                              protocol
-                              (update@ #//.uri
-                                       (|>> (text.clip' (text.size path)) maybe.assume)
-                                       resource)
-                              message]))
+        (server (integrity.taint [identification
+                                  protocol
+                                  (update@ #//.uri
+                                           (|>> (text.clip' (text.size path)) maybe.assume)
+                                           resource)
+                                  message]))
         (promise.resolved //response.not-found)))))
 
 (def: #export (or primary alternative)
diff --git a/stdlib/source/lux/world/net/tcp.jvm.lux b/stdlib/source/lux/world/net/tcp.jvm.lux
index cd8543f3a..de1d9ffef 100644
--- a/stdlib/source/lux/world/net/tcp.jvm.lux
+++ b/stdlib/source/lux/world/net/tcp.jvm.lux
@@ -7,7 +7,7 @@
      [task (#+ Task)]
      ["." frp]]
     [security
-     ["." taint (#+ Dirty taint)]]]
+     ["." integrity (#+ Dirty)]]]
    [data
     ["." error (#+ Error)]]
    [world
@@ -73,7 +73,7 @@
                                              [#let [data (binary.create size)]
                                               bytes-read (InputStream::read data +0 (.int size) input)]
                                              (wrap [(.nat bytes-read)
-                                                    (taint data)])))
+                                                    (integrity.taint data)])))
                                          
                                          (def: (write data)
                                            (do io.Monad<Process>
diff --git a/stdlib/source/lux/world/net/udp.jvm.lux b/stdlib/source/lux/world/net/udp.jvm.lux
index 3e9015b56..c474c5c79 100644
--- a/stdlib/source/lux/world/net/udp.jvm.lux
+++ b/stdlib/source/lux/world/net/udp.jvm.lux
@@ -7,7 +7,7 @@
      ["." promise (#+ Promise)]
      [task (#+ Task)]]
     [security
-     ["." taint (#+ Dirty taint)]]]
+     ["." integrity (#+ Dirty)]]]
    [data
     ["." error (#+ Error)]
     ["." maybe]
@@ -94,7 +94,7 @@
                                     (wrap [bytes-read
                                            {#//.address (|> packet DatagramPacket::getAddress InetAddress::getHostAddress)
                                             #//.port (.nat (DatagramPacket::getPort packet))}
-                                           (taint data)]))))
+                                           (integrity.taint data)]))))
 
                               (def: (write [location data])
                                 (do io.Monad<Process>