diff options
author | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
commit | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch) | |
tree | 115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/library/lux/world/db/jdbc/input.lux | |
parent | f92c806ee8da63f04bbefbf558f6249bacdb47ea (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.lux | 14 |
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 |