Newest at the top
2025-10-19 23:08:34 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-10-19 23:07:57 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:d6a:132:a003:3008) Inline |
2025-10-19 23:07:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-19 23:07:21 +0200 | <monochrom> | The other option is to use GHC.Generics or Template Haskell to make the computer write those 12 lines for you. |
2025-10-19 23:04:13 +0200 | fp1 | fp |
2025-10-19 23:04:13 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 246 seconds) |
2025-10-19 23:02:46 +0200 | Lycurgus | (~juan@user/Lycurgus) () |
2025-10-19 23:02:26 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-10-19 23:01:33 +0200 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
2025-10-19 23:01:31 +0200 | <nihilazo> | although given that this is also how all the instances of fromRow in the library's own code are structured: https://github.com/nurpax/sqlite-simple/blob/master/Database/SQLite/Simple/FromRow.hs I'm unsure if there is a better way |
2025-10-19 22:57:58 +0200 | <nihilazo> | (the approach of doing it that way for 12 columns does work but feels notably messy. It seems to be what all other tutorials online for the library do though) |
2025-10-19 22:57:26 +0200 | <nihilazo> | way? |
2025-10-19 22:57:26 +0200 | <nihilazo> | examples on the hackage docs and their github (https://github.com/nurpax/sqlite-simple) use an applicative style for this, fromRow = TestField <$> field <*> field. But if the row contains eg. 12 columns (like in my project) would the best way to do this still be like, CustomType <$> field <*> field <*> field... (for 12 lines) or is there a better |
2025-10-19 22:57:25 +0200 | <nihilazo> | hi, I'm trying to use the sqlite-simple library to interface with a sqlite database from a haskell program (currently in the experimentation phase) and I'd like to convert from SQLite rows into my own types. The library provides a FromRow typeclass with a function that defines how to do this, using the `field` function to get each field. The |
2025-10-19 22:54:51 +0200 | <geekosaur> | although I just realized that the only possible test for which context to use is to see if something is typeable within it, which can't be done at runtime (no type information) nor at compile time (may be dynamic) |
2025-10-19 22:54:43 +0200 | halloy9957 | (~halloy995@ip72-208-127-103.ph.ph.cox.net) |
2025-10-19 22:54:13 +0200 | nihilazo | (~nihilazo@host86-150-176-16.range86-150.btcentralplus.com) nihilazo |
2025-10-19 22:52:01 +0200 | qqe | (~qqq@185.54.23.200) |
2025-10-19 22:51:56 +0200 | SlackCoder | (~SlackCode@208.26.91.234) SlackCoder |
2025-10-19 22:47:46 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Ping timeout: 246 seconds) |
2025-10-19 22:47:27 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-10-19 22:41:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-19 22:40:36 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-10-19 22:40:18 +0200 | malte | (~malte@mal.tc) malte |
2025-10-19 22:38:29 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Read error: Connection reset by peer) |
2025-10-19 22:38:19 +0200 | flipflops | (~cmo@2604:3d09:207f:8000::d1dc) |
2025-10-19 22:36:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-19 22:32:23 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-10-19 22:32:09 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Client Quit) |
2025-10-19 22:31:34 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-10-19 22:31:19 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
2025-10-19 22:31:10 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-10-19 22:30:01 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 264 seconds) |
2025-10-19 22:29:10 +0200 | karenw | (~karenw@user/karenw) karenw |
2025-10-19 22:28:31 +0200 | malte | (~malte@mal.tc) (Ping timeout: 246 seconds) |
2025-10-19 22:22:58 +0200 | <geekosaur> | meaning any mechanism to access outer contexts will be some form of liftST (viz. liftIO), which isnt flexible enough |
2025-10-19 22:22:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-19 22:21:48 +0200 | esph | (~weechat@user/esph) esph |
2025-10-19 22:21:36 +0200 | <geekosaur> | but ST in GHC is based on IO |
2025-10-19 22:21:21 +0200 | <geekosaur> | btgw I am getting a strong sense of "an effects system-based ST might be able to do this" |
2025-10-19 22:20:24 +0200 | <geekosaur> | so maybe it wasn't crawlers, just something that got missed during the recent move or sth |
2025-10-19 22:20:05 +0200 | <geekosaur> | mm, also working here now |
2025-10-19 22:19:33 +0200 | <Lycurgus> | confirmed |
2025-10-19 22:19:21 +0200 | <geekosaur> | if it's crawler overload, it probably depends on whether you can sneak in between the load |
2025-10-19 22:18:51 +0200 | <int-e> | looks like the wiki is better now? |
2025-10-19 22:18:36 +0200 | fp1 | fp |
2025-10-19 22:18:36 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
2025-10-19 22:18:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-19 22:17:22 +0200 | fp1 | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-10-19 22:15:26 +0200 | <Lycurgus> | *noun |