Logs: liberachat/#haskell
| 2025-11-06 13:52:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-06 13:55:36 | → | Googulator81 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 13:55:39 | × | Googulator75 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:00:38 | × | Googulator81 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:00:44 | → | Googulator61 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:09:01 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 2025-11-06 14:09:51 | × | pr1sm quits (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-11-06 14:14:44 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-06 14:15:39 | → | Googulator7 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:15:47 | × | Googulator61 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:17:54 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 14:18:09 | → | califax joins (~califax@user/califx) |
| 2025-11-06 14:19:44 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-06 14:20:40 | × | Googulator7 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:20:49 | → | Googulator7 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 14:23:42 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2025-11-06 14:28:43 | → | bggd joins (~bgg@2a01:e0a:819:1510:264f:fa71:ccb5:98ac) |
| 2025-11-06 14:34:30 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 14:34:44 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 14:36:35 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds) |
| 2025-11-06 14:40:35 | × | Googulator7 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:40:39 | → | Googulator91 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:45:45 | × | Googulator91 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:45:48 | → | Googulator39 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:49:47 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 14:50:00 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 14:50:03 | → | Square2 joins (~Square4@user/square) |
| 2025-11-06 14:50:35 | trickard_ | is now known as trickard |
| 2025-11-06 14:54:47 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 14:58:04 | × | deployonfriday quits (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) (Ping timeout: 244 seconds) |
| 2025-11-06 15:00:26 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 15:00:32 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 15:01:01 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-11-06 15:05:03 | × | matsurago quits (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving) |
| 2025-11-06 15:14:00 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-06 15:16:54 | Googulator39 | is now known as Googulator |
| 2025-11-06 15:18:23 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-11-06 15:23:58 | trickard_ | is now known as trickard |
| 2025-11-06 15:26:29 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-06 15:29:30 | <dutchie> | what's a better way of doing pattern matching in a MonadFail do block than `Just x <- pure $ _` |
| 2025-11-06 15:29:41 | <dutchie> | I'm sure I'm missing something obvious |
| 2025-11-06 15:31:05 | <__monty__> | dutchie: Maybe you just want `let x = _`? |
| 2025-11-06 15:32:10 | <dutchie> | does that trigger failure if it doesn't match? I tried something in ghci but maybe I messed it up |
| 2025-11-06 15:32:17 | <dutchie> | I got an exception instead of mzero |
| 2025-11-06 15:32:35 | <dutchie> | `x <- maybe mzero pure $ _` doesn't feel a whole lot better... ExceptT? |
| 2025-11-06 15:32:43 | <dutchie> | MaybeT? |
| 2025-11-06 15:33:39 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-06 15:34:37 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 15:41:46 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 256 seconds) |
| 2025-11-06 15:41:49 | → | turlando_ joins (~turlando@user/turlando) |
| 2025-11-06 15:43:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 15:54:16 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-06 15:58:39 | × | akegalj quits (~akegalj@78-1-215-14.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2025-11-06 16:03:26 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-11-06 16:04:08 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-11-06 16:04:33 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-06 16:06:19 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 16:08:47 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-11-06 16:11:26 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-06 16:15:35 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 16:15:41 | → | Googulator99 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 16:25:40 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 16:26:18 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-06 16:27:37 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-11-06 16:27:40 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-11-06 16:30:13 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-06 16:43:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 16:52:02 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-06 16:52:24 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-06 16:55:58 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-06 17:05:00 | <lyxia> | maybe mzero pure looks ok to me |
| 2025-11-06 17:08:21 | <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 17:08:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 17:13:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 17:15:22 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-06 17:15:37 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-06 17:20:55 | → | Square3 joins (~Square@user/square) |
| 2025-11-06 17:24:01 | × | Square2 quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-11-06 17:24:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 17:29:06 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-11-06 17:29:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 17:40:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 17:41:32 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2025-11-06 17:44:08 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2025-11-06 17:47:00 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-06 17:47:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 17:49:30 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 2025-11-06 17:50:40 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-06 17:52:20 | → | DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK) |
| 2025-11-06 17:58:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 17:59:02 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 18:01:54 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-06 18:02:14 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 2025-11-06 18:03:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 18:06:28 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 18:07:48 | → | sherbert joins (d006a0b946@2a03:6000:1812:100::155) |
| 2025-11-06 18:08:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 18:11:56 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-06 18:12:13 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 2025-11-06 18:13:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
All times are in UTC.