diff options
Diffstat (limited to 'stdlib/source/library/lux/world/db')
-rw-r--r-- | stdlib/source/library/lux/world/db/jdbc.lux | 8 | ||||
-rw-r--r-- | stdlib/source/library/lux/world/db/jdbc/input.lux | 2 | ||||
-rw-r--r-- | stdlib/source/library/lux/world/db/jdbc/output.lux | 2 | ||||
-rw-r--r-- | stdlib/source/library/lux/world/db/sql.lux | 10 |
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. |