Newest at the top
| 2025-01-25 01:22:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:19:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 01:15:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 01:15:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 01:11:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-25 01:11:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 01:10:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 01:08:29 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-25 01:07:34 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) aspen |
| 2025-01-25 01:07:28 +0100 | <hellwolf> | that makes me want to rewrite some of my instances' TH to use quotation form... looks much nicer |
| 2025-01-25 01:07:23 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 01:06:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:02:27 +0100 | <hellwolf> | although the TH.instanceD uses a list, which looked easier. |
| 2025-01-25 01:02:03 +0100 | <hellwolf> | which kinda makes sense. |
| 2025-01-25 01:01:57 +0100 | <hellwolf> | just need to use TH.tupleT |
| 2025-01-25 01:01:08 +0100 | <hellwolf> | I actually found it |
| 2025-01-25 00:57:55 +0100 | <c_wraith> | that'd be like... pure (map blah ...) |
| 2025-01-25 00:57:41 +0100 | <c_wraith> | though that mapM (pure . blah) is kind of funny. |
| 2025-01-25 00:56:14 +0100 | <c_wraith> | There are lots of places you just can't splice into. That might be one of them. |
| 2025-01-25 00:56:03 +0100 | dmwit | (~dmwit@2600:4040:2646:b300:d62:4f7e:bd88:2572) (Quit: Client closed) |
| 2025-01-25 00:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 00:54:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-25 00:50:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:49:57 +0100 | <hellwolf> | I know how to do it without the quotation form, but that's not so read. |
| 2025-01-25 00:49:40 +0100 | <hellwolf> | does anyone know how to use TH to express a list of constraints in its quotation form: [d| instance ($(mapM (pure . TH.conT ''ABITypeable) xs)) => ABITypeable $(tpl) where ... |] |
| 2025-01-25 00:42:45 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2025-01-25 00:39:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 00:34:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:29:53 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-01-25 00:26:52 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
| 2025-01-25 00:25:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 00:24:25 +0100 | <Leary> | hellwolf: https://hackage.haskell.org/package/ghc-bignum-1.3/docs/GHC-Num-Integer.html#v:integerToMutableByt… |
| 2025-01-25 00:23:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 00:23:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 00:21:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 00:18:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:18:51 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-25 00:18:29 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2025-01-25 00:17:57 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-25 00:16:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-25 00:11:57 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 00:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 00:03:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-24 23:58:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-24 23:57:22 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-24 23:56:28 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-24 23:55:59 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-24 23:52:33 +0100 | KicksonButt | (~quassel@187.21.174.221) (Ping timeout: 248 seconds) |
| 2025-01-24 23:52:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-24 23:47:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |