2025/07/27

Newest at the top

2025-07-27 14:55:03 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-27 14:54:30 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 14:54:18 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-27 14:53:59 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds)
2025-07-27 14:52:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 14:47:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 14:41:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 14:41:16 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-07-27 14:34:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 14:24:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 14:24:08 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-07-27 14:19:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 14:19:30 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 14:17:33 +0200trickard_trickard
2025-07-27 14:16:43 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 14:16:29 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 14:08:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 14:06:10 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-07-27 14:06:04 +0200ethereal_(~ethereal@user/ethereal-:30935) (Ping timeout: 252 seconds)
2025-07-27 14:04:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 14:00:17 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-07-27 13:55:09 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 13:53:36 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-07-27 13:53:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 13:52:27 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 13:51:17 +0200 <[exa]> Leary: thanks!
2025-07-27 13:51:09 +0200 <[exa]> oh stupid me, I was hoogling it with :: instead of =>.......
2025-07-27 13:50:19 +0200 <lambdabot> Diagrams.Prelude (??) :: Functor f => f (a -> b) -> a -> f b
2025-07-27 13:50:19 +0200 <lambdabot> Control.Lens.Operators (??) :: Functor f => f (a -> b) -> a -> f b
2025-07-27 13:50:19 +0200 <lambdabot> Control.Lens.Lens (??) :: Functor f => f (a -> b) -> a -> f b
2025-07-27 13:50:18 +0200 <Leary> @hoogle Functor f => f (a -> b) -> a -> f b
2025-07-27 13:49:56 +0200axeman(~quassel@2a02:908:5c3:ad80:6ba4:5ad2:a240:fa7e) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-07-27 13:48:42 +0200 <[exa]> but I have a lot of such mixed calls here and didn't find anything obvious so I thought I'd ask
2025-07-27 13:48:41 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 13:48:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 13:48:14 +0200 <[exa]> like, I'm nitpicking for sure
2025-07-27 13:47:51 +0200 <ethereal_> what? 0_0
2025-07-27 13:47:50 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 13:47:03 +0200 <[exa]> is there some convenient operator (or syntax idea or so) that could remove the "pure" from applicative calls like: f <$> arg1 <*> arg2 <*> pure pureArg3 <*> arg4
2025-07-27 13:45:38 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 13:42:23 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-27 13:40:59 +0200axeman(~quassel@2a02:908:5c3:ad80:6ba4:5ad2:a240:fa7e) axeman
2025-07-27 13:37:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 13:37:36 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 13:37:14 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-07-27 13:35:41 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-07-27 13:32:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 13:29:07 +0200sprotte24(~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de)
2025-07-27 13:26:58 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-07-27 13:21:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)