Newest at the top
| 2025-03-10 17:32:52 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-10 17:32:22 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-03-10 17:29:06 +0100 | greenOcean | (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) (Remote host closed the connection) |
| 2025-03-10 17:27:23 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-10 17:27:13 +0100 | polux5 | polux |
| 2025-03-10 17:27:12 +0100 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Ping timeout: 252 seconds) |
| 2025-03-10 17:26:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-10 17:24:42 +0100 | polux5 | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2025-03-10 17:24:29 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-03-10 17:21:41 +0100 | <euouae> | Hm... this article I think explains the issues <https://www.williamyaoh.com/posts/2023-06-10-monad-transformers-101.html> and the choices between transformers and mtl |
| 2025-03-10 17:21:36 +0100 | ljdarj1 | ljdarj |
| 2025-03-10 17:21:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-03-10 17:18:38 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-10 17:03:52 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-03-10 17:03:31 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-03-10 17:03:04 +0100 | zungi | (~tory@user/andrewchawk) (Remote host closed the connection) |
| 2025-03-10 17:01:24 +0100 | <euouae> | by using takeWhileP with a state monad I can optimize away the pack |
| 2025-03-10 17:01:00 +0100 | <euouae> | do I need a ParsecT State or a StateT Parsec? |
| 2025-03-10 17:00:48 +0100 | <euouae> | I'm trying instead to use takeWhileP, and I think I need to wrap the argument in a State monad, or the other way around, but I can't figure out which way I need to go |
| 2025-03-10 17:00:00 +0100 | <euouae> | what I currently have is `count 10 p`, which then requires to pack it. (p :: Parser Char) |
| 2025-03-10 16:59:25 +0100 | <euouae> | Hello I'm using megaparsec and I want to write a parser that applies another parser 10 times and collects the results in a Text |
| 2025-03-10 16:58:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-10 16:58:14 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-03-10 16:44:55 +0100 | greenOcean | (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) |
| 2025-03-10 16:42:19 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-03-10 16:41:13 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 245 seconds) |
| 2025-03-10 16:34:03 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-10 16:32:50 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-10 16:23:01 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 248 seconds) |
| 2025-03-10 16:22:51 +0100 | fp | (~Thunderbi@130.233.70.204) (Ping timeout: 252 seconds) |
| 2025-03-10 16:20:23 +0100 | superlink | (~kontsikou@adsl-192.79.107.136.tellas.gr) |
| 2025-03-10 16:18:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-10 16:15:36 +0100 | greenOcean | (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) (Remote host closed the connection) |
| 2025-03-10 16:13:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-10 16:09:36 +0100 | eL_Bart0 | (eL_Bart0@185.37.146.20) |
| 2025-03-10 16:06:20 +0100 | ljdarj1 | ljdarj |
| 2025-03-10 16:06:20 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-03-10 16:02:59 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-10 15:53:11 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-03-10 15:50:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-10 15:40:12 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-03-10 15:40:07 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 244 seconds) |
| 2025-03-10 15:39:22 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-03-10 15:34:41 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-03-10 15:34:13 +0100 | hattckory | (~hattckory@184.145.138.167) |
| 2025-03-10 15:30:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-10 15:26:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-10 15:26:36 +0100 | harveypwca | (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) HarveyPwca |
| 2025-03-10 15:25:01 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-10 15:24:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |