Newest at the top
| 2025-11-06 18:08:21 +0100 | <haskellbridge> | <loonycyborg> Does that pure value come out of some action? You could pattern match on it at the point where it originally arises |
| 2025-11-06 18:05:00 +0100 | <lyxia> | maybe mzero pure looks ok to me |
| 2025-11-06 17:55:58 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-06 17:52:24 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-06 17:52:02 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-06 17:43:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 17:30:13 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-06 17:27:40 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-11-06 17:27:37 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-11-06 17:26:18 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 17:25:40 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 17:15:41 +0100 | Googulator99 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 17:15:35 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 17:11:26 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-06 17:08:47 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-11-06 17:06:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 17:04:33 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 17:04:08 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-11-06 17:03:26 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-06 16:58:39 +0100 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2025-11-06 16:54:16 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-06 16:43:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 16:41:49 +0100 | turlando_ | (~turlando@user/turlando) turlando |
| 2025-11-06 16:41:46 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 256 seconds) |
| 2025-11-06 16:34:37 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 16:33:39 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-06 16:32:43 +0100 | <dutchie> | MaybeT? |
| 2025-11-06 16:32:35 +0100 | <dutchie> | `x <- maybe mzero pure $ _` doesn't feel a whole lot better... ExceptT? |
| 2025-11-06 16:32:17 +0100 | <dutchie> | I got an exception instead of mzero |
| 2025-11-06 16:32:10 +0100 | <dutchie> | does that trigger failure if it doesn't match? I tried something in ghci but maybe I messed it up |
| 2025-11-06 16:31:05 +0100 | <__monty__> | dutchie: Maybe you just want `let x = _`? |
| 2025-11-06 16:29:41 +0100 | <dutchie> | I'm sure I'm missing something obvious |
| 2025-11-06 16:29:30 +0100 | <dutchie> | what's a better way of doing pattern matching in a MonadFail do block than `Just x <- pure $ _` |
| 2025-11-06 16:26:29 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-06 16:23:58 +0100 | trickard_ | trickard |
| 2025-11-06 16:18:23 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-06 16:16:54 +0100 | Googulator39 | Googulator |
| 2025-11-06 16:14:00 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-06 16:05:03 +0100 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving) |
| 2025-11-06 16:01:01 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 16:00:32 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 16:00:26 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 15:58:04 +0100 | deployonfriday | (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) (Ping timeout: 244 seconds) |
| 2025-11-06 15:54:47 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 15:50:35 +0100 | trickard_ | trickard |
| 2025-11-06 15:50:03 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-06 15:50:00 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 15:49:47 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 15:45:48 +0100 | Googulator39 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:45:45 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |