2025/11/06

Newest at the top

2025-11-06 18:41:32 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
2025-11-06 18:40:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-06 18:29:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-06 18:29:06 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-11-06 18:24:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-06 18:24:01 +0100Square2(~Square4@user/square) (Ping timeout: 246 seconds)
2025-11-06 18:20:55 +0100Square3(~Square@user/square) Square
2025-11-06 18:15:37 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-06 18:15:22 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-11-06 18:13:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-06 18:08:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
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 +0100chele(~chele@user/chele) (Remote host closed the connection)
2025-11-06 17:52:24 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-06 17:52:02 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-11-06 17:43:54 +0100tromp(~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37)
2025-11-06 17:30:13 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-06 17:27:40 +0100Lord_of_Life_Lord_of_Life
2025-11-06 17:27:37 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2025-11-06 17:26:18 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-11-06 17:25:40 +0100tromp(~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-06 17:15:41 +0100Googulator99(~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-11-06 17:15:35 +0100Googulator(~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-11-06 17:11:26 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-11-06 17:08:47 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds)
2025-11-06 17:06:19 +0100tromp(~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37)
2025-11-06 17:04:33 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-06 17:04:08 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Remote host closed the connection)
2025-11-06 17:03:26 +0100ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-11-06 16:58:39 +0100akegalj(~akegalj@78-1-215-14.adsl.net.t-com.hr) (Ping timeout: 250 seconds)
2025-11-06 16:54:16 +0100mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2025-11-06 16:43:58 +0100tromp(~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-06 16:41:49 +0100turlando_(~turlando@user/turlando) turlando
2025-11-06 16:41:46 +0100turlando(~turlando@user/turlando) (Ping timeout: 256 seconds)
2025-11-06 16:34:37 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-06 16:33:39 +0100Lycurgus(~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 +0100Nachtgespenst(~user@user/siracusa) (Quit: Bye!)
2025-11-06 16:23:58 +0100trickard_trickard
2025-11-06 16:18:23 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-06 16:16:54 +0100Googulator39Googulator
2025-11-06 16:14:00 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds)
2025-11-06 16:05:03 +0100matsurago(~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving)