| 2022-09-15 00:02:53 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-15 00:03:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 00:07:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 00:07:37 +0200 | <hippoid> | when is this doc from? https://www.haskell.org/cabal/proposal/pkg-spec.pdf |
| 2022-09-15 00:07:44 +0200 | <hippoid> | still *mostly* relevant? |
| 2022-09-15 00:09:08 +0200 | fmgornick | (~fmgornick@2607:ea00:107:3c07:47f:ae3d:73e5:8989) |
| 2022-09-15 00:09:15 +0200 | <fmgornick> | ?src const |
| 2022-09-15 00:09:16 +0200 | <lambdabot> | const x _ = x |
| 2022-09-15 00:09:17 +0200 | <monochrom> | It looks like before or around the time cabal-install and ghc-pkg were first invented. |
| 2022-09-15 00:09:23 +0200 | fmgornick | (~fmgornick@2607:ea00:107:3c07:47f:ae3d:73e5:8989) (Client Quit) |
| 2022-09-15 00:09:55 +0200 | <monochrom> | It is mostly relevant but there has been evolutions exceeding it. |
| 2022-09-15 00:10:31 +0200 | <monochrom> | Perhaps s/cabal-install/the Cabal library/ |
| 2022-09-15 00:11:22 +0200 | <geekosaur> | if it's ghc-pkg then it probably predates cabal-install, yeh |
| 2022-09-15 00:11:33 +0200 | <geekosaur> | ghc-pkg has been around for a lot longer |
| 2022-09-15 00:12:53 +0200 | <monochrom> | An example of evolutions: build-depends are no longer top level. They were quickly changed such that you have multiple sections for multiple build targets (e.g., multiple exes plus a library), each target has its own build-depends. |
| 2022-09-15 00:13:52 +0200 | <geekosaur> | I think build-depends are still top level in package registrations, since those are libraries only and (at least currently) are 1-to-1 with packages |
| 2022-09-15 00:14:05 +0200 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) (Ping timeout: 244 seconds) |
| 2022-09-15 00:14:25 +0200 | <geekosaur> | note that cabal-install package descriptions are derived from but not identical to ghc-pkg registrations |
| 2022-09-15 00:14:26 +0200 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) |
| 2022-09-15 00:15:23 +0200 | <geekosaur> | try e.g. `ghc-pkg describe base` to see what a registration file looks like |
| 2022-09-15 00:17:06 +0200 | <monochrom> | The filename is no longer Setup.description, it's now <your choice>.cabal |
| 2022-09-15 00:18:43 +0200 | <monochrom> | You should simply fast-forward to https://cabal.readthedocs.io/en/stable/ |
| 2022-09-15 00:18:44 +0200 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) (Ping timeout: 244 seconds) |
| 2022-09-15 00:19:57 +0200 | <hippoid> | monochrom: ok thanks |
| 2022-09-15 00:20:15 +0200 | <monochrom> | Unless you are "I am on a linux distro team, I build Haskell stuff into my linux distro binary packages", in which case the ./Setup.lhs commands are your friends. |
| 2022-09-15 00:20:52 +0200 | <oats> | one time I stumbled across a nice lil networking library that made implementing line-based protocols over tcp real easy, but I've forgotten its name. Any ideas what it may be? |
| 2022-09-15 00:20:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-15 00:21:31 +0200 | <oats> | wasn't much more than `openConnection :: Config -> IO Socket` and `readLine :: Socket -> IO ByteString` or something like that |
| 2022-09-15 00:22:29 +0200 | <oats> | can't remember if it supported TLS or not |
| 2022-09-15 00:23:01 +0200 | <monochrom> | I don't know which library it is, but `Socket -> IO ByteString` is begging for DoS attacks if it doesn't have a secret upper bound. |
| 2022-09-15 00:23:54 +0200 | <int-e> | it could be a lazy bytestring? |
| 2022-09-15 00:23:56 +0200 | <geekosaur> | hoogle suggests http-streams |
| 2022-09-15 00:24:08 +0200 | <geekosaur> | it's probably wrong though since that seems overly specific |
| 2022-09-15 00:25:12 +0200 | <geekosaur> | (but confusingly it supports AF_LOCAL sockets) |
| 2022-09-15 00:25:36 +0200 | <int-e> | (probably isn't; and lazy bytestrings which are their own can of worms of course) |
| 2022-09-15 00:26:16 +0200 | <monochrom> | If the bytestring is lazy, then it depends on why the protocol is line-based in the first place. |
| 2022-09-15 00:28:22 +0200 | <int-e> | The DoS angle is more likely to be valid than not. |
| 2022-09-15 00:32:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-15 00:32:53 +0200 | kalalele | (~kalalele@2a02:587:7e16:35a7:143a:d530:11be:fbde) |
| 2022-09-15 00:37:49 +0200 | kalalele | (~kalalele@2a02:587:7e16:35a7:143a:d530:11be:fbde) (Read error: Connection reset by peer) |
| 2022-09-15 00:38:04 +0200 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) |
| 2022-09-15 00:38:42 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-15 00:39:13 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-15 00:43:36 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-09-15 00:45:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 00:45:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 00:50:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 00:51:20 +0200 | kalalele | (~kalalele@2a02:587:7e16:35a7:143a:d530:11be:fbde) |
| 2022-09-15 00:53:13 +0200 | kalalele | (~kalalele@2a02:587:7e16:35a7:143a:d530:11be:fbde) (Client Quit) |
| 2022-09-15 00:57:07 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:edfa:b28c:b513:e768) |
| 2022-09-15 00:57:17 +0200 | <oats> | geekosaur, it wasn't for http, pretty sure it was for tcp clients |
| 2022-09-15 00:57:47 +0200 | <oats> | I don't believe those were the exact function signatures, just tryna give the gist |
| 2022-09-15 00:58:42 +0200 | <geekosaur[m]> | I went by the name but of course that could be off too |
| 2022-09-15 01:02:08 +0200 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) (Ping timeout: 244 seconds) |
| 2022-09-15 01:06:47 +0200 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:c5c1:3011:5b01:17ca) (Ping timeout: 268 seconds) |
| 2022-09-15 01:15:03 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2022-09-15 01:20:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a05c4ebc292776c95cf.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-15 01:21:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 01:26:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 01:26:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-15 01:27:01 +0200 | shailangsa | (~shailangs@host86-186-133-23.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-09-15 01:29:49 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6) |
| 2022-09-15 01:34:33 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-15 01:35:15 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-15 01:35:32 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 265 seconds) |
| 2022-09-15 01:38:20 +0200 | xff0x | (~xff0x@2405:6580:b080:900:70d9:f4e:21d1:c42f) (Ping timeout: 268 seconds) |
| 2022-09-15 01:45:51 +0200 | <Axman6> | oats: IIRC TLS can be handled by the Socket itself, so it should work fine |
| 2022-09-15 01:45:57 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-15 01:49:27 +0200 | phma | (~phma@2001:5b0:210b:b5b8:9584:c6eb:7e64:72d6) (Read error: Connection reset by peer) |
| 2022-09-15 01:49:54 +0200 | phma | (phma@2001:5b0:210b:b5b8:2ced:876a:7379:58a9) |
| 2022-09-15 01:51:08 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-09-15 01:53:06 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-15 01:53:06 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-15 01:53:06 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-15 01:54:34 +0200 | dsrt^ | (~dsrt@70.88.176.185) |
| 2022-09-15 01:55:56 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.6) |
| 2022-09-15 01:57:42 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) |
| 2022-09-15 01:58:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 01:59:38 +0200 | xff0x | (~xff0x@2405:6580:b080:900:70d9:f4e:21d1:c42f) |
| 2022-09-15 02:00:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 02:03:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 02:05:10 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-15 02:05:40 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-15 02:05:56 +0200 | fmgornick | (~fmgornick@2601:445:4480:c90:8d02:886b:4c8e:5999) |
| 2022-09-15 02:06:12 +0200 | <fmgornick> | ?src zipWith |
| 2022-09-15 02:06:12 +0200 | <lambdabot> | zipWith f (a:as) (b:bs) = f a b : zipWith f as bs |
| 2022-09-15 02:06:13 +0200 | <lambdabot> | zipWith _ _ _ = [] |
| 2022-09-15 02:07:04 +0200 | fmgornick | (~fmgornick@2601:445:4480:c90:8d02:886b:4c8e:5999) (Client Quit) |
| 2022-09-15 02:07:33 +0200 | <Axman6> | I guess IRC is quicker than google? |
| 2022-09-15 02:10:48 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-15 02:13:18 +0200 | <geekosaur> | I keep being tempted to link them the relevant part of the Report |
| 2022-09-15 02:13:31 +0200 | <geekosaur> | since that's where most of @src comes from |
| 2022-09-15 02:13:47 +0200 | <Axman6> | and @src is a lie in many cases right? |
| 2022-09-15 02:14:25 +0200 | <geekosaur> | ghc doesn't use the Report defs for a lot of things |
| 2022-09-15 02:14:35 +0200 | shailangsa | (~shailangs@86.159.49.5) |
| 2022-09-15 02:14:59 +0200 | <geekosaur> | but @src is largely true to what the Report says, because its database is mostly built from the Report |
| 2022-09-15 02:24:28 +0200 | <monochrom> | Denotationally, @src is probably not a lie. |
| 2022-09-15 02:26:00 +0200 | <monochrom> | Actual base code and GHC optimizations go out of their way to match the strictness and non-strictness of sample code from the Haskell Report. |
| 2022-09-15 02:27:05 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:edfa:b28c:b513:e768) (Quit: king_gs) |
| 2022-09-15 02:28:21 +0200 | <monochrom> | Even worse, even where nubBy should be UB (i.e., when you supply a non-equivalence relation), base goes out of its way to match the accidental answers of the Report sample implementation. |
| 2022-09-15 02:31:16 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-15 02:31:18 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 02:32:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 02:36:26 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-15 02:36:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 02:46:24 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-15 02:46:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2022-09-15 02:46:24 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Read error: Connection reset by peer) |
| 2022-09-15 02:46:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-15 02:47:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-15 02:47:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-15 02:55:20 +0200 | freemanX | (~user@14.100.28.225) |
| 2022-09-15 02:57:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 02:57:35 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-09-15 03:00:42 +0200 | cowboy8625 | (~cowboy@96-2-208-2-static.midco.net) |
| 2022-09-15 03:02:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 03:02:44 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-15 03:06:03 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-15 03:08:20 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 265 seconds) |
| 2022-09-15 03:11:16 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-15 03:12:13 +0200 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 265 seconds) |
| 2022-09-15 03:17:23 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-15 03:19:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:70d9:f4e:21d1:c42f) (Ping timeout: 244 seconds) |
| 2022-09-15 03:32:05 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-15 03:40:51 +0200 | slac80483 | (~slack1256@186.11.45.76) (Ping timeout: 252 seconds) |
| 2022-09-15 03:41:04 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-15 03:42:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 03:46:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 03:47:39 +0200 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-09-15 03:48:35 +0200 | darkstardevx | (~darkstard@50.53.212.60) (Remote host closed the connection) |
| 2022-09-15 03:49:00 +0200 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-09-15 03:49:47 +0200 | ubert1 | (~Thunderbi@77.119.210.120.wireless.dyn.drei.com) |
| 2022-09-15 03:50:16 +0200 | ubert | (~Thunderbi@91.141.76.98.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2022-09-15 03:50:17 +0200 | ubert1 | ubert |
| 2022-09-15 03:53:17 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 265 seconds) |
| 2022-09-15 04:00:49 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-09-15 04:02:31 +0200 | <Clinton[m]> | Any ideas on this stackoverflow question? https://stackoverflow.com/questions/73724849/running-sequence-over-a-conduit |
| 2022-09-15 04:03:27 +0200 | freemanX | (~user@14.100.28.225) (Ping timeout: 265 seconds) |
| 2022-09-15 04:04:43 +0200 | tcard_ | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-15 04:05:22 +0200 | tcard | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 265 seconds) |
| 2022-09-15 04:06:37 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-15 04:13:02 +0200 | <jackdk> | Clinton[m]: I always forget conduits are monad transformers |
| 2022-09-15 04:14:46 +0200 | <jackdk> | @pl \v -> f v *> l |
| 2022-09-15 04:14:46 +0200 | <lambdabot> | (*> l) . f |
| 2022-09-15 04:15:25 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 04:15:36 +0200 | <jackdk> | Clinton[m]: please put this on SO for me, I don't have my login handy: https://www.irccloud.com/pastebin/vhNbTLNJ/ConduitFun.hs |
| 2022-09-15 04:15:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 04:15:51 +0200 | <jackdk> | `fc'` is silly, you probably don't want to do it that way |
| 2022-09-15 04:16:07 +0200 | <jackdk> | Also redundant parens on line 20 |
| 2022-09-15 04:20:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 04:21:13 +0200 | _xor | (~xor@74.215.182.83) |
| 2022-09-15 04:21:19 +0200 | <jackdk> | Clinton[m]: Could also factor out the map of `f` first: https://www.irccloud.com/pastebin/ZaQ3FdD0/MoreConduitFun.hs |
| 2022-09-15 04:22:41 +0200 | frost | (~frost@user/frost) |
| 2022-09-15 04:29:59 +0200 | td_ | (~td@muedsl-82-207-238-076.citykom.de) (Ping timeout: 252 seconds) |
| 2022-09-15 04:31:44 +0200 | td_ | (~td@muedsl-82-207-238-033.citykom.de) |
| 2022-09-15 04:32:37 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-09-15 04:34:54 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-15 04:42:15 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-15 04:42:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-09-15 04:42:15 +0200 | finn_elija | FinnElija |
| 2022-09-15 04:43:40 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-09-15 04:44:53 +0200 | <oats> | geekosaur, monochrom, ah found it finally https://hackage.haskell.org/package/hookup |
| 2022-09-15 04:47:03 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-15 04:48:16 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-09-15 04:50:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 04:51:33 +0200 | <monochrom> | Ah, having a maximum length is much better. |
| 2022-09-15 04:52:35 +0200 | stef204 | (~stef204@user/stef204) (Ping timeout: 244 seconds) |
| 2022-09-15 04:54:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 04:55:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-15 04:55:55 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-15 04:56:50 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-09-15 05:04:57 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-09-15 05:12:17 +0200 | tcard | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-15 05:13:00 +0200 | tcard_ | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 264 seconds) |
| 2022-09-15 05:13:39 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-15 05:14:13 +0200 | darkstardevx | (~darkstard@50.53.212.60) (Read error: Connection reset by peer) |
| 2022-09-15 05:15:10 +0200 | tcard_ | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-15 05:17:17 +0200 | tcard | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 252 seconds) |
| 2022-09-15 05:20:51 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-15 05:26:16 +0200 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-09-15 05:26:51 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-15 05:31:27 +0200 | <Clinton[m]> | jackdk: any way to avoid the explicit loop? I thought there might a existing combinator that does this? |
| 2022-09-15 05:31:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 05:32:25 +0200 | <jackdk> | *shrugs* I don't use `conduit` unless it's simple stuff plugging into a snoymanverse library. If I'm doing anything complicated I usually go through `streaming` |
| 2022-09-15 05:32:32 +0200 | <jackdk> | So I don't know |
| 2022-09-15 05:32:39 +0200 | <jackdk> | Didn't see anything when I skimmed the docs |
| 2022-09-15 05:35:48 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-15 05:42:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 05:44:17 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
| 2022-09-15 05:44:53 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-09-15 05:46:46 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 05:51:27 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-15 05:56:32 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-15 05:58:58 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-15 06:00:08 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-15 06:04:54 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Ping timeout: 244 seconds) |
| 2022-09-15 06:13:52 +0200 | cheater | (~Username@user/cheater) (Quit: (BitchX) Tabardation - the inability to master use of the <Tab> key. See: retardation; Headcase.) |
| 2022-09-15 06:14:25 +0200 | vglfr | (~vglfr@145.224.94.72) (Ping timeout: 265 seconds) |
| 2022-09-15 06:14:42 +0200 | cheater | (~Username@user/cheater) |
| 2022-09-15 06:17:12 +0200 | P1RATEZ | (~piratez@user/p1ratez) |
| 2022-09-15 06:18:07 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Read error: Connection reset by peer) |
| 2022-09-15 06:26:25 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 06:28:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 06:29:06 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-15 06:31:36 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-09-15 06:32:00 +0200 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-15 06:33:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 06:34:05 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Read error: Connection reset by peer) |
| 2022-09-15 06:37:00 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2022-09-15 06:39:29 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-15 06:52:47 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-15 06:54:55 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-15 06:56:13 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-15 07:03:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 07:07:25 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-09-15 07:11:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 07:14:38 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-15 07:15:15 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-09-15 07:15:18 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-15 07:15:52 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-15 07:18:00 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-15 07:18:11 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-15 07:20:31 +0200 | rembo10 | (~rembo10@main.remulis.com) (Client Quit) |
| 2022-09-15 07:22:39 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-15 07:25:58 +0200 | <c_wraith> | is there some reason why I need to tell cabal to use transformers >= 0.6, even though it doesn't conflict with any of my dependencies (direct or transitive)? |
| 2022-09-15 07:28:08 +0200 | Inoperable | (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!) |
| 2022-09-15 07:36:22 +0200 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2022-09-15 07:39:08 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-09-15 07:40:40 +0200 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:dae7:5838:d509:e103) |
| 2022-09-15 07:42:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 07:46:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 07:47:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-09-15 07:48:30 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-15 07:50:45 +0200 | <qrpnxz> | how does GHC react if i have two packages with modules of the same name? |
| 2022-09-15 07:50:54 +0200 | <dminuoso> | It does not mind. |
| 2022-09-15 07:51:07 +0200 | <dminuoso> | You can use -XPackageImports to disambiguate imports |
| 2022-09-15 07:54:52 +0200 | <qrpnxz> | that seems simple enough cool |
| 2022-09-15 08:07:20 +0200 | vgtw_ | (~vgtw@user/vgtw) |
| 2022-09-15 08:08:21 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 260 seconds) |
| 2022-09-15 08:15:29 +0200 | P1RATEZ | (~piratez@user/p1ratez) (Remote host closed the connection) |
| 2022-09-15 08:15:46 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-15 08:18:20 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-15 08:22:18 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-15 08:25:35 +0200 | phma | (phma@2001:5b0:210b:b5b8:2ced:876a:7379:58a9) (Read error: Connection reset by peer) |
| 2022-09-15 08:26:36 +0200 | phma | (~phma@2001:5b0:211f:2eb8:4689:56b6:986d:9232) |
| 2022-09-15 08:33:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 08:38:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 08:43:19 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-15 08:45:15 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-15 08:49:04 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-15 08:52:00 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 264 seconds) |
| 2022-09-15 09:01:14 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-09-15 09:01:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-15 09:02:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6877:9b7f:ea87:8df) |
| 2022-09-15 09:02:41 +0200 | fjMSX | (~hypni2p@128-68-144-58.broadband.corbina.ru) (Read error: Connection reset by peer) |
| 2022-09-15 09:08:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 09:09:02 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-09-15 09:09:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-15 09:09:18 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-15 09:09:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 09:09:54 +0200 | <kuribas> | what is the procedure around hackage revisions. |
| 2022-09-15 09:09:59 +0200 | <kuribas> | ? |
| 2022-09-15 09:10:13 +0200 | <dminuoso> | You can just edit a hackage package and make changes right on hackage. |
| 2022-09-15 09:10:16 +0200 | <dminuoso> | That's it. |
| 2022-09-15 09:10:29 +0200 | <kuribas> | shouldn't they be only about dependencies? |
| 2022-09-15 09:10:38 +0200 | <dminuoso> | Or the package description. |
| 2022-09-15 09:10:41 +0200 | <dminuoso> | Hackage wont let you touch other things |
| 2022-09-15 09:11:05 +0200 | <dminuoso> | (And a few other metadata things) |
| 2022-09-15 09:11:11 +0200 | <kuribas> | hmm, I am using a package where the hackage version differs from the github head, even though they have the same revision number. |
| 2022-09-15 09:11:13 +0200 | <dminuoso> | https://github.com/haskell-infra/hackage-trustees/blob/master/revisions-information.md#what-can-re… |
| 2022-09-15 09:11:41 +0200 | <dminuoso> | Revision is not something that exists inside a cabal package |
| 2022-09-15 09:11:56 +0200 | <dminuoso> | You pretty much just edit the package on hackage, and will update it in place, you dont edit the cabal and reupload it (sadly) |
| 2022-09-15 09:12:15 +0200 | <dminuoso> | Which means if the maintainer forgets to upstream his revision change into github, it will get overriden the next time you run sdist+upload |
| 2022-09-15 09:13:25 +0200 | <dminuoso> | It's pretty much just a cabal file editor in the web page of hackage |
| 2022-09-15 09:13:25 +0200 | <kuribas> | dminuoso: https://github.com/phadej/hkd/blob/master/hkd.cabal#L4 |
| 2022-09-15 09:13:33 +0200 | <dminuoso> | Oh what is this |
| 2022-09-15 09:14:01 +0200 | <kuribas> | so x-revision is not about hackage revision then? |
| 2022-09-15 09:14:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 09:14:32 +0200 | beteigeuze | (~Thunderbi@89.187.168.57) |
| 2022-09-15 09:14:52 +0200 | <dminuoso> | It seems all fields starting with x- are just arbitrary custom fields you can set |
| 2022-09-15 09:14:56 +0200 | <kuribas> | I suppose the problem then is not the revision, but the fact that this package was not uploaded to hackage. |
| 2022-09-15 09:15:09 +0200 | <dminuoso> | So yeah, its just an arbitrary field, presumably managed by phadej by convention |
| 2022-09-15 09:15:09 +0200 | <kuribas> | I'll make an update request. |
| 2022-09-15 09:15:20 +0200 | <kuribas> | right |
| 2022-09-15 09:16:18 +0200 | <dminuoso> | It would have been much nicer if revisions were managed like this *shrugs* |
| 2022-09-15 09:16:33 +0200 | <dminuoso> | But much of hackage is just weird adhoc things |
| 2022-09-15 09:18:51 +0200 | <kuribas> | In any case, I think it is good to release often (with minor version bump). |
| 2022-09-15 09:19:07 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) |
| 2022-09-15 09:20:05 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 09:21:40 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-09-15 09:22:31 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-15 09:24:38 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-15 09:25:49 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a053c140bcb17afb1cf.dip0.t-ipconnect.de) |
| 2022-09-15 09:29:09 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-15 09:30:57 +0200 | trillp | (~user@69.233.98.238) |
| 2022-09-15 09:33:13 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2022-09-15 09:33:57 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 252 seconds) |
| 2022-09-15 09:34:17 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:d70c:cafc:e732:35ea) |
| 2022-09-15 09:34:31 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-09-15 09:45:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 09:46:45 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-15 09:49:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 09:50:32 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-15 09:52:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-15 09:53:30 +0200 | chele | (~chele@user/chele) |
| 2022-09-15 09:55:56 +0200 | benin0 | (~benin@183.82.204.57) |
| 2022-09-15 10:01:18 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.5) |
| 2022-09-15 10:02:04 +0200 | beteigeuze | (~Thunderbi@89.187.168.57) (Ping timeout: 265 seconds) |
| 2022-09-15 10:03:48 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 10:04:54 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-15 10:08:25 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-15 10:08:49 +0200 | trillp | (~user@69.233.98.238) (Remote host closed the connection) |
| 2022-09-15 10:10:07 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) |
| 2022-09-15 10:10:45 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-15 10:15:24 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-09-15 10:15:36 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 265 seconds) |
| 2022-09-15 10:20:51 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-15 10:21:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 10:26:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 10:26:39 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-09-15 10:31:18 +0200 | matthews | (~matthews@gentoo/developer/matthew) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-09-15 10:31:31 +0200 | matthews | (~matthews@gentoo/developer/matthew) |
| 2022-09-15 10:32:44 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-09-15 10:35:11 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-09-15 10:35:54 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-15 10:37:43 +0200 | fjMSX | (~hypni2p@128-68-144-58.broadband.corbina.ru) |
| 2022-09-15 10:42:51 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-15 10:46:33 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:d70c:cafc:e732:35ea) (Remote host closed the connection) |
| 2022-09-15 10:46:51 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7c82:1542:79ad:ceb8) |
| 2022-09-15 10:52:04 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 268 seconds) |
| 2022-09-15 10:52:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 10:55:02 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-15 10:55:15 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-15 10:55:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 10:57:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 10:57:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-15 10:58:24 +0200 | razetime | (~quassel@117.254.35.159) |
| 2022-09-15 10:58:51 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 10:59:59 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-15 11:00:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 11:04:57 +0200 | razetime | (~quassel@117.254.35.159) (Ping timeout: 268 seconds) |
| 2022-09-15 11:05:05 +0200 | razetime_ | (~quassel@117.254.35.159) |
| 2022-09-15 11:05:26 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7c82:1542:79ad:ceb8) (Remote host closed the connection) |
| 2022-09-15 11:05:47 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:8076:7271:cc2c:f702) |
| 2022-09-15 11:09:25 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-09-15 11:12:19 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:8076:7271:cc2c:f702) (Remote host closed the connection) |
| 2022-09-15 11:13:20 +0200 | jargon | (~jargon@184.101.186.15) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | whereiseveryone_ | (206ba86c98@2604:bf00:561:2000::2e4) (Write error: Connection reset by peer) |
| 2022-09-15 11:15:43 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Write error: Connection reset by peer) |
| 2022-09-15 11:15:43 +0200 | filwisher_ | (2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | ggb_ | (a62ffbaf4f@2604:bf00:561:2000::3ac) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | dawdler_ | (035b60b5aa@2604:bf00:561:2000::3b6) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | jakzale | (6291399afa@user/jakzale) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | sm2n | (ae95cb1267@user/sm2n) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection) |
| 2022-09-15 11:15:43 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Remote host closed the connection) |
| 2022-09-15 11:15:44 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Remote host closed the connection) |
| 2022-09-15 11:15:44 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection) |
| 2022-09-15 11:17:16 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2022-09-15 11:17:19 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
| 2022-09-15 11:17:19 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2022-09-15 11:17:21 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2022-09-15 11:17:21 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) |
| 2022-09-15 11:17:21 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
| 2022-09-15 11:17:23 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2022-09-15 11:17:27 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2022-09-15 11:17:31 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2022-09-15 11:17:31 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
| 2022-09-15 11:17:54 +0200 | razetime_ | (~quassel@117.254.35.159) (Ping timeout: 268 seconds) |
| 2022-09-15 11:17:56 +0200 | jakzale | (6291399afa@user/jakzale) |
| 2022-09-15 11:18:06 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
| 2022-09-15 11:18:17 +0200 | razetime | (~quassel@117.254.35.159) |
| 2022-09-15 11:18:20 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2022-09-15 11:18:34 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 2022-09-15 11:18:34 +0200 | dawdler | (035b60b5aa@2604:bf00:561:2000::3b6) |
| 2022-09-15 11:18:35 +0200 | dawdler | (035b60b5aa@2604:bf00:561:2000::3b6) (Changing host) |
| 2022-09-15 11:18:35 +0200 | dawdler | (035b60b5aa@user/dawdler) |
| 2022-09-15 11:18:37 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) |
| 2022-09-15 11:18:56 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2022-09-15 11:19:05 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2022-09-15 11:19:08 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2022-09-15 11:19:10 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2022-09-15 11:19:15 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2022-09-15 11:20:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 11:23:34 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-15 11:25:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6877:9b7f:ea87:8df) (Ping timeout: 268 seconds) |
| 2022-09-15 11:27:28 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:9b81:2982:471:40b2) |
| 2022-09-15 11:30:06 +0200 | akegalj | (~akegalj@93-139-182-69.adsl.net.t-com.hr) |
| 2022-09-15 11:30:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 11:31:47 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-15 11:34:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-15 11:40:47 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-15 11:43:42 +0200 | img | (~img@user/img) |
| 2022-09-15 11:48:54 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-09-15 11:49:15 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds) |
| 2022-09-15 11:50:14 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-15 11:54:56 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-09-15 11:57:22 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-09-15 11:57:24 +0200 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) |
| 2022-09-15 11:57:38 +0200 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-09-15 11:59:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7f2e:515f:3d8e:4bd5) |
| 2022-09-15 12:00:10 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:9b81:2982:471:40b2) (Remote host closed the connection) |
| 2022-09-15 12:00:29 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7d67:6106:5334:8ce) |
| 2022-09-15 12:03:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 12:10:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 12:10:50 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-15 12:10:57 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 250 seconds) |
| 2022-09-15 12:15:04 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 12:17:01 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2022-09-15 12:17:39 +0200 | akegalj | (~akegalj@93-139-182-69.adsl.net.t-com.hr) (Read error: Connection reset by peer) |
| 2022-09-15 12:20:32 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 244 seconds) |
| 2022-09-15 12:20:35 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-15 12:24:10 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 265 seconds) |
| 2022-09-15 12:31:33 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7d67:6106:5334:8ce) (Remote host closed the connection) |
| 2022-09-15 12:33:21 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 265 seconds) |
| 2022-09-15 12:34:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 12:36:21 +0200 | <Square> | I'm very much looking forward to the GHC wasm backend. Any progress reported on that? |
| 2022-09-15 12:36:41 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-09-15 12:39:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 12:39:45 +0200 | <yushyin> | https://gitlab.haskell.org/ghc/ghc/-/issues/21200 |
| 2022-09-15 12:42:00 +0200 | frost | (~frost@user/frost) |
| 2022-09-15 12:44:59 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-09-15 12:46:11 +0200 | risc | (uid568934@id-568934.tinside.irccloud.com) |
| 2022-09-15 12:47:46 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-15 12:48:21 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-15 12:53:15 +0200 | risc | (uid568934@id-568934.tinside.irccloud.com) () |
| 2022-09-15 12:54:46 +0200 | phma | (~phma@2001:5b0:211f:2eb8:4689:56b6:986d:9232) (Ping timeout: 260 seconds) |
| 2022-09-15 12:56:23 +0200 | <absence> | geekosaur: so the locale system works, and that's what getLocaleEncoding uses, and yet locale reports UTF-8 and getLocaleEncoding reports ASCII. a bit of a head scratcher :) |
| 2022-09-15 13:02:50 +0200 | <Square> | yushyin, thanks. I knew about that one. I was wondering if some public talk was made around it. |
| 2022-09-15 13:02:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 13:06:47 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-15 13:07:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 13:07:39 +0200 | luffy | (~chenqisu1@183.217.201.192) (Remote host closed the connection) |
| 2022-09-15 13:08:07 +0200 | <int-e> | absence: But `locale` will not tell you whether the selected locale actually works. For example, for me, it'll say 'LC_CTYPE=en_GB.UTF-8', but getLocaleEncoding will return ASCII, because I have not actually enabled that in /etc/locale.gen. LC_CTYPE=en_US.UTF-8 works. |
| 2022-09-15 13:08:10 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-15 13:08:47 +0200 | <int-e> | (Hmm, I don't know whether the locale.gen is Debian specific or generic.) |
| 2022-09-15 13:11:14 +0200 | checkum | (~checkum@2604:ca00:1ea:d1::63:826) |
| 2022-09-15 13:12:30 +0200 | <int-e> | Heck I don't even know where `locale-gen` stores its stuff, is it just /usr/lib/locale/locale-archive ? I guess so. |
| 2022-09-15 13:15:24 +0200 | <absence> | int-e: ugh, it was because the haskell program was build with nix, which for some reason uses a patched glibc that requires a LOCALE_ARCHIVE env variable that points to the locale-archive directory. if i set that, it works |
| 2022-09-15 13:15:48 +0200 | <int-e> | ah, software conspiring against you, even better |
| 2022-09-15 13:16:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) |
| 2022-09-15 13:17:15 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-15 13:17:57 +0200 | <dminuoso> | Mmm, Im starting to prefer a simple traverse with an IORef to collect data over just Writer. Im succumbing to side effects. |
| 2022-09-15 13:23:03 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-09-15 13:23:06 +0200 | <int-e> | That's just not Write. |
| 2022-09-15 13:24:07 +0200 | <dminuoso> | It's close enough *shrugs* |
| 2022-09-15 13:24:41 +0200 | <int-e> | dminuoso: But have you abstracted from this and made a MonadWriter instance for a newtype around Monoid a => ReaderT (IORef a) IO ... |
| 2022-09-15 13:25:20 +0200 | doyougnu | (~doyougnu@195.69.96.100) |
| 2022-09-15 13:25:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-15 13:25:28 +0200 | mcglk | (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2022-09-15 13:27:54 +0200 | <checkum> | hello, world |
| 2022-09-15 13:31:46 +0200 | <mniip> | you coud store a in the IORef and pretend that your monoid is Endo a |
| 2022-09-15 13:33:32 +0200 | <checkum> | type Safe = IO |
| 2022-09-15 13:33:44 +0200 | <dminuoso> | Im just reevaluating whether using mtl for "lets collect a few errors" is a sensible thing at all. Especially since the lack of IO makes integrating debugging much more annoying |
| 2022-09-15 13:36:13 +0200 | perdent | (~perdent@101.175.158.254) |
| 2022-09-15 13:38:16 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) |
| 2022-09-15 13:38:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 13:39:13 +0200 | thyriaen | (~thyriaen@dynamic-046-114-148-109.46.114.pool.telefonica.de) |
| 2022-09-15 13:41:27 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
| 2022-09-15 13:42:08 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Quit: WeeChat 2.8) |
| 2022-09-15 13:42:14 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-09-15 13:42:34 +0200 | cpli | (~cpli@77.47.62.180) |
| 2022-09-15 13:42:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 13:43:46 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) (Ping timeout: 260 seconds) |
| 2022-09-15 13:45:38 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-09-15 13:45:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 13:46:34 +0200 | perdent | (~perdent@101.175.158.254) (Quit: Client closed) |
| 2022-09-15 13:46:56 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-15 13:48:12 +0200 | perdent | (~perdent@101.175.158.254) |
| 2022-09-15 13:50:11 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-15 13:51:24 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) (Remote host closed the connection) |
| 2022-09-15 13:51:43 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) |
| 2022-09-15 13:52:07 +0200 | waleee | (~waleee@192.165.44.49) |
| 2022-09-15 13:53:15 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 13:54:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 13:56:37 +0200 | doyougnu | (~doyougnu@195.69.96.100) (Ping timeout: 244 seconds) |
| 2022-09-15 13:57:28 +0200 | foul_owl | (~kerry@174-21-75-230.tukw.qwest.net) |
| 2022-09-15 14:03:54 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-15 14:04:11 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-15 14:05:19 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 14:05:51 +0200 | perdent | (~perdent@101.175.158.254) (Quit: Client closed) |
| 2022-09-15 14:05:55 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 244 seconds) |
| 2022-09-15 14:06:16 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-09-15 14:09:54 +0200 | _xor | (~xor@74.215.182.83) (Quit: bbiab) |
| 2022-09-15 14:10:06 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) (Ping timeout: 252 seconds) |
| 2022-09-15 14:10:07 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-09-15 14:12:53 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-09-15 14:12:55 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-09-15 14:13:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 14:16:57 +0200 | perdent | (~perdent@101.175.158.254) |
| 2022-09-15 14:18:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 14:18:19 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-09-15 14:19:01 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-15 14:22:24 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) |
| 2022-09-15 14:27:02 +0200 | checkum_ | (~checkum@2604:ca00:1f0:2256::460:b236) |
| 2022-09-15 14:27:46 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 14:28:45 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 250 seconds) |
| 2022-09-15 14:29:53 +0200 | califax | (~califax@user/califx) |
| 2022-09-15 14:30:43 +0200 | checkum | (~checkum@2604:ca00:1ea:d1::63:826) (Ping timeout: 244 seconds) |
| 2022-09-15 14:36:24 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Ping timeout: 244 seconds) |
| 2022-09-15 14:36:31 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 14:37:05 +0200 | califax | (~califax@user/califx) |
| 2022-09-15 14:37:22 +0200 | thyriaen_ | (~thyriaen@83.137.6.59) |
| 2022-09-15 14:39:17 +0200 | <Profpatsch> | What’s the easiest way to generically say “if all fields in my records are (Parser _), I can give you a parser of the record” |
| 2022-09-15 14:39:46 +0200 | <Profpatsch> | I feel like this should be doable for any record? |
| 2022-09-15 14:39:59 +0200 | thyriaen | (~thyriaen@dynamic-046-114-148-109.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2022-09-15 14:42:25 +0200 | <geekosaur> | sounds vaguely Applicative (sequenceA) |
| 2022-09-15 14:43:05 +0200 | <geekosaur> | and, conveniently, Applicative works well with parsers |
| 2022-09-15 14:43:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 14:43:40 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-15 14:44:04 +0200 | <Profpatsch> | geekosaur: yeah but if I want to write a function “give me any record of parsers, I will give you a parser for the record” |
| 2022-09-15 14:44:11 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-15 14:44:38 +0200 | <geekosaur> | if you have sequenceA, it should be written for you |
| 2022-09-15 14:44:48 +0200 | <geekosaur> | but the record has to be Applicative |
| 2022-09-15 14:44:53 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-15 14:45:44 +0200 | <Profpatsch> | geekosaur: Can I make data Foo = Foo { bar :: Parser Int, baz :: Parser Bool } into a traversable? |
| 2022-09-15 14:46:23 +0200 | <Profpatsch> | Parser if a Functor, but Foo has to be a traversable |
| 2022-09-15 14:46:43 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-15 14:47:14 +0200 | <geekosaur> | mm, dunno |
| 2022-09-15 14:47:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 14:47:45 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-15 14:48:11 +0200 | <checkum_> | should be a new type if your data structure doesn't have type parameters |
| 2022-09-15 14:48:12 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-15 14:48:46 +0200 | <Profpatsch> | I guess you can implement it specifically for your Parser type |
| 2022-09-15 14:48:52 +0200 | <Profpatsch> | via :*: |
| 2022-09-15 14:49:05 +0200 | <Profpatsch> | But I never sucessfully used the Generics interface before to define my own instances |
| 2022-09-15 14:50:35 +0200 | yvan-sraka | (~yvan-srak@194.78.96.162) |
| 2022-09-15 14:50:58 +0200 | <Profpatsch> | I was very close to implement something like that for superrecord |
| 2022-09-15 14:51:02 +0200 | <Profpatsch> | But I never finished it |
| 2022-09-15 14:51:31 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 14:51:56 +0200 | <absence> | what's the name of that pattern where you define the record as data Foo f = Foo { bare :: f Int, ... }? could be used for sequenceA if you don't mind Identity wrappers... |
| 2022-09-15 14:52:21 +0200 | <geekosaur> | higher kinded data? |
| 2022-09-15 14:52:32 +0200 | <absence> | ah yes |
| 2022-09-15 14:53:28 +0200 | califax | (~califax@user/califx) |
| 2022-09-15 14:55:57 +0200 | chele | (~chele@user/chele) (Ping timeout: 265 seconds) |
| 2022-09-15 14:56:21 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 14:57:09 +0200 | chele | (~chele@user/chele) |
| 2022-09-15 14:57:39 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-15 14:58:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-15 15:00:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-15 15:02:32 +0200 | thyriaen_ | (~thyriaen@83.137.6.59) (Remote host closed the connection) |
| 2022-09-15 15:06:30 +0200 | thyriaen | (~thyriaen@83.137.6.59) |
| 2022-09-15 15:07:43 +0200 | <Profpatsch> | absence: ftypes implements that |
| 2022-09-15 15:07:47 +0200 | <Profpatsch> | But I think it’s a dead end |
| 2022-09-15 15:08:17 +0200 | <Profpatsch> | err dtypes https://github.com/timjb/dtypes |
| 2022-09-15 15:08:21 +0200 | <Profpatsch> | (not on hackage) |
| 2022-09-15 15:10:21 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 250 seconds) |
| 2022-09-15 15:11:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-15 15:12:52 +0200 | chele_ | (~chele@user/chele) |
| 2022-09-15 15:12:52 +0200 | chele | (~chele@user/chele) (Read error: Connection reset by peer) |
| 2022-09-15 15:14:02 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-09-15 15:14:11 +0200 | thyriaen | (~thyriaen@83.137.6.59) (Read error: Connection reset by peer) |
| 2022-09-15 15:14:41 +0200 | thyriaen | (~thyriaen@83.137.6.59) |
| 2022-09-15 15:15:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 15:16:16 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-15 15:19:02 +0200 | cpli | (~cpli@77.47.62.180) (Ping timeout: 268 seconds) |
| 2022-09-15 15:20:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 15:24:00 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-09-15 15:28:31 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2022-09-15 15:28:42 +0200 | yvan-sraka | (~yvan-srak@194.78.96.162) (Remote host closed the connection) |
| 2022-09-15 15:30:20 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-15 15:31:45 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-15 15:32:51 +0200 | thyriaen_ | (~thyriaen@178.115.32.74.wireless.dyn.drei.com) |
| 2022-09-15 15:35:32 +0200 | thyriaen_ | (~thyriaen@178.115.32.74.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-09-15 15:35:35 +0200 | thyriaen | (~thyriaen@83.137.6.59) (Ping timeout: 255 seconds) |
| 2022-09-15 15:40:14 +0200 | <adamCS> | Profpatsch: There's also https://hackage.haskell.org/package/barbies-2.0.3.1/docs/Barbies.html |
| 2022-09-15 15:40:18 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-15 15:43:16 +0200 | <Profpatsch> | weird naming but ok |
| 2022-09-15 15:43:18 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-09-15 15:44:02 +0200 | <adamCS> | Profpatsch: Yeah. Had that thought as well! |
| 2022-09-15 15:44:04 +0200 | <Profpatsch> | holy crap it’s downright creepy |
| 2022-09-15 15:44:09 +0200 | <Profpatsch> | Barby.Wear |
| 2022-09-15 15:44:11 +0200 | <Profpatsch> | Barbie.Bare |
| 2022-09-15 15:44:12 +0200 | <dminuoso> | "barbies-2.0.3.1: Classes for working with types that can change clothes." |
| 2022-09-15 15:44:37 +0200 | <adamCS> | Yep. I think there are other libs... |
| 2022-09-15 15:44:38 +0200 | <dminuoso> | "Covering and stripping" |
| 2022-09-15 15:44:44 +0200 | <Profpatsch> | wtf |
| 2022-09-15 15:44:54 +0200 | <adamCS> | Yikes. I didn't read that far. |
| 2022-09-15 15:45:12 +0200 | <dminuoso> | But still, the best wordplays are from `monad-chronicle`. |
| 2022-09-15 15:45:31 +0200 | <dminuoso> | This is just golden: https://hackage.haskell.org/package/monad-chronicle-1.0.1/docs/Control-Monad-Chronicle.html#t:Mona… |
| 2022-09-15 15:47:11 +0200 | akegalj | (~akegalj@38-211.dsl.iskon.hr) |
| 2022-09-15 15:49:29 +0200 | Guest38 | (~Guest38@96.45.173.210) |
| 2022-09-15 15:50:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 15:50:36 +0200 | Guest38 | (~Guest38@96.45.173.210) (Client Quit) |
| 2022-09-15 15:52:21 +0200 | <adamCS> | Profpatsch: Maybe https://hackage.haskell.org/package/hkd ? Depends what you need |
| 2022-09-15 15:52:33 +0200 | cpli | (~cpli@77.47.62.180) |
| 2022-09-15 15:53:01 +0200 | <dminuoso> | Profpatsch: I would personally just write the boilerplate code. |
| 2022-09-15 15:53:22 +0200 | <dminuoso> | From experience, magic type libraries, higher kinded types or generics will just require so much code to write, it would be easier to just write the boiler plate. |
| 2022-09-15 15:54:02 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-09-15 15:54:26 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-15 15:54:28 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 15:54:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 15:55:20 +0200 | <dminuoso> | 14:45:44 Profpatsch | geekosaur: Can I make data Foo = Foo { bar :: Parser Int, baz :: Parser Bool } into a traversable? |
| 2022-09-15 15:55:24 +0200 | <dminuoso> | You can make it MonoTraversable |
| 2022-09-15 15:55:31 +0200 | <dminuoso> | If that helps |
| 2022-09-15 15:55:52 +0200 | dsrt^ | (~dsrt@70.88.176.185) (Ping timeout: 265 seconds) |
| 2022-09-15 15:57:40 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-09-15 16:01:58 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-15 16:03:24 +0200 | cpli | (~cpli@77.47.62.180) (Ping timeout: 264 seconds) |
| 2022-09-15 16:04:16 +0200 | <lortabac> | I think a Generic-based solution would make sense for a library, but in application code I would just write the boilerplate |
| 2022-09-15 16:05:22 +0200 | <dminuoso> | For library you can also just write MonoTraversable-polymorphic code |
| 2022-09-15 16:05:59 +0200 | <dminuoso> | `(Element t ~ Parser, MonoFoldable t) => t -> ...` |
| 2022-09-15 16:06:24 +0200 | <dminuoso> | It's way less intrusive than relying on generics |
| 2022-09-15 16:06:25 +0200 | <lortabac> | it depends whether the dependency on mono-traversable is acceptable |
| 2022-09-15 16:06:44 +0200 | <adamCS> | Profpatsch: There's also the in-between option of using one of those libraries for classes and writing the boilerplate of the instances yourself, rather than trying to get all the Generics stuff to work. That can be helpful if you want the other utilities it provides. But if all you want is to "traverse" then even that might be overkill. |
| 2022-09-15 16:06:48 +0200 | <dminuoso> | Mm interesting. I would say its more acceptable than demanding you expose all internals via Generics instance |
| 2022-09-15 16:07:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-15 16:08:09 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-15 16:08:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7f2e:515f:3d8e:4bd5) (Quit: WeeChat 2.8) |
| 2022-09-15 16:09:00 +0200 | <dminuoso> | Ah but MonoTraversable wouldnt even work |
| 2022-09-15 16:09:08 +0200 | <dminuoso> | You'd need some kind of MonoTraversable1 |
| 2022-09-15 16:13:23 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-15 16:13:48 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-15 16:14:58 +0200 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-15 16:15:27 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-15 16:17:27 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-15 16:20:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 16:22:47 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-09-15 16:23:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 16:27:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-15 16:31:46 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-15 16:32:53 +0200 | mikoto-chan | (~mikoto-ch@nat2.panoulu.net) |
| 2022-09-15 16:33:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 16:34:38 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-15 16:37:03 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-15 16:37:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-15 16:38:25 +0200 | td_ | (~td@muedsl-82-207-238-033.citykom.de) (Ping timeout: 265 seconds) |
| 2022-09-15 16:39:59 +0200 | cpli | (~cpli@77.47.62.180) |
| 2022-09-15 16:49:33 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-15 16:50:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 16:55:12 +0200 | raym | (~raym@user/raym) |
| 2022-09-15 16:55:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 16:59:08 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-15 16:59:13 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-09-15 17:00:11 +0200 | mikoto-chan | (~mikoto-ch@nat2.panoulu.net) (Ping timeout: 255 seconds) |
| 2022-09-15 17:02:01 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 268 seconds) |
| 2022-09-15 17:02:23 +0200 | waleee | (~waleee@192.165.44.49) (Ping timeout: 252 seconds) |
| 2022-09-15 17:03:38 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-09-15 17:04:09 +0200 | raym | (~raym@user/raym) |
| 2022-09-15 17:07:17 +0200 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 244 seconds) |
| 2022-09-15 17:20:30 +0200 | razetime | (~quassel@117.254.35.159) (Ping timeout: 264 seconds) |
| 2022-09-15 17:22:31 +0200 | raym | (~raym@user/raym) (Ping timeout: 260 seconds) |
| 2022-09-15 17:23:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 17:24:15 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a053c140bcb17afb1cf.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-09-15 17:24:17 +0200 | raym | (~raym@user/raym) |
| 2022-09-15 17:27:20 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-15 17:27:59 +0200 | razetime | (~quassel@117.254.35.159) |
| 2022-09-15 17:28:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 17:38:25 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-09-15 17:44:06 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 17:51:20 +0200 | Inoperable | (~PLAYER_1@fancydata.science) (Excess Flood) |
| 2022-09-15 17:53:09 +0200 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2022-09-15 17:58:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 18:00:17 +0200 | ds-ac | (ds-ac@user/ds-ac) (Quit: WeeChat 3.6) |
| 2022-09-15 18:01:01 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Remote host closed the connection) |
| 2022-09-15 18:03:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 18:04:59 +0200 | waleee | (~waleee@192.165.44.49) |
| 2022-09-15 18:06:49 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 18:10:25 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a753c140bcb17afb1cf.dip0.t-ipconnect.de) |
| 2022-09-15 18:11:29 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-09-15 18:14:12 +0200 | billykv | (~billykv@31.215.211.120) |
| 2022-09-15 18:16:59 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-09-15 18:17:24 +0200 | billykv | (~billykv@31.215.211.120) (Client Quit) |
| 2022-09-15 18:17:52 +0200 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 268 seconds) |
| 2022-09-15 18:21:34 +0200 | chele_ | (~chele@user/chele) (Remote host closed the connection) |
| 2022-09-15 18:22:17 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-15 18:25:52 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-15 18:28:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 18:30:09 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-09-15 18:33:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 18:35:24 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 18:36:40 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-09-15 18:38:26 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-09-15 18:39:22 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-15 18:43:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 18:46:31 +0200 | califax | (~califax@user/califx) |
| 2022-09-15 18:55:25 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-15 18:55:54 +0200 | <cacke> | Hi, how do i move one element from one list to another? :c |
| 2022-09-15 18:56:23 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-09-15 18:56:51 +0200 | <geekosaur> | with difficulty, because lists are linked lists, not arrays. perhaps you want Vector instead? |
| 2022-09-15 18:59:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 19:05:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 19:06:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 19:07:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 19:07:37 +0200 | razetime | (~quassel@117.254.35.159) (Remote host closed the connection) |
| 2022-09-15 19:10:14 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-09-15 19:11:46 +0200 | <int-e> | it depends on which element you want to move... move (x:xs) ys = (xs, y:ys) performs pretty well. |
| 2022-09-15 19:12:00 +0200 | <int-e> | uh |
| 2022-09-15 19:12:04 +0200 | <int-e> | ...where y = x |
| 2022-09-15 19:13:12 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-15 19:21:23 +0200 | Inoperable | (~PLAYER_1@fancydata.science) (Excess Flood) |
| 2022-09-15 19:22:12 +0200 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2022-09-15 19:23:12 +0200 | <sm> | how do you identify the element to move ? |
| 2022-09-15 19:27:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 19:27:38 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-09-15 19:29:01 +0200 | waleee | (~waleee@192.165.44.49) (Ping timeout: 265 seconds) |
| 2022-09-15 19:32:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-15 19:36:08 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-15 19:38:07 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 19:42:14 +0200 | califax | (~califax@user/califx) |
| 2022-09-15 19:46:16 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Ping timeout (120 seconds)) |
| 2022-09-15 19:48:08 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-15 19:48:26 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-15 19:53:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 19:58:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 20:01:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 20:01:44 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-15 20:02:26 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-09-15 20:02:55 +0200 | <jean-paul[m]> | I can't find stripe-core in https://www.stackage.org/lts-18.28 but after updating my stack.yaml to 18.28, I don't need stripe-core in extra-deps anymore. What's going on? |
| 2022-09-15 20:04:39 +0200 | <jean-paul[m]> | dminuoso: Do you think you will maintain servant-prometheus in the future? Or should others try to consolidate their fork efforts in one new canonical upstream? |
| 2022-09-15 20:06:37 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2022-09-15 20:07:21 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:ea0c:ba00:cd12:f6bc) (Quit: Konversation terminated!) |
| 2022-09-15 20:07:37 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 20:10:13 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Ping timeout (120 seconds)) |
| 2022-09-15 20:12:51 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-15 20:14:00 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 20:14:17 +0200 | econo | (uid147250@user/econo) |
| 2022-09-15 20:14:27 +0200 | beteigeuze | (~Thunderbi@p5090d00a.dip0.t-ipconnect.de) |
| 2022-09-15 20:15:10 +0200 | buster_blue[m] | TrueBlue[m] |
| 2022-09-15 20:18:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 20:26:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 20:31:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 20:32:32 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
| 2022-09-15 20:32:46 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Remote host closed the connection) |
| 2022-09-15 20:34:07 +0200 | <janus> | jean-paul[m]: maybe the dependency that dependended on stripe-core no longer depends on it |
| 2022-09-15 20:34:24 +0200 | <jean-paul[m]> | it's my own library that depends on it |
| 2022-09-15 20:35:27 +0200 | <jean-paul[m]> | ie, I still have `stripe-core` in cabal `build-depends` but I no longer have it in stack `extra-deps` |
| 2022-09-15 20:35:35 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 20:37:04 +0200 | <janus> | and you're building with stack? |
| 2022-09-15 20:37:16 +0200 | califax | (~califax@user/califx) |
| 2022-09-15 20:37:24 +0200 | <jean-paul[m]> | yea |
| 2022-09-15 20:37:46 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-15 20:39:12 +0200 | <janus> | maybe your stack-generated directories were somehow corrupted. you could try deleting .stack-work |
| 2022-09-15 20:39:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-15 20:39:30 +0200 | <janus> | or just moving it temporarily |
| 2022-09-15 20:39:32 +0200 | <jean-paul[m]> | oh scary :/ |
| 2022-09-15 20:39:35 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-15 20:42:30 +0200 | <janus> | jean-paul[m]: stripe-core is in https://www.stackage.org/lts-18.28/cabal.config |
| 2022-09-15 20:42:48 +0200 | <janus> | so that suggests that it is in the snapshot, i think? |
| 2022-09-15 20:43:09 +0200 | <jean-paul[m]> | Okay. That's sort of what I was hoping the answer would be. So then it's just an issue of the web list/search being broken, I guess. |
| 2022-09-15 20:43:33 +0200 | <jean-paul[m]> | (ie, https://www.stackage.org/lts-18.28/hoogle?q=stripe-core saying "no results" is just wrong ...) |
| 2022-09-15 20:44:42 +0200 | <jean-paul[m]> | Thanks for digging that out |
| 2022-09-15 20:48:20 +0200 | checkum_ | (~checkum@2604:ca00:1f0:2256::460:b236) (Ping timeout: 268 seconds) |
| 2022-09-15 20:48:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2022-09-15 20:49:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-15 20:49:19 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-09-15 20:50:59 +0200 | Sciencentistguy9 | (~sciencent@hacksoc/ordinary-member) |
| 2022-09-15 20:53:12 +0200 | perdent | (~perdent@101.175.158.254) (Quit: Client closed) |
| 2022-09-15 20:53:12 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 264 seconds) |
| 2022-09-15 20:53:12 +0200 | Sciencentistguy9 | Sciencentistguy |
| 2022-09-15 20:53:22 +0200 | checkum | (~checkum@172.58.19.163) |
| 2022-09-15 20:54:22 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-15 20:54:54 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (Read error: Connection reset by peer) |
| 2022-09-15 20:55:35 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-09-15 20:57:25 +0200 | VooBee | (~max@host-79-45-110-6.retail.telecomitalia.it) |
| 2022-09-15 20:57:44 +0200 | VooBee | (~max@host-79-45-110-6.retail.telecomitalia.it) (Client Quit) |
| 2022-09-15 20:58:51 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-15 21:00:55 +0200 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 250 seconds) |
| 2022-09-15 21:02:05 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-15 21:03:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 21:04:59 +0200 | checkum | (~checkum@172.58.19.163) (Read error: Connection reset by peer) |
| 2022-09-15 21:05:00 +0200 | vglfr | (~vglfr@145.224.94.16) (Read error: Connection reset by peer) |
| 2022-09-15 21:05:16 +0200 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-15 21:05:27 +0200 | Null_A | (~null_a@2601:645:8700:ac10:2064:ea9d:e957:861b) (Ping timeout: 244 seconds) |
| 2022-09-15 21:05:48 +0200 | <sm> | search in the page https://www.stackage.org/lts-18.28 to find out if a package is there |
| 2022-09-15 21:05:49 +0200 | <sm> | hoogle doesn't necessarily know about package names |
| 2022-09-15 21:05:50 +0200 | <sm> | also, https://www.stackage.org/lts-18.28/hoogle says "Within LTS Haskell 19.23 (ghc-9.0.2)" for some reason |
| 2022-09-15 21:05:51 +0200 | <sm> | which I guess is explained by the link right below (but still surprising, they should redirect the url) |
| 2022-09-15 21:07:01 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-15 21:09:20 +0200 | perdent | (~perdent@101.175.158.254) |
| 2022-09-15 21:09:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 21:10:17 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-15 21:11:05 +0200 | akegalj | (~akegalj@38-211.dsl.iskon.hr) (Quit: leaving) |
| 2022-09-15 21:13:12 +0200 | Null_A | (~null_a@2601:645:8700:ac10:4003:febd:5f86:3cc5) |
| 2022-09-15 21:17:08 +0200 | kuribas | (~user@ptr-17d51eni125c2awwl05.18120a2.ip6.access.telenet.be) |
| 2022-09-15 21:17:49 +0200 | <kuribas> | Is there a way to "compose" Constraints into a new constraint? |
| 2022-09-15 21:18:05 +0200 | <kuribas> | "type Cs = (C1, C2)" works, however the synonym cannot be used in many ways. |
| 2022-09-15 21:18:41 +0200 | <kuribas> | I can do "class (C1 a, C2 a) => Cs a", then "instance (C1 a, C2 a) => Cs a" |
| 2022-09-15 21:18:47 +0200 | <kuribas> | Is there no better way? |
| 2022-09-15 21:19:49 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-15 21:20:09 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 252 seconds) |
| 2022-09-15 21:21:00 +0200 | int-e | (~noone@int-e.eu) (Remote host closed the connection) |
| 2022-09-15 21:21:33 +0200 | <jean-paul[m]> | Uhhh wow. I completely overlooked the fact that the search box on stackage.org is for Hoogle, not stackage. |
| 2022-09-15 21:21:48 +0200 | int-e | (~noone@int-e.eu) |
| 2022-09-15 21:22:02 +0200 | slack1256 | (~slack1256@186.11.84.213) |
| 2022-09-15 21:22:26 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7822:482b:3ba1:f27f) |
| 2022-09-15 21:22:45 +0200 | <geekosaur> | I *think* it's a hoogle instance indexing stackage |
| 2022-09-15 21:23:13 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-15 21:23:20 +0200 | <geekosaur> | (hoogle.haskell.org also indexes Stackage LTS but provides other databases as options) |
| 2022-09-15 21:23:47 +0200 | <jean-paul[m]> | I did also try some searches for stripe modules, like Web.Stripe.Types, but it doesn't return results for those either. So I guess the Hoogle part isn't working so well. |
| 2022-09-15 21:24:09 +0200 | <kuribas> | I could make a TH function to abstract this away... |
| 2022-09-15 21:24:42 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2022-09-15 21:24:46 +0200 | vglfr | (~vglfr@145.224.94.16) (Read error: Connection reset by peer) |
| 2022-09-15 21:24:58 +0200 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-15 21:25:19 +0200 | <lyle> | What does the ":@" mean in "toMock :: Eq1 r => Model r -> Cmd :@ r -> Cmd MHandle"? |
| 2022-09-15 21:25:24 +0200 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-15 21:25:25 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2022-09-15 21:25:25 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2022-09-15 21:25:25 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2022-09-15 21:25:50 +0200 | <lyle> | Just the name of the extension or something to base a google search on? |
| 2022-09-15 21:25:56 +0200 | <geekosaur> | lyle, : prefix marks an infix constructor name |
| 2022-09-15 21:26:16 +0200 | <lyle> | geekosaur: thanks! |
| 2022-09-15 21:26:19 +0200 | <geekosaur> | so something has a type constructor named :@ |
| 2022-09-15 21:27:14 +0200 | checkum | (~checkum@136.22.79.3) |
| 2022-09-15 21:27:44 +0200 | checkum | (~checkum@136.22.79.3) (Read error: Connection reset by peer) |
| 2022-09-15 21:27:48 +0200 | <geekosaur> | hoogle shows me a number of possibilities but I don't know which of them might be relevant |
| 2022-09-15 21:31:42 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |
| 2022-09-15 21:32:20 +0200 | desophos[m] | (~desophosm@2001:470:69fc:105::2:81d9) |
| 2022-09-15 21:33:44 +0200 | slac51150 | (~slack1256@191.126.99.210) |
| 2022-09-15 21:35:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7822:482b:3ba1:f27f) (Ping timeout: 260 seconds) |
| 2022-09-15 21:35:09 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2022-09-15 21:36:01 +0200 | slack1256 | (~slack1256@186.11.84.213) (Ping timeout: 250 seconds) |
| 2022-09-15 21:36:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 21:37:45 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2022-09-15 21:40:01 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 21:40:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 21:41:38 +0200 | pavonia | (~user@user/siracusa) |
| 2022-09-15 21:42:03 +0200 | td_ | (~td@muedsl-82-207-238-033.citykom.de) |
| 2022-09-15 21:43:11 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Read error: Connection reset by peer) |
| 2022-09-15 21:45:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-09-15 21:46:16 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-15 21:49:06 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 260 seconds) |
| 2022-09-15 21:49:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-15 21:51:06 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Client closed) |
| 2022-09-15 21:52:23 +0200 | kuribas | (~user@ptr-17d51eni125c2awwl05.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-09-15 21:52:54 +0200 | <jean-paul[m]> | I "wrote" this code today - https://github.com/PrivateStorageio/servant-prometheus/pull/2/files#diff-3c8b3c0ac5f2136f9d1fcb2c3… - but I don't really understand it. For example, how can that `getEndpoints` return a value including `method`? Isn't `method` a type-level variable? |
| 2022-09-15 21:53:41 +0200 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Ping timeout: 268 seconds) |
| 2022-09-15 21:54:26 +0200 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) |
| 2022-09-15 21:54:54 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-09-15 21:55:09 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-15 21:56:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 21:59:33 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-15 22:00:24 +0200 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:dae7:5838:d509:e103) (Ping timeout: 264 seconds) |
| 2022-09-15 22:06:03 +0200 | <geekosaur> | jean-paul[m], type and value level namespaces are distinct, so the `method` defined in the `where` clause is only related to the one at type level by that being used with `Proxy :: Proxy method` |
| 2022-09-15 22:06:39 +0200 | <jean-paul[m]> | Oh man. And there's a where clause right below defining it at the value level. |
| 2022-09-15 22:06:54 +0200 | <geekosaur> | right |
| 2022-09-15 22:07:02 +0200 | <jean-paul[m]> | How embarrassing. Thanks. |
| 2022-09-15 22:07:35 +0200 | <geekosaur> | this confuses people enough that it's often considered a bad idea to define the same name at both type and value level |
| 2022-09-15 22:09:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 22:10:27 +0200 | coot | (~coot@213.134.176.158) (Ping timeout: 265 seconds) |
| 2022-09-15 22:12:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 22:14:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 22:14:15 +0200 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-15 22:25:32 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-09-15 22:27:14 +0200 | checkum | (~checkum@172.58.19.60) |
| 2022-09-15 22:29:20 +0200 | wolfshappen | (~waff@irc.furworks.de) (Quit: later) |
| 2022-09-15 22:29:47 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-15 22:30:10 +0200 | janus | (janus@anubis.0x90.dk) () |
| 2022-09-15 22:31:55 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-09-15 22:36:48 +0200 | <zzz> | i always wondered why data constructors are uppercase |
| 2022-09-15 22:37:12 +0200 | <zzz> | but i guess it's usefull to signal that no "smart constructury" things are going on when using them |
| 2022-09-15 22:37:23 +0200 | <geekosaur> | so pattern matching can tell the difference between a constructor (for structure) vs. a variable binding |
| 2022-09-15 22:38:20 +0200 | <zzz> | geekosaur: ah that makes sense. my personal style is to use | x <- whatever (pattern guards) everywhere so i don't even considered that |
| 2022-09-15 22:39:40 +0200 | checkum | (~checkum@172.58.19.60) (Read error: Connection reset by peer) |
| 2022-09-15 22:40:02 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-09-15 22:41:29 +0200 | <zzz> | but in that case; parenthesis could disambiguate it anyways. `f (just x) = ...` vs `f just x = ...` |
| 2022-09-15 22:42:17 +0200 | <zzz> | i mean, nothing |
| 2022-09-15 22:42:31 +0200 | <zzz> | whatever |
| 2022-09-15 22:42:36 +0200 | <zzz> | time to take a break |
| 2022-09-15 22:42:38 +0200 | <geekosaur> | foo (Left x) vs. foo (Right x) |
| 2022-09-15 22:42:54 +0200 | <geekosaur> | vs. foo (Left Nothing) |
| 2022-09-15 22:43:08 +0200 | <zzz> | yeah i see it now |
| 2022-09-15 22:44:25 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-15 22:45:48 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-15 22:48:40 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-15 22:49:09 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-15 22:50:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 22:54:07 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Ping timeout: 268 seconds) |
| 2022-09-15 22:54:35 +0200 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2022-09-15 22:54:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 22:55:13 +0200 | checkum | (~checkum@172.58.22.205) |
| 2022-09-15 22:55:26 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-09-15 22:57:06 +0200 | checkum | (~checkum@172.58.22.205) (Read error: Connection reset by peer) |
| 2022-09-15 23:01:41 +0200 | dawdler | (035b60b5aa@user/dawdler) (Remote host closed the connection) |
| 2022-09-15 23:01:45 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-15 23:02:33 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-15 23:02:35 +0200 | dawdler | (~dawdler@user/dawdler) |
| 2022-09-15 23:05:13 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Ping timeout (120 seconds)) |
| 2022-09-15 23:12:08 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-15 23:14:29 +0200 | mixphix | (~cigsender@74.124.58.162) |
| 2022-09-15 23:20:04 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-15 23:22:55 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-09-15 23:23:01 +0200 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-15 23:23:04 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-15 23:23:13 +0200 | cacke | wah |
| 2022-09-15 23:23:56 +0200 | wah | guest1234567 |
| 2022-09-15 23:24:30 +0200 | guest1234567 | (~cacke@mainpc.lha.sgsnet.se) (Client Quit) |
| 2022-09-15 23:24:38 +0200 | jrm | (~jrm@user/jrm) |
| 2022-09-15 23:25:01 +0200 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) |
| 2022-09-15 23:25:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 23:27:14 +0200 | checkum | (~checkum@172.58.22.205) |
| 2022-09-15 23:30:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 23:36:18 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2022-09-15 23:37:33 +0200 | jrm | (~jrm@user/jrm) |
| 2022-09-15 23:38:15 +0200 | checkum | (~checkum@172.58.22.205) (Read error: Connection reset by peer) |
| 2022-09-15 23:38:41 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-15 23:44:35 +0200 | dawdler | (~dawdler@user/dawdler) (Quit: leaving) |
| 2022-09-15 23:45:42 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-15 23:47:01 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-15 23:50:07 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |