Newest at the top
| 2024-11-15 14:36:19 +0100 | <probie> | So you're looking for something like `(some constraints here) => (a -> f (Maybe b)) -> t a -> f (t b)`? |
| 2024-11-15 14:33:30 +0100 | <lambdabot> | (a -> Maybe b) -> [a] -> [b] |
| 2024-11-15 14:33:29 +0100 | <probie> | :t mapMaybe |
| 2024-11-15 14:31:45 +0100 | <Rembane> | I've been searching Google, Hoogle and asked various dubious AIs and I can't find the answer to the question: Is there a lens version of mapMaybe? If so, what's the name of it? |
| 2024-11-15 14:30:06 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2024-11-15 14:24:06 +0100 | spew | (~spew@135.233.119.40) spew |
| 2024-11-15 14:23:17 +0100 | spew | (~spew@135.233.119.40) (Remote host closed the connection) |
| 2024-11-15 14:17:37 +0100 | sprotte24 | (~sprotte24@p200300d16f18fc006d951ae7e2c66873.dip0.t-ipconnect.de) |
| 2024-11-15 14:12:43 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-15 14:11:58 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-11-15 14:11:07 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2024-11-15 14:11:00 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-11-15 14:03:46 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-11-15 13:59:14 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-11-15 13:58:46 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-11-15 13:57:44 +0100 | Digitteknohippie | Digit |
| 2024-11-15 13:57:11 +0100 | mari-estel | (~mari-este@user/mari-estel) (Quit: on the move) |
| 2024-11-15 13:51:44 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) alexherbo2 |
| 2024-11-15 13:51:04 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-15 13:50:29 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-15 13:45:00 +0100 | Everything | (~Everythin@178-133-201-255.mobile.vf-ua.net) Everything |
| 2024-11-15 13:43:39 +0100 | housemate | (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!) |
| 2024-11-15 13:42:56 +0100 | sjkfkhkgj | (~fkdnjgh@188.162.174.19) |
| 2024-11-15 13:42:50 +0100 | Everything | (~Everythin@46.211.81.7) (Ping timeout: 252 seconds) |
| 2024-11-15 13:41:25 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-15 13:39:10 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 252 seconds) |
| 2024-11-15 13:27:53 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-15 13:27:42 +0100 | shapr | (~user@2601:19c:417e:5434:a5bf:c395:f22f:b8c) shapr |
| 2024-11-15 13:25:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-15 13:21:36 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8aed:2810:7554:8ad9) |
| 2024-11-15 13:20:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-15 13:18:32 +0100 | acidjnk | (~acidjnk@p200300d6e7283f96ed5529c7a5ccae70.dip0.t-ipconnect.de) acidjnk |
| 2024-11-15 12:56:31 +0100 | acidjnk | (~acidjnk@p200300d6e7283f969df7e06974b1c1d0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-11-15 12:49:11 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-15 12:47:15 +0100 | housemate | (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!) |
| 2024-11-15 12:38:23 +0100 | Everything | (~Everythin@46.211.81.7) Everything |
| 2024-11-15 12:37:15 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-15 12:37:04 +0100 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-15 12:30:54 +0100 | yisef | (~yisef@122.10.198.17) (Quit: Client closed) |
| 2024-11-15 12:29:00 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-15 12:13:12 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-15 12:12:59 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-11-15 11:58:16 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-11-15 11:56:06 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-15 11:46:06 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-11-15 11:41:12 +0100 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 252 seconds) |
| 2024-11-15 11:36:35 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-15 11:27:22 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) ubert |
| 2024-11-15 11:25:19 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 252 seconds) |
| 2024-11-15 11:14:44 +0100 | rdcdr | (~rdcdr@user/rdcdr) rdcdr |