From dda05bca0956af5e5b3875c4cc36e61aa04772e4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Sep 2021 00:07:08 -0400
Subject: Made the "#" character great again!

---
 stdlib/source/library/lux/world/db/jdbc/output.lux | 62 +++++++++++-----------
 1 file changed, 31 insertions(+), 31 deletions(-)

(limited to 'stdlib/source/library/lux/world/db/jdbc/output.lux')

diff --git a/stdlib/source/library/lux/world/db/jdbc/output.lux b/stdlib/source/library/lux/world/db/jdbc/output.lux
index 3772ff0e1..0ec397faf 100644
--- a/stdlib/source/library/lux/world/db/jdbc/output.lux
+++ b/stdlib/source/library/lux/world/db/jdbc/output.lux
@@ -56,11 +56,11 @@
   (def: (each f fa)
     (function (_ idx+rs)
       (case (fa idx+rs)
-        {#try.Failure error}
-        {#try.Failure error}
+        {try.#Failure error}
+        {try.#Failure error}
         
-        {#try.Success [idx' value]}
-        {#try.Success [idx' (f value)]}))))
+        {try.#Success [idx' value]}
+        {try.#Success [idx' (f value)]}))))
 
 (implementation: .public apply
   (Apply Output)
@@ -70,16 +70,16 @@
   (def: (apply ff fa)
     (function (_ [idx rs])
       (case (ff [idx rs])
-        {#try.Success [idx' f]}
+        {try.#Success [idx' f]}
         (case (fa [idx' rs])
-          {#try.Success [idx'' a]}
-          {#try.Success [idx'' (f a)]}
+          {try.#Success [idx'' a]}
+          {try.#Success [idx'' (f a)]}
 
-          {#try.Failure msg}
-          {#try.Failure msg})
+          {try.#Failure msg}
+          {try.#Failure msg})
 
-        {#try.Failure msg}
-        {#try.Failure msg}))))
+        {try.#Failure msg}
+        {try.#Failure msg}))))
 
 (implementation: .public monad
   (Monad Output)
@@ -88,21 +88,21 @@
 
   (def: (in a)
     (function (_ [idx rs])
-      {#.Some [idx a]}))
+      {.#Some [idx a]}))
   
   (def: (conjoint mma)
     (function (_ [idx rs])
       (case (mma [idx rs])
-        {#try.Failure error}
-        {#try.Failure error}
+        {try.#Failure error}
+        {try.#Failure error}
         
-        {#try.Success [idx' ma]}
+        {try.#Success [idx' ma]}
         (ma [idx' rs])))))
 
 (def: .public (fail error)
   (All (_ a) (-> Text (Output a)))
   (function (_ [idx result_set])
-    {#try.Failure error}))
+    {try.#Failure error}))
 
 (def: .public (and left right)
   (All (_ a b)
@@ -117,11 +117,11 @@
      (Output <type>)
      (function (_ [idx result_set])
        (case (<method_name> [(.int idx)] result_set)
-         {#try.Failure error}
-         {#try.Failure error}
+         {try.#Failure error}
+         {try.#Failure error}
 
-         {#try.Success value}
-         {#try.Success [(++ idx) value]})))]
+         {try.#Success value}
+         {try.#Success [(++ idx) value]})))]
 
   [boolean java/sql/ResultSet::getBoolean Bit]
 
@@ -142,11 +142,11 @@
      (Output Instant)
      (function (_ [idx result_set])
        (case (<method_name> [(.int idx)] result_set)
-         {#try.Failure error}
-         {#try.Failure error}
+         {try.#Failure error}
+         {try.#Failure error}
 
-         {#try.Success value}
-         {#try.Success [(++ idx)
+         {try.#Success value}
+         {try.#Success [(++ idx)
                         (instant.from_millis (java/util/Date::getTime value))]})))]
 
   [date       java/sql/ResultSet::getDate]
@@ -157,24 +157,24 @@
 (def: .public (rows output results)
   (All (_ a) (-> (Output a) java/sql/ResultSet (IO (Try (List a)))))
   (case (java/sql/ResultSet::next results)
-    {#try.Success has_next?}
+    {try.#Success has_next?}
     (if has_next?
       (case (output [1 results])
-        {#.Some [_ head]}
+        {.#Some [_ head]}
         (do io.monad
           [?tail (rows output results)]
           (case ?tail
-            {#try.Success tail}
-            (in {#try.Success {#.Item head tail}})
+            {try.#Success tail}
+            (in {try.#Success {.#Item head tail}})
 
-            {#try.Failure error}
+            {try.#Failure error}
             (do io.monad
               [temp (java/sql/ResultSet::close results)]
               (in (do try.monad
                     [_ temp]
                     (try.failure error))))))
 
-        {#try.Failure error}
+        {try.#Failure error}
         (do io.monad
           [temp (java/sql/ResultSet::close results)]
           (in (do try.monad
@@ -186,7 +186,7 @@
               [_ temp]
               (in (list))))))
 
-    {#try.Failure error}
+    {try.#Failure error}
     (do io.monad
       [temp (java/sql/ResultSet::close results)]
       (in (do try.monad
-- 
cgit v1.2.3