Newest at the top
2025-06-12 11:52:48 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-12 11:52:35 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-12 11:36:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6467:8157:f7e9:c425) |
2025-06-12 11:31:04 +0200 | kuribas | (~user@2a02:1808:ef:e744:9788:aa6f:3344:b1fa) kuribas |
2025-06-12 11:14:53 +0200 | Everything | (~Everythin@77.120.244.38) (Quit: leaving) |
2025-06-12 11:10:40 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6467:8157:f7e9:c425) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-12 10:56:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-06-12 10:55:49 +0200 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
2025-06-12 10:55:08 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2025-06-12 10:46:56 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-12 10:46:43 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-12 10:43:17 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-06-12 10:42:40 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-06-12 10:38:16 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-06-12 10:38:08 +0200 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
2025-06-12 10:37:40 +0200 | Everything | (~Everythin@77.120.244.38) Everything |
2025-06-12 10:37:32 +0200 | prdak1 | prdak |
2025-06-12 10:37:32 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-06-12 10:37:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-06-12 10:35:58 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
2025-06-12 10:34:17 +0200 | michalz | (~michalz@185.246.207.203) |
2025-06-12 10:31:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-12 10:30:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-12 10:30:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-12 10:29:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-12 10:28:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-12 10:27:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-12 10:27:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-12 10:26:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-12 10:25:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-12 10:25:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-12 10:24:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-12 10:21:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-12 10:20:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-12 10:17:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-12 10:17:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-12 10:14:31 +0200 | <kqr> | Oh. I skimmed past that example because I improvised the solution to the problem it solves as p^.PersonAge >=. val (Just 18). Thanks for elaborating on your process. |
2025-06-12 10:13:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-12 10:13:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-12 10:10:29 +0200 | <tomsmeding> | (so I thought "if it's going to be a primitive, it ought to be easy to find in the docs", and so it was) |
2025-06-12 10:10:09 +0200 | <tomsmeding> | as a primitive) |
2025-06-12 10:10:07 +0200 | <tomsmeding> | (I have never done anything with esqueleto, and in fact not even looked at the esqueleto docs; however, from your question (and in particular that it isn't a Functor) I deduced that SqlExpr is a deeply embedded language, and in such cases, if you need a 'Just' operation, you either need to be able to embed arbitrary functions in the deep EDSL -- which is unlikely here -- or it needs to be provided |
2025-06-12 10:09:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-12 10:09:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-12 10:07:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-12 10:07:35 +0200 | <tomsmeding> | it's mentioned in the guide at the top of the module too: https://hackage.haskell.org/package/esqueleto-3.6.0.0/docs/Database-Esqueleto.html#g:3 |
2025-06-12 10:07:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-12 10:06:48 +0200 | <kqr> | Yup, that's exactly it. Thanks! |
2025-06-12 10:06:41 +0200 | <tomsmeding> | kqr: https://hackage.haskell.org/package/esqueleto-3.6.0.0/docs/Database-Esqueleto.html#v:just ? |
2025-06-12 10:04:33 +0200 | <kqr> | Maybe Int, but a.albumid is an Int. Ordinarily, I would convert a.albumid to a Maybe Int by fmapping Just over it, but the SqlExpr Esqueleto type is not a real functor. What can I do? |