Newest at the top
| 2025-06-12 12:16:51 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-06-12 12:07:03 +0200 | califax | (~califax@user/califx) califx |
| 2025-06-12 12:06:46 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-06-12 12:06:18 +0200 | Digitteknohippie | Digit |
| 2025-06-12 12:04:32 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-12 12:01:11 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 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) |