aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/world/db/jdbc/input.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-06-16 00:48:19 -0400
committerEduardo Julian2022-06-16 00:48:19 -0400
commit9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch)
tree115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/library/lux/world/db/jdbc/input.lux
parentf92c806ee8da63f04bbefbf558f6249bacdb47ea (diff)
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/library/lux/world/db/jdbc/input.lux')
-rw-r--r--stdlib/source/library/lux/world/db/jdbc/input.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/world/db/jdbc/input.lux b/stdlib/source/library/lux/world/db/jdbc/input.lux
index 7a8c47899..c0e48dec4 100644
--- a/stdlib/source/library/lux/world/db/jdbc/input.lux
+++ b/stdlib/source/library/lux/world/db/jdbc/input.lux
@@ -47,32 +47,32 @@
(-> a [Nat java/sql/PreparedStatement]
(Try [Nat java/sql/PreparedStatement])))
-(def: .public contravariant
+(def .public contravariant
(Contravariant Input)
(implementation
- (def: (each f fb)
+ (def (each f fb)
(function (fa value circumstance)
(fb (f value) circumstance)))))
-(def: .public (and pre post)
+(def .public (and pre post)
(All (_ l r) (-> (Input l) (Input r) (Input [l r])))
(function (_ [left right] context)
(do try.monad
[context (pre left context)]
(post right context))))
-(def: .public (fail error)
+(def .public (fail error)
(All (_ a) (-> Text (Input a)))
(function (_ value [idx context])
{try.#Failure error}))
-(def: .public empty
+(def .public empty
(Input Any)
(function (_ value context)
{try.#Success context}))
(with_template [<function> <type> <setter>]
- [(def: .public <function>
+ [(def .public <function>
(Input <type>)
(function (_ value [idx statement])
(do try.monad
@@ -94,7 +94,7 @@
)
(with_template [<function> <setter> <constructor>]
- [(def: .public <function>
+ [(def .public <function>
(Input Instant)
(function (_ value [idx statement])
(do try.monad