Newest at the top
2025-09-29 05:12:18 +0200 | newsham | (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) (Quit: Client closed) |
2025-09-29 05:11:56 +0200 | <Leary> | newsham: I suggest `instance (Applicative f, Lerpable a) => Lerpable (Ap f a) where { ... }`; `data Image a = ... deriving Lerpable via Ap Image`. |
2025-09-29 05:11:53 +0200 | <geekosaur> | *but |
2025-09-29 05:11:52 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-09-29 05:11:48 +0200 | <geekosaur> | btu beware of overlaps |
2025-09-29 05:11:39 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-29 05:11:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-09-29 05:11:10 +0200 | <geekosaur> | looks like it's just telling you wnat I already told you: Haskell98/2010 doesn't allow that, FlexibleInstances does |
2025-09-29 05:10:19 +0200 | <newsham> | so template or just copy and paste a lot? |
2025-09-29 05:09:27 +0200 | <newsham> | https://paste-bin.xyz/8204813 |
2025-09-29 05:09:12 +0200 | <geekosaur> | FlexibleInstances might allow it, but I'm not sure a type-level application works there. and if it did it would overlap pretty much any other instances (context is not used when matching instances) |
2025-09-29 05:08:54 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-09-29 05:08:54 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-09-29 05:08:54 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-09-29 05:05:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 05:05:33 +0200 | <newsham> | ie. I have an `instance Lerpable a => Lerpable (Image a) where { scale s img = scale s <$> img; add = liftA2 add }` whose implementation is generic to applicatives, but I cant seem to figure out how to write the generalization |
2025-09-29 05:04:23 +0200 | <newsham> | hi. why doesnt this work? `instance (Applicative a, Lerpable b) => Lerpable (a b) where`. do i have the wrong incantation? |
2025-09-29 05:04:04 +0200 | newsham | (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) |
2025-09-29 05:00:43 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
2025-09-29 05:00:43 +0200 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-29 04:56:06 +0200 | Googulator12 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-29 04:56:05 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-29 04:55:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-29 04:51:05 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
2025-09-29 04:50:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 04:50:12 +0200 | td_ | (~td@i5387093F.versanet.de) |
2025-09-29 04:48:28 +0200 | td_ | (~td@i5387092C.versanet.de) (Ping timeout: 244 seconds) |
2025-09-29 04:38:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-29 04:32:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 04:24:58 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 248 seconds) |
2025-09-29 04:23:27 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2025-09-29 04:21:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-29 04:16:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 04:16:11 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-29 04:16:06 +0200 | Googulator12 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-29 04:06:50 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-29 04:06:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-09-29 04:04:32 +0200 | trickard_ | trickard |
2025-09-29 04:00:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 03:59:30 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-29 03:51:06 +0200 | mange | (~mange@user/mange) mange |
2025-09-29 03:49:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-09-29 03:44:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 03:41:49 +0200 | comonad | (~comonad@p200300d02711d0004b6eb519787385cb.dip0.t-ipconnect.de) |
2025-09-29 03:40:06 +0200 | comonad | (~comonad@p200300d02709a80002b1d060aa1cc9d9.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2025-09-29 03:34:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
2025-09-29 03:33:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-29 03:32:25 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-09-29 03:29:14 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-09-29 03:27:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |