aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/world/db
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/world/db')
-rw-r--r--stdlib/source/library/lux/world/db/jdbc.lux8
-rw-r--r--stdlib/source/library/lux/world/db/jdbc/input.lux2
-rw-r--r--stdlib/source/library/lux/world/db/jdbc/output.lux2
-rw-r--r--stdlib/source/library/lux/world/db/sql.lux10
4 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/library/lux/world/db/jdbc.lux b/stdlib/source/library/lux/world/db/jdbc.lux
index dca7d1581..1577e7104 100644
--- a/stdlib/source/library/lux/world/db/jdbc.lux
+++ b/stdlib/source/library/lux/world/db/jdbc.lux
@@ -50,16 +50,16 @@
(import java/sql/DriverManager
("static" getConnection [java/lang/String java/lang/String java/lang/String] "io" "try" java/sql/Connection))
-(type: .public Credentials
+(type .public Credentials
(Record
[#url URL
#user Text
#password Text]))
-(type: .public ID
+(type .public ID
Int)
-(type: .public (Statement input)
+(type .public (Statement input)
(Record
[#sql sql.Statement
#input (Input input)
@@ -79,7 +79,7 @@
(capability: .public (Can_Close !)
(can_close Any (! (Try Any))))
-(type: .public (DB !)
+(type .public (DB !)
(Interface
(is (Can_Execute !)
execute)
diff --git a/stdlib/source/library/lux/world/db/jdbc/input.lux b/stdlib/source/library/lux/world/db/jdbc/input.lux
index d691dd330..47cc12b51 100644
--- a/stdlib/source/library/lux/world/db/jdbc/input.lux
+++ b/stdlib/source/library/lux/world/db/jdbc/input.lux
@@ -43,7 +43,7 @@
[setTimestamp java/sql/Timestamp]
))))
-(type: .public (Input a)
+(type .public (Input a)
(-> a [Nat java/sql/PreparedStatement]
(Try [Nat java/sql/PreparedStatement])))
diff --git a/stdlib/source/library/lux/world/db/jdbc/output.lux b/stdlib/source/library/lux/world/db/jdbc/output.lux
index 1cfd859e2..92f52b003 100644
--- a/stdlib/source/library/lux/world/db/jdbc/output.lux
+++ b/stdlib/source/library/lux/world/db/jdbc/output.lux
@@ -47,7 +47,7 @@
(next [] "try" boolean)
(close [] "io" "try" void)))
-(type: .public (Output a)
+(type .public (Output a)
(-> [Nat java/sql/ResultSet] (Try [Nat a])))
(def .public functor
diff --git a/stdlib/source/library/lux/world/db/sql.lux b/stdlib/source/library/lux/world/db/sql.lux
index 90b27d4e6..a41ccf85b 100644
--- a/stdlib/source/library/lux/world/db/sql.lux
+++ b/stdlib/source/library/lux/world/db/sql.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except Source Definition function and or not type int)
+ [lux (.except Source Definition function and or not int)
[control
[monad (.only do)]]
[data
@@ -57,7 +57,7 @@
[(Statement' kind)]
)
-(type: .public Alias
+(type .public Alias
Text)
(def .public no_alias Alias "")
@@ -67,7 +67,7 @@
... SQL
(with_template [<declaration> <kind>]
- [(type: .public <declaration>
+ [(type .public <declaration>
(SQL <kind>))]
[Literal (Value' Literal')]
@@ -97,8 +97,8 @@
[Statement (Statement' Any)]
)
- (def Base_Query (.type (Query No_Where No_Having No_Order No_Group No_Limit No_Offset)))
- (def Any_Query (.type (Query Any Any Any Any Any Any)))
+ (def Base_Query (.type_literal (Query No_Where No_Having No_Order No_Group No_Limit No_Offset)))
+ (def Any_Query (.type_literal (Query Any Any Any Any Any Any)))
... Only use this function for debugging purposes.
... Do not use this function to actually execute SQL code.