diff options
Diffstat (limited to 'stdlib/source/library/lux/world/db/jdbc/input.lux')
-rw-r--r-- | stdlib/source/library/lux/world/db/jdbc/input.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/world/db/jdbc/input.lux b/stdlib/source/library/lux/world/db/jdbc/input.lux index 19272665f..7a8c47899 100644 --- a/stdlib/source/library/lux/world/db/jdbc/input.lux +++ b/stdlib/source/library/lux/world/db/jdbc/input.lux @@ -47,12 +47,12 @@ (-> a [Nat java/sql/PreparedStatement] (Try [Nat java/sql/PreparedStatement]))) -(implementation: .public contravariant +(def: .public contravariant (Contravariant Input) - - (def: (each f fb) - (function (fa value circumstance) - (fb (f value) circumstance)))) + (implementation + (def: (each f fb) + (function (fa value circumstance) + (fb (f value) circumstance))))) (def: .public (and pre post) (All (_ l r) (-> (Input l) (Input r) (Input [l r]))) |