Newest at the top
| 2025-09-26 06:15:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 06:04:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 05:59:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:57:20 +0200 | aforemny | (~aforemny@2001:9e8:6ce2:cc00:f470:f628:9e0c:882f) (Ping timeout: 244 seconds) |
| 2025-09-26 05:56:37 +0200 | aforemny_ | (~aforemny@i577B1314.versanet.de) aforemny |
| 2025-09-26 05:48:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 05:43:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:41:49 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 05:38:26 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-26 05:36:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 05:32:42 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-09-26 05:31:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:30:25 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 2025-09-26 05:29:57 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-26 05:25:34 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 05:25:34 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 05:25:34 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 05:24:28 +0200 | Jackneill | (~Jackneill@91-83-15-174.pool.digikabel.hu) |
| 2025-09-26 05:24:10 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-26 05:22:46 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 05:22:30 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 05:21:18 +0200 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-09-26 05:21:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 05:17:29 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-09-26 05:15:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:14:06 +0200 | a_fantom | (~fantom@90.244.165.186) (Quit: Connection error?!) |
| 2025-09-26 05:10:43 +0200 | sroso | (~sroso@user/SrOso) SrOso |
| 2025-09-26 05:05:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 05:00:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 04:55:21 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-09-26 04:51:49 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-26 04:49:43 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-09-26 04:44:43 +0200 | <Leary> | It can still be a fine one-liner: `_singular = prism pure \case{ [x] -> Right x; xs -> Left xs }` |
| 2025-09-26 04:38:09 +0200 | <dcpagan> | Would have been nice to generically compose my prism with _Cons and _Empty; I thought I was clever with that one-liner. |
| 2025-09-26 04:36:50 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-26 04:35:06 +0200 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-09-26 04:32:50 +0200 | <dibblego> | you can review [Review, Prism, Iso, Equality] |
| 2025-09-26 04:32:22 +0200 | <dibblego> | i.e. Traversal is not Review |
| 2025-09-26 04:32:02 +0200 | <dibblego> | no, you cannot review a traversal, which can be seen in this diagram: https://hackage.haskell.org/package/lens |
| 2025-09-26 04:30:49 +0200 | <dibblego> | ok yes that works on the head of a single-element list |
| 2025-09-26 04:29:18 +0200 | <dcpagan> | So I can't review Traversals? |
| 2025-09-26 04:28:54 +0200 | <dcpagan> | h:t -> if null t then Right h else Left (h:t) |
| 2025-09-26 04:28:52 +0200 | <dcpagan> | [] -> Left [] |
| 2025-09-26 04:28:50 +0200 | <dcpagan> | _singular = prism (:[]) $ \case |
| 2025-09-26 04:28:48 +0200 | <dcpagan> | _singular :: Prism' [a] a |
| 2025-09-26 04:28:46 +0200 | <dcpagan> | This works: |
| 2025-09-26 04:26:27 +0200 | <dibblego> | you could use preview, but it will always return Nothing, by single element do you mean the head of the list? You cannot have that Prism, but you can have the Traversal |
| 2025-09-26 04:24:04 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-09-26 04:23:48 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-09-26 04:22:49 +0200 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |