Logs: liberachat/#haskell
| 2025-09-26 00:20:10 | × | Zer000 quits (~02@64.137.132.10) (Quit: Leaving) |
| 2025-09-26 00:25:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 00:29:01 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-09-26 00:30:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-26 00:33:37 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-09-26 00:39:58 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-26 00:41:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 00:42:07 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 00:44:25 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-09-26 00:46:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-26 00:53:53 | → | Square joins (~Square4@user/square) |
| 2025-09-26 00:57:01 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-09-26 00:57:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 01:01:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-26 01:08:06 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-26 01:12:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 01:14:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-26 01:19:39 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-26 01:19:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 01:20:15 | trickard_ | is now known as trickard |
| 2025-09-26 01:25:36 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-26 01:30:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 01:32:27 | × | haskellbridge quits (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-09-26 01:33:35 | → | haskellbridge joins (~hackager@syn-096-028-224-214.res.spectrum.com) |
| 2025-09-26 01:33:35 | ChanServ | sets mode +v haskellbridge |
| 2025-09-26 01:35:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 01:41:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-26 01:56:28 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-26 01:57:33 | → | qqe joins (~qqq@185.54.23.100) |
| 2025-09-26 01:59:23 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 01:59:23 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 01:59:23 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-26 02:02:31 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-26 02:03:40 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-26 02:13:15 | <dcpagan> | I want to define a prism that matches a list with a single element, and then get that element. |
| 2025-09-26 02:13:31 | <dcpagan> | _single :: (Cons s s a a, AsEmpty s) => Traversal' s a |
| 2025-09-26 02:13:33 | <dcpagan> | _single = _Cons . aside _Empty . _1 |
| 2025-09-26 02:13:56 | → | inline joins (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) |
| 2025-09-26 02:14:48 | <dcpagan> | It works on my code: It works on my code: https://github.com/DCPagan/Exercism-Haskell/blob/master/go-counting/src/Counting.hs#L57-L58 |
| 2025-09-26 02:14:57 | <dcpagan> | However, I cannot review on it. |
| 2025-09-26 02:15:22 | <dcpagan> | `_single # 1` does not work. |
| 2025-09-26 02:15:46 | <dcpagan> | How does review work with prisms? |
| 2025-09-26 02:16:39 | → | Square2 joins (~Square@user/square) |
| 2025-09-26 02:18:56 | → | annamalai joins (~annamalai@2409:4042:d8e:423e::9e8a:bb11) |
| 2025-09-26 02:19:23 | × | inline quits (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2025-09-26 02:19:41 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 02:19:42 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 02:19:42 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-26 02:21:01 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-09-26 02:21:12 | × | astroanax quits (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Ping timeout: 256 seconds) |
| 2025-09-26 02:22:49 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-09-26 02:23:48 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 2025-09-26 02:24:04 | → | jrm joins (~jrm@user/jrm) |
| 2025-09-26 02:26:27 | <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 02:28:46 | <dcpagan> | This works: |
| 2025-09-26 02:28:48 | <dcpagan> | _singular :: Prism' [a] a |
| 2025-09-26 02:28:50 | <dcpagan> | _singular = prism (:[]) $ \case |
| 2025-09-26 02:28:52 | <dcpagan> | [] -> Left [] |
| 2025-09-26 02:28:54 | <dcpagan> | h:t -> if null t then Right h else Left (h:t) |
| 2025-09-26 02:29:18 | <dcpagan> | So I can't review Traversals? |
| 2025-09-26 02:30:49 | <dibblego> | ok yes that works on the head of a single-element list |
| 2025-09-26 02:32:02 | <dibblego> | no, you cannot review a traversal, which can be seen in this diagram: https://hackage.haskell.org/package/lens |
| 2025-09-26 02:32:22 | <dibblego> | i.e. Traversal is not Review |
| 2025-09-26 02:32:50 | <dibblego> | you can review [Review, Prism, Iso, Equality] |
| 2025-09-26 02:35:06 | × | vanishing quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-09-26 02:36:50 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-09-26 02:38:09 | <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 02:44:43 | <Leary> | It can still be a fine one-liner: `_singular = prism pure \case{ [x] -> Right x; xs -> Left xs }` |
| 2025-09-26 02:49:43 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-09-26 02:51:49 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-09-26 02:55:21 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 2025-09-26 03:00:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 03:05:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 03:10:43 | → | sroso joins (~sroso@user/SrOso) |
| 2025-09-26 03:14:06 | × | a_fantom quits (~fantom@90.244.165.186) (Quit: Connection error?!) |
| 2025-09-26 03:15:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 03:17:29 | → | troydm joins (~troydm@user/troydm) |
| 2025-09-26 03:21:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 03:21:18 | → | werneta_ joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 2025-09-26 03:22:30 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 03:22:46 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 03:24:10 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-26 03:24:28 | → | Jackneill joins (~Jackneill@91-83-15-174.pool.digikabel.hu) |
| 2025-09-26 03:25:34 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 03:25:34 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 03:25:34 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-26 03:29:57 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-26 03:30:25 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 2025-09-26 03:31:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 03:32:42 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-09-26 03:36:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 03:38:26 | × | qqe quits (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-26 03:41:49 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-26 03:43:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 03:48:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 03:56:37 | → | aforemny_ joins (~aforemny@i577B1314.versanet.de) |
| 2025-09-26 03:57:20 | × | aforemny quits (~aforemny@2001:9e8:6ce2:cc00:f470:f628:9e0c:882f) (Ping timeout: 244 seconds) |
| 2025-09-26 03:59:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 04:04:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 04:15:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.