Newest at the top
2025-07-27 14:55:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-07-27 14:54:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-07-27 14:54:18 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-07-27 14:53:59 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
2025-07-27 14:52:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-27 14:47:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-27 14:41:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-27 14:41:16 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2025-07-27 14:34:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-27 14:24:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-27 14:24:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-07-27 14:19:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-27 14:19:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-27 14:17:33 +0200 | trickard_ | trickard |
2025-07-27 14:16:43 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
2025-07-27 14:16:29 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-27 14:08:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-27 14:06:10 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-07-27 14:06:04 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) (Ping timeout: 252 seconds) |
2025-07-27 14:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-27 14:00:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-07-27 13:55:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-27 13:53:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-07-27 13:53:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-27 13:52:27 +0200 | ljdarj | (~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 +0200 | axeman | (~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 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-27 13:48:15 +0200 | merijn | (~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 +0200 | trickard_ | (~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 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-27 13:42:23 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
2025-07-27 13:40:59 +0200 | axeman | (~quassel@2a02:908:5c3:ad80:6ba4:5ad2:a240:fa7e) axeman |
2025-07-27 13:37:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-27 13:37:36 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
2025-07-27 13:37:14 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
2025-07-27 13:35:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-07-27 13:32:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-27 13:29:07 +0200 | sprotte24 | (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) |
2025-07-27 13:26:58 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-07-27 13:21:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |