diff options
| author | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
| commit | 36303d6cb2ce3ab9e36d045b9516c997bd461862 (patch) | |
| tree | b9d2f1495143054d61d9af129f36833624db9dac /stdlib/source/library/lux/world/db/jdbc/input.lux | |
| parent | ec1f31b5a1492d5e0ab260397291d4449483bbd9 (diff) | |
Outsourced the syntax for labelled type definitions to macros.
Diffstat (limited to 'stdlib/source/library/lux/world/db/jdbc/input.lux')
| -rw-r--r-- | stdlib/source/library/lux/world/db/jdbc/input.lux | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/world/db/jdbc/input.lux b/stdlib/source/library/lux/world/db/jdbc/input.lux index 4a2f43507..e9035aded 100644 --- a/stdlib/source/library/lux/world/db/jdbc/input.lux +++ b/stdlib/source/library/lux/world/db/jdbc/input.lux @@ -47,8 +47,10 @@ (-> a [Nat java/sql/PreparedStatement] (Try [Nat java/sql/PreparedStatement]))) -(implementation: .public contravariant (Contravariant Input) - (def: (map-1 f fb) +(implementation: .public contravariant + (Contravariant Input) + + (def: (each f fb) (function (fa value circumstance) (fb (f value) circumstance)))) |