Newest at the top
2025-10-23 16:48:07 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-10-23 16:46:41 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-23 16:46:31 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
2025-10-23 16:42:16 +0200 | deptype | (~deptype@2406:b400:d4:c314:37d2:1fe8:9590:1374) (Ping timeout: 256 seconds) |
2025-10-23 16:40:28 +0200 | deptype_ | (~deptype@124.123.188.12) |
2025-10-23 16:34:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-23 16:33:36 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-10-23 16:33:19 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
2025-10-23 16:24:45 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
2025-10-23 16:23:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-10-23 16:22:25 +0200 | trickard_ | trickard |
2025-10-23 16:19:28 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
2025-10-23 16:14:04 +0200 | <kuribas> | bwe: it is likely to be inefficient, unless the instance get inlined. |
2025-10-23 16:13:15 +0200 | <bwe> | kuribas: I felt bad at just using unpack to get it to String. |
2025-10-23 16:12:54 +0200 | <bwe> | Leary: That's what I was looking for. Thanks. |
2025-10-23 16:11:38 +0200 | <Leary> | bwe: If you want to use the `Read` typeclass, you can only `unpack` to `String`. If it's just for a number, there are some `Reader`s in `Data.Text.Reader`. |
2025-10-23 16:10:34 +0200 | <kuribas> | Or specific parser for Text |
2025-10-23 16:10:23 +0200 | <kuribas> | readMaybe . unpack? |
2025-10-23 16:06:03 +0200 | <bwe> | what's the equivalent for Text as input? `readMaybe :: Read a => String -> Maybe a` |
2025-10-23 16:04:00 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2025-10-23 16:01:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
2025-10-23 15:50:03 +0200 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
2025-10-23 15:48:03 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
2025-10-23 15:47:46 +0200 | deptype | (~deptype@2406:b400:d4:c314:37d2:1fe8:9590:1374) |
2025-10-23 15:47:29 +0200 | deptype | (~deptype@2406:b400:d4:c314:8332:aeaf:6094:c234) (Remote host closed the connection) |
2025-10-23 15:45:48 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
2025-10-23 15:45:47 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-23 15:45:33 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
2025-10-23 15:40:14 +0200 | kubrat | (~kubrat@149.62.205.188) kubrat |
2025-10-23 15:38:56 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-10-23 15:33:23 +0200 | malte | (~malte@mal.tc) malte |
2025-10-23 15:32:40 +0200 | malte | (~malte@mal.tc) (Ping timeout: 246 seconds) |
2025-10-23 15:27:59 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-23 15:26:13 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
2025-10-23 15:25:46 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-10-23 15:24:03 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-10-23 15:23:28 +0200 | qqe | (~qqq@185.54.23.200) |
2025-10-23 15:22:16 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
2025-10-23 15:20:40 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-23 15:20:40 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
2025-10-23 15:16:42 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
2025-10-23 15:15:03 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
2025-10-23 15:14:49 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-23 15:10:58 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-23 15:08:25 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 264 seconds) |
2025-10-23 15:08:08 +0200 | <tomsmeding> | yes |
2025-10-23 15:08:04 +0200 | <kuribas> | singletons are a good sign you want dependent types :) |
2025-10-23 15:07:23 +0200 | <tomsmeding> | (or at least, I assume it's the same thing) |
2025-10-23 15:07:22 +0200 | petrichor | (~jez@user/petrichor) (Ping timeout: 260 seconds) |
2025-10-23 15:07:16 +0200 | <tomsmeding> | but with singletons |