| 2022-08-20 00:00:19 +0200 | <iqubic> | So, I have a variable "xs :: Text" with some newline characters in it and when I use `print xs` I get everything printed in a single line like "FOO\nBAR\n\nBAZ". Is there a way to get GHC to print this out on different lines? I'm executing this in GHCi, if that matters. Maybe GHCi just does things in a different way than I was expecting. |
| 2022-08-20 00:01:02 +0200 | <sm> | putStrLn |
| 2022-08-20 00:01:04 +0200 | thatcher | (lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-20 00:01:47 +0200 | leah_ | (lp0@heathens.club) |
| 2022-08-20 00:02:02 +0200 | <dsal> | iqubic: Print is going to call Show, which is not what you want. |
| 2022-08-20 00:02:09 +0200 | <sm> | oh.. but the one imported from Data.Text.IO I think. |
| 2022-08-20 00:02:25 +0200 | <dsal> | Look at https://hackage.haskell.org/package/text-2.0.1/docs/Data-Text-IO.html |
| 2022-08-20 00:06:27 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:99bb:869:d96c:69da) (Remote host closed the connection) |
| 2022-08-20 00:07:47 +0200 | <iqubic> | Thanks dsal! |
| 2022-08-20 00:14:12 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-20 00:15:41 +0200 | <iqubic> | `T.putStrLn` is what I was looking for. |
| 2022-08-20 00:19:49 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-08-20 00:24:52 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-08-20 00:24:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-20 00:25:18 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-20 00:25:51 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 268 seconds) |
| 2022-08-20 00:29:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-08-20 00:38:10 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-20 00:49:24 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-20 00:49:59 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 00:52:27 +0200 | MajorBiscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) |
| 2022-08-20 01:04:38 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-20 01:07:59 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-20 01:08:11 +0200 | bilegeek | (~bilegeek@2600:1008:b061:7c30:f8c3:4d61:f45e:8611) |
| 2022-08-20 01:09:15 +0200 | einfair | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) |
| 2022-08-20 01:09:27 +0200 | <einfair> | how to define operator "|" ? |
| 2022-08-20 01:10:11 +0200 | <geekosaur> | you can't; it's reserved |
| 2022-08-20 01:12:33 +0200 | <geekosaur> | you might use unicode alternatives, but then you need to figure out how to type them (e.g. ¦) |
| 2022-08-20 01:13:09 +0200 | <geekosaur> | you can also use | as part of a larger operator, but it can't be used by itself |
| 2022-08-20 01:14:09 +0200 | <dsal> | einfair: What do you want it to represent? |
| 2022-08-20 01:14:15 +0200 | <hpc> | "reserved" isn't quite right, because it doesn't act like an identifier |
| 2022-08-20 01:14:17 +0200 | <hpc> | it's syntax |
| 2022-08-20 01:14:27 +0200 | <hpc> | like '=' and 'import' |
| 2022-08-20 01:15:13 +0200 | foul_owl | (~kerry@23.82.194.107) (Ping timeout: 268 seconds) |
| 2022-08-20 01:16:28 +0200 | <einfair> | logical OR i want - ∨ |
| 2022-08-20 01:16:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-20 01:16:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-20 01:18:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-20 01:18:30 +0200 | <hpc> | :t (||) |
| 2022-08-20 01:18:32 +0200 | <lambdabot> | Bool -> Bool -> Bool |
| 2022-08-20 01:18:42 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-20 01:18:51 +0200 | <hpc> | and bitwise or is... |
| 2022-08-20 01:18:54 +0200 | <hpc> | :t (.|.) |
| 2022-08-20 01:18:56 +0200 | <lambdabot> | Bits a => a -> a -> a |
| 2022-08-20 01:19:10 +0200 | <jean-paul[m]> | look at those little bits, they're so cute |
| 2022-08-20 01:21:21 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 2022-08-20 01:22:11 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-08-20 01:23:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 01:28:14 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-20 01:28:43 +0200 | <dsal> | I did `(∥) = Data.Bits.(.|.)` once. |
| 2022-08-20 01:29:17 +0200 | <dsal> | Though all I ended up needing in this project was `(≫) = shiftR` and `(⊕) = xor` |
| 2022-08-20 01:30:51 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) |
| 2022-08-20 01:33:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-20 01:41:03 +0200 | <sm> | how is https://hackage.haskell.org/package/lens-5.2/docs/Control-Lens-Combinators.html#v:use different from MonadState's get ? It's a lens, so you can do more lensy things with it ? |
| 2022-08-20 01:41:59 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-20 01:42:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 01:45:13 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-20 01:47:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-20 01:48:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 01:51:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-20 01:52:18 +0200 | <qrpnxz> | sm: use is get for a subset determined by a lens |
| 2022-08-20 01:52:31 +0200 | <qrpnxz> | (or rather an getter i believe) |
| 2022-08-20 01:52:53 +0200 | <qrpnxz> | view is the same thing for reader |
| 2022-08-20 01:53:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-20 01:55:12 +0200 | <dsal> | I think the idea is that you can compose the getter. I don't use lens with state very much, though. |
| 2022-08-20 01:56:19 +0200 | <qrpnxz> | see also magnify and zoom, which expand on withReader/local |
| 2022-08-20 01:56:24 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.5) |
| 2022-08-20 01:57:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2022-08-20 01:57:55 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) (Ping timeout: 248 seconds) |
| 2022-08-20 01:58:40 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 02:00:03 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-08-20 02:00:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-20 02:00:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Client Quit) |
| 2022-08-20 02:01:07 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 02:03:55 +0200 | Guest27 | (~Guest27@n1-43-231-245.mas2.nsw.optusnet.com.au) |
| 2022-08-20 02:04:30 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Client Quit) |
| 2022-08-20 02:04:59 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 02:05:19 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-08-20 02:05:28 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-20 02:07:45 +0200 | <qrpnxz> | example: fmap toList . (`execStateT` ('h':|"ello")) $ do { h <- use head1; (lift . print) h; zoom last1 (get >>= lift . print >> put 'a'); } |
| 2022-08-20 02:09:26 +0200 | bilegeek | (~bilegeek@2600:1008:b061:7c30:f8c3:4d61:f45e:8611) (Quit: Leaving) |
| 2022-08-20 02:10:05 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-20 02:10:29 +0200 | <sm> | thanks |
| 2022-08-20 02:11:36 +0200 | foul_owl | (~kerry@23.82.194.107) |
| 2022-08-20 02:11:57 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:4100:194d:beae:942b:9603) (Ping timeout: 268 seconds) |
| 2022-08-20 02:15:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 02:15:30 +0200 | mikess | (~sam@user/mikess) |
| 2022-08-20 02:15:43 +0200 | iqubic | (~iqubic@2601:602:9502:c70:b32a:b8a9:2eb9:d17) (Quit: Client closed) |
| 2022-08-20 02:16:45 +0200 | MajorBiscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) (Quit: WeeChat 3.5) |
| 2022-08-20 02:24:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-20 02:30:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-20 02:31:35 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 252 seconds) |
| 2022-08-20 02:33:39 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-20 02:37:05 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:43a5:1495:9982:3e5e) |
| 2022-08-20 02:37:34 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-20 02:38:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 02:38:35 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-20 02:40:51 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-08-20 02:41:20 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-20 02:42:02 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-08-20 02:43:41 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 252 seconds) |
| 2022-08-20 02:46:05 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-20 02:47:24 +0200 | Rumham347 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) (Ping timeout: 252 seconds) |
| 2022-08-20 02:54:07 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-08-20 02:55:05 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-20 02:55:06 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-20 02:55:06 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-20 02:58:12 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-20 03:00:05 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-b4e0-8ace-bf5e-83e4.res6.spectrum.com) (Ping timeout: 268 seconds) |
| 2022-08-20 03:03:47 +0200 | Sciencentistguy0 | (~sciencent@hacksoc/ordinary-member) |
| 2022-08-20 03:06:11 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 268 seconds) |
| 2022-08-20 03:06:11 +0200 | Sciencentistguy0 | Sciencentistguy |
| 2022-08-20 03:12:17 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-0cc7-7d4a-4464-7c91.res6.spectrum.com) |
| 2022-08-20 03:14:30 +0200 | etra0 | (~quassel@186-78-138-177.baf.movistar.cl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-20 03:15:13 +0200 | Guest27 | (~Guest27@n1-43-231-245.mas2.nsw.optusnet.com.au) (Quit: Client closed) |
| 2022-08-20 03:19:45 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-20 03:20:10 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-20 03:33:19 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2022-08-20 03:34:19 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-20 03:36:06 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:43a5:1495:9982:3e5e) (Remote host closed the connection) |
| 2022-08-20 03:37:03 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-20 03:38:31 +0200 | Rumham347 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) |
| 2022-08-20 03:39:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-20 03:39:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-08-20 03:40:55 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2022-08-20 03:43:10 +0200 | Guest27 | (~Guest27@203.63.7.170) |
| 2022-08-20 03:49:12 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-20 03:49:25 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-20 03:49:28 +0200 | <zzz> | g: can you expand on that? i'm having some trouble understanding from docs alone where vty stands in relation to ansi-terminal |
| 2022-08-20 03:50:17 +0200 | <zzz> | i had an idea that vty was lower level and at was based on vty but that seems to be wrong? |
| 2022-08-20 03:50:24 +0200 | <zzz> | memory eludes me |
| 2022-08-20 03:51:41 +0200 | <zzz> | i will fiddle with both on monday |
| 2022-08-20 03:51:57 +0200 | <zzz> | that's my plan |
| 2022-08-20 03:52:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 03:54:50 +0200 | <Clint> | zzz: are you thinking of brick? |
| 2022-08-20 03:56:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-08-20 03:57:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-20 03:59:06 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-20 04:00:54 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:43a5:1495:9982:3e5e) |
| 2022-08-20 04:03:34 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2022-08-20 04:03:35 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-20 04:06:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-08-20 04:06:43 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-20 04:06:43 +0200 | finn_elija | FinnElija |
| 2022-08-20 04:07:42 +0200 | Rumham347 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) (Ping timeout: 252 seconds) |
| 2022-08-20 04:08:17 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6) |
| 2022-08-20 04:09:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 04:13:45 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-20 04:18:43 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2022-08-20 04:19:13 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-20 04:22:27 +0200 | td_ | (~td@94.134.91.58) (Ping timeout: 248 seconds) |
| 2022-08-20 04:24:09 +0200 | td_ | (~td@muedsl-82-207-238-122.citykom.de) |
| 2022-08-20 04:24:58 +0200 | <g> | Brick takes control of your application architecture. It operates in terms of widgets |
| 2022-08-20 04:25:21 +0200 | <g> | Vty is image construction and event processing |
| 2022-08-20 04:25:57 +0200 | <g> | Ansi-terminal is just stuff for moving the cursor around manually, setting the color and style at the current cursor position |
| 2022-08-20 04:32:21 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-20 04:37:42 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-08-20 04:40:48 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-08-20 04:42:11 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 248 seconds) |
| 2022-08-20 04:44:01 +0200 | ddellacosta | (~ddellacos@89.45.224.73) |
| 2022-08-20 04:46:47 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-08-20 04:49:12 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-20 04:52:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2022-08-20 04:53:07 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-20 04:53:30 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-20 04:53:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 04:53:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Client Quit) |
| 2022-08-20 04:54:43 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 04:59:29 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Client Quit) |
| 2022-08-20 05:00:31 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 05:04:54 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-20 05:11:40 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-08-20 05:12:03 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 248 seconds) |
| 2022-08-20 05:16:52 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-20 05:17:48 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-08-20 05:21:56 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-08-20 05:22:03 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-08-20 05:23:53 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 05:28:44 +0200 | Guest27 | (~Guest27@203.63.7.170) (Ping timeout: 252 seconds) |
| 2022-08-20 05:39:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-20 05:39:16 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-20 05:39:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-20 05:39:59 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-20 05:44:09 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-20 05:44:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-20 05:58:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-20 06:04:11 +0200 | <L29Ah> | is there some code to convert a regular product of types into a tuple or a fixed-length vector? |
| 2022-08-20 06:05:13 +0200 | <L29Ah> | i think of working with a data record with named fields for ser/des and preprocessing purposes, and then working with it as an array, to do matrixy stuff, etc |
| 2022-08-20 06:07:11 +0200 | mikess | (~sam@user/mikess) |
| 2022-08-20 06:07:30 +0200 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2022-08-20 06:09:16 +0200 | yopri | (~yopri@1.186.122.15) |
| 2022-08-20 06:09:40 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2022-08-20 06:10:37 +0200 | <jackdk> | GHC Generics? |
| 2022-08-20 06:11:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 06:11:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 06:12:59 +0200 | <L29Ah> | jackdk: yes, but they are annoying to work with, so i hoped it's already written :) |
| 2022-08-20 06:13:23 +0200 | <jackdk> | @hackage generics-eot |
| 2022-08-20 06:13:23 +0200 | <lambdabot> | https://hackage.haskell.org/package/generics-eot |
| 2022-08-20 06:13:25 +0200 | <jackdk> | Maybe this? |
| 2022-08-20 06:14:19 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-20 06:15:20 +0200 | caffery156 | (~caffery@user/caffery156) |
| 2022-08-20 06:16:03 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-20 06:20:33 +0200 | Rumham347 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) |
| 2022-08-20 06:20:42 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 256 seconds) |
| 2022-08-20 06:27:51 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-08-20 06:33:53 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-20 06:41:24 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2022-08-20 06:41:39 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2022-08-20 06:41:56 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 06:46:27 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-08-20 06:47:01 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-20 06:49:05 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-20 06:50:08 +0200 | yopri | (~yopri@1.186.122.15) (Quit: Konversation terminated!) |
| 2022-08-20 06:52:51 +0200 | luffy | (~chenqisu1@183.217.200.212) (Ping timeout: 248 seconds) |
| 2022-08-20 06:56:44 +0200 | Rumham347 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) (Ping timeout: 252 seconds) |
| 2022-08-20 07:02:34 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-20 07:04:57 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-20 07:06:02 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-20 07:10:34 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 256 seconds) |
| 2022-08-20 07:12:21 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-20 07:12:58 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-20 07:17:47 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-20 07:23:17 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-20 07:28:08 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 256 seconds) |
| 2022-08-20 07:28:54 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-20 07:33:15 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-20 07:33:24 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-08-20 07:34:05 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-20 07:35:31 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 248 seconds) |
| 2022-08-20 07:42:05 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-20 07:50:06 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-08-20 07:50:07 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-20 07:50:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 07:51:03 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-20 07:56:28 +0200 | ddellacosta | (~ddellacos@89.45.224.73) (Ping timeout: 256 seconds) |
| 2022-08-20 07:56:29 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-08-20 07:56:54 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-20 07:58:59 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-20 08:03:21 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-08-20 08:03:25 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-20 08:04:20 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:a35d:f509:3d33:3205) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-08-20 08:04:39 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:e4dc:49f0:fa32:b190) |
| 2022-08-20 08:07:49 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-08-20 08:08:58 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-20 08:13:59 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-20 08:20:58 +0200 | kenran | (~kenran@200116b82bb4f20005b1fa7e71ffc91e.dip.versatel-1u1.de) |
| 2022-08-20 08:45:37 +0200 | kenran | (~kenran@200116b82bb4f20005b1fa7e71ffc91e.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-20 08:54:11 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-20 08:54:30 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-20 09:01:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-20 09:06:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-20 09:07:01 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-20 09:08:47 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 268 seconds) |
| 2022-08-20 09:10:26 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-08-20 09:14:25 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-20 09:17:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-20 09:21:00 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) |
| 2022-08-20 09:29:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 09:34:19 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-20 09:39:29 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2022-08-20 09:43:24 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:58e8:4521:87a3:64ff) |
| 2022-08-20 09:43:37 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-20 09:47:10 +0200 | zincy | (~tom@2a00:23c8:970c:4801:311e:408a:9fbc:9900) (Ping timeout: 268 seconds) |
| 2022-08-20 09:49:33 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:313a:a3d3:4844:3efc) |
| 2022-08-20 09:50:40 +0200 | <mastarija> | I was wondering, is there any research / library that would allow me to explicitly state what exceptions can appear in a function? |
| 2022-08-20 09:51:30 +0200 | <mastarija> | e.g. `MightThrow '[CustomError1, CustomError2, ...] => Int -> Int` |
| 2022-08-20 09:53:48 +0200 | <mastarija> | And then I might do a catch like this `catch @CustomError1 ( myFun 10 ) $ myFun 10` which would produce a result `MightThrow `[CustomError2, ...] => Int` |
| 2022-08-20 10:01:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-20 10:01:39 +0200 | mmhat | (~mmh@p200300f1c7086094ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-08-20 10:05:38 +0200 | <L29Ah> | mastarija: exceptions in ghc haskell are just a monkey patch around "rare" problems with IO, arithmetics and other stuff where the devs decided not be very functionally total and mostly bypass the haskell type system; if you want totality, use Either or ExceptT |
| 2022-08-20 10:05:54 +0200 | <L29Ah> | tho https://www.well-typed.com/blog/2015/07/checked-exceptions/ tries to address your request |
| 2022-08-20 10:09:02 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-20 10:13:34 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-08-20 10:14:14 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-20 10:16:01 +0200 | <mastarija> | L29Ah, I'm mostly interested in having errors visible in type, and I do prefer total functions. I guess I'd be happy with something like `Either '[Err1, Err2, ...] Value` |
| 2022-08-20 10:18:10 +0200 | <mastarija> | But how would I deal with e.g. `v1 <- fun1 :: Either '[Err1, Err2] Value; v2 <- fun2 :: Either '[Err3, Err4] Value`? |
| 2022-08-20 10:19:08 +0200 | <mastarija> | These two Eithers are obviously not the same monad, and the overarching monad would have to be `Either '[Err1, Err2, Err3, Err4] Value` |
| 2022-08-20 10:19:49 +0200 | <mastarija> | L29Ah, If you know about the research on something like that as well I'd be grateful. In fact, this would be my preferred solution. |
| 2022-08-20 10:21:20 +0200 | <mastarija> | Although, I do wonder how we would generate a callstack in a situation like this. |
| 2022-08-20 10:21:23 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-20 10:21:51 +0200 | <mastarija> | I'd still like to know where an error has originated from. |
| 2022-08-20 10:22:02 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-20 10:32:48 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-20 10:33:11 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-20 10:34:08 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-20 10:34:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-20 10:34:38 +0200 | acidjnk | (~acidjnk@p200300d6e7137a79a5cb5e916b48df9e.dip0.t-ipconnect.de) |
| 2022-08-20 10:35:33 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:313a:a3d3:4844:3efc) (Quit: Leaving) |
| 2022-08-20 10:35:52 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:313a:a3d3:4844:3efc) |
| 2022-08-20 10:36:09 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:313a:a3d3:4844:3efc) (Client Quit) |
| 2022-08-20 10:38:13 +0200 | biberu | (~biberu@user/biberu) |
| 2022-08-20 10:40:59 +0200 | <Athas> | I didn't know about Cabal scripts until recently. That's a feature I'll be using frequently, I think. |
| 2022-08-20 10:43:42 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-20 10:45:21 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-20 10:47:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 10:47:51 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-20 10:49:39 +0200 | acidjnk | (~acidjnk@p200300d6e7137a79a5cb5e916b48df9e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-20 10:49:51 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-20 10:53:57 +0200 | MajorBiscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) |
| 2022-08-20 10:56:20 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-20 11:00:17 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-20 11:03:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-20 11:04:56 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-08-20 11:07:07 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) (Ping timeout: 252 seconds) |
| 2022-08-20 11:08:19 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 248 seconds) |
| 2022-08-20 11:10:05 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-08-20 11:13:45 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-20 11:14:06 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-20 11:19:12 +0200 | Guest77 | (~Guest77@5-43-164-69.dsl.optinet.hr) |
| 2022-08-20 11:20:07 +0200 | Guest77 | (~Guest77@5-43-164-69.dsl.optinet.hr) (Client Quit) |
| 2022-08-20 11:24:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-20 11:26:04 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-20 11:26:37 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-20 11:28:38 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-20 11:29:02 +0200 | califax | (~califax@user/califx) |
| 2022-08-20 11:29:59 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-20 11:30:53 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-08-20 11:33:54 +0200 | dos__^^ | (~user@user/dos/x-1723657) |
| 2022-08-20 11:40:38 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-08-20 11:41:59 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-20 11:47:27 +0200 | mikail | (~mikail@2a02:c7f:bc47:8c00:eb67:16d4:b37b:e62e) |
| 2022-08-20 11:49:06 +0200 | malte | (~malte@mal.tc) |
| 2022-08-20 11:51:04 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 256 seconds) |
| 2022-08-20 11:53:22 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-20 12:00:04 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-20 12:02:31 +0200 | caffery156 | (~caffery@user/caffery156) (Quit: WeeChat 3.6) |
| 2022-08-20 12:02:57 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-20 12:04:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2022-08-20 12:06:25 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 268 seconds) |
| 2022-08-20 12:27:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-20 12:27:26 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-20 12:27:47 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-20 12:30:19 +0200 | luffy | (~chenqisu1@183.217.200.212) (Remote host closed the connection) |
| 2022-08-20 12:30:45 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-20 12:38:18 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-20 12:39:15 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2022-08-20 12:44:35 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 255 seconds) |
| 2022-08-20 12:46:02 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-20 12:47:45 +0200 | SebastianM | (~seba@user/sebastianm) |
| 2022-08-20 12:47:59 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-20 12:50:57 +0200 | SebastianM | (~seba@user/sebastianm) (Client Quit) |
| 2022-08-20 12:52:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-20 12:53:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-20 12:53:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-20 12:58:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-08-20 13:06:16 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Remote host closed the connection) |
| 2022-08-20 13:08:24 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-20 13:11:58 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-08-20 13:14:08 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-20 13:17:36 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-08-20 13:20:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-20 13:26:59 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-20 13:28:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2022-08-20 13:29:39 +0200 | luffy | (~chenqisu1@183.217.200.212) (Ping timeout: 248 seconds) |
| 2022-08-20 13:30:40 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-20 13:31:38 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-08-20 13:35:11 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 268 seconds) |
| 2022-08-20 13:35:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-20 13:38:35 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-20 13:38:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-20 13:45:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2022-08-20 13:49:05 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) |
| 2022-08-20 13:51:23 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-20 13:54:19 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-20 14:02:32 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2022-08-20 14:04:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-20 14:08:12 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) (Ping timeout: 256 seconds) |
| 2022-08-20 14:13:40 +0200 | dos__^^ | (~user@user/dos/x-1723657) (Remote host closed the connection) |
| 2022-08-20 14:14:47 +0200 | dos__^^ | (~user@user/dos/x-1723657) |
| 2022-08-20 14:16:49 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-20 14:17:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 14:24:44 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) |
| 2022-08-20 14:25:57 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-08-20 14:45:51 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-20 14:46:20 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-20 14:47:03 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-20 14:50:08 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2022-08-20 14:52:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-20 14:52:53 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-20 14:54:15 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-20 14:54:32 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-20 14:56:38 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-20 14:56:54 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-20 14:59:26 +0200 | <Profpatsch> | Is it possible to have an accumulating error type like Validation that implements Monad? |
| 2022-08-20 15:00:02 +0200 | <Profpatsch> | I want to write a parser which is able to accumulate errors for Applicatives, but still use values monadically (in which case it fails with the first error) |
| 2022-08-20 15:00:33 +0200 | <Profpatsch> | So you can have (f <$> a <*> (b >>= fc)) and if a fails and fc fails, you get two errors |
| 2022-08-20 15:01:41 +0200 | kenran | (~kenran@200116b82bb4f200de50972f543be240.dip.versatel-1u1.de) |
| 2022-08-20 15:02:11 +0200 | <Profpatsch> | but in particular Validation does not implement Monad because mab `ap` mb = { ab <- mab ; a <- ma; pure $ ab a } is not the same as its `<*>` |
| 2022-08-20 15:04:31 +0200 | <Profpatsch> | The Applicative class states: > if f is also a Monad, it should satisfy: m1 <*> m2 = m1 >>= (x1 -> m2 >>= (x2 -> return (x1 x2))) |
| 2022-08-20 15:05:29 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-20 15:06:24 +0200 | <hpc> | what if you made it always carry on, and then define another function that adds back exit on failure as needed? |
| 2022-08-20 15:06:44 +0200 | <hpc> | f <$> a <*> (strict b >>= fc) |
| 2022-08-20 15:06:57 +0200 | <Profpatsch> | I checked the Monad instance of These, it also prefers This and ignores That |
| 2022-08-20 15:07:07 +0200 | <Profpatsch> | So it does the shortcutting |
| 2022-08-20 15:07:29 +0200 | <Profpatsch> | (in the Applicative instance) |
| 2022-08-20 15:08:17 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) (Ping timeout: 256 seconds) |
| 2022-08-20 15:09:44 +0200 | <hpc> | hmm, or maybe something like |
| 2022-08-20 15:10:10 +0200 | <hpc> | do { [a, b] <- allErrors [a, b >>= fc]; pure (f a b) } |
| 2022-08-20 15:10:44 +0200 | <Profpatsch> | hpc: in that case I’d rather define a specialized >>= function which ignores that particular law |
| 2022-08-20 15:11:23 +0200 | <Profpatsch> | I guess error accumulation and Monad just don’t fit particularly well |
| 2022-08-20 15:11:41 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2022-08-20 15:11:44 +0200 | <hpc> | it's more like, you have both an error and a writer |
| 2022-08-20 15:11:58 +0200 | <hpc> | at least, how i see it |
| 2022-08-20 15:12:17 +0200 | <hpc> | so you have to pick and choose which effect the errors apply to |
| 2022-08-20 15:12:29 +0200 | <Profpatsch> | Shortcutting errors are most of the time not a good practice tbh |
| 2022-08-20 15:12:47 +0200 | <hpc> | maybe a different (>>=) would work fine too though, if you don't mind losing do notation... |
| 2022-08-20 15:12:55 +0200 | <Profpatsch> | They lead to useless error messages and a very bad debugging cycle |
| 2022-08-20 15:13:09 +0200 | <Profpatsch> | Maybe RebindableDoNotation or whatever it’s called |
| 2022-08-20 15:13:32 +0200 | <hpc> | although, how is your parser going to continue in a sensible way once it's encountered an error? |
| 2022-08-20 15:14:03 +0200 | <Profpatsch> | hpc: you are thinking to imperatively |
| 2022-08-20 15:14:13 +0200 | <Profpatsch> | I’m parsing json, which is already structured |
| 2022-08-20 15:14:20 +0200 | <Profpatsch> | s/to/too |
| 2022-08-20 15:14:32 +0200 | <hpc> | and the schema is going to be part of the parsing, i guess |
| 2022-08-20 15:14:40 +0200 | <Profpatsch> | So parsers for keys in an attrset can fail independently of each other |
| 2022-08-20 15:14:46 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) |
| 2022-08-20 15:14:52 +0200 | <hpc> | so as long as it's syntactically valid, you're not parsing an ordered stream like Text or Bytestring |
| 2022-08-20 15:15:10 +0200 | <hpc> | yeah |
| 2022-08-20 15:15:22 +0200 | <Profpatsch> | A parser is just something going from more to less entropy |
| 2022-08-20 15:15:30 +0200 | <Profpatsch> | doesn’t have to be a linear stream of tokens |
| 2022-08-20 15:15:39 +0200 | <hpc> | maybe you just have two parsers then? |
| 2022-08-20 15:15:52 +0200 | <Profpatsch> | (I call this vertical parsing, as opposed to horizontal parsing) |
| 2022-08-20 15:16:00 +0200 | <hpc> | if it's always going to be text -> json, then json -> data, you have a nice predictable break there |
| 2022-08-20 15:16:08 +0200 | <Profpatsch> | e.g. Integer -> Maybe Natural is a “vertical” parser |
| 2022-08-20 15:16:18 +0200 | <hpc> | and then your parser can just always accumulate errors instead of mixing accumulate and fail |
| 2022-08-20 15:16:37 +0200 | <Profpatsch> | hpc: e.g. https://hackage.haskell.org/package/aeson-better-errors |
| 2022-08-20 15:21:41 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-20 15:27:49 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-20 15:45:13 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-20 15:50:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-20 15:55:05 +0200 | ajf___[m] | (~ajfmatrix@2001:470:69fc:105::2:5be3) |
| 2022-08-20 16:08:42 +0200 | aeka` | (~aeka@pool-108-4-148-106.albyny.fios.verizon.net) |
| 2022-08-20 16:09:39 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 2022-08-20 16:11:14 +0200 | aeka | (~aeka@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 268 seconds) |
| 2022-08-20 16:11:14 +0200 | aeka` | aeka |
| 2022-08-20 16:12:11 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2022-08-20 16:14:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-20 16:16:48 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-20 16:18:56 +0200 | kenran | (~kenran@200116b82bb4f200de50972f543be240.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-20 16:19:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-20 16:20:25 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.6) |
| 2022-08-20 16:20:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-20 16:21:28 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-08-20 16:22:16 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-20 16:24:08 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-20 16:33:02 +0200 | mikail | (~mikail@2a02:c7f:bc47:8c00:eb67:16d4:b37b:e62e) (Quit: Leaving) |
| 2022-08-20 16:38:32 +0200 | odnes | (~odnes@109-178-135-37.pat.ren.cosmote.net) |
| 2022-08-20 16:46:18 +0200 | zzz | (~z@user/zero) (Ping timeout: 240 seconds) |
| 2022-08-20 16:49:48 +0200 | odnes_ | (~odnes@5-203-191-113.pat.nym.cosmote.net) |
| 2022-08-20 16:49:52 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-20 16:53:06 +0200 | odnes | (~odnes@109-178-135-37.pat.ren.cosmote.net) (Ping timeout: 256 seconds) |
| 2022-08-20 16:53:50 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-20 16:55:58 +0200 | odnes_ | (~odnes@5-203-191-113.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-08-20 17:03:18 +0200 | aeka | (~aeka@pool-108-4-148-106.albyny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-08-20 17:03:36 +0200 | aeka | (~aeka@user/hiruji) |
| 2022-08-20 17:08:25 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) (Ping timeout: 256 seconds) |
| 2022-08-20 17:09:40 +0200 | razetime | (~quassel@117.254.35.41) |
| 2022-08-20 17:09:48 +0200 | razetime_ | (~quassel@117.254.35.41) |
| 2022-08-20 17:10:13 +0200 | razetime_ | (~quassel@117.254.35.41) (Client Quit) |
| 2022-08-20 17:10:13 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-08-20 17:11:03 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-20 17:11:20 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-20 17:14:10 +0200 | acidjnk | (~acidjnk@p200300d6e7137a79a5cb5e916b48df9e.dip0.t-ipconnect.de) |
| 2022-08-20 17:14:55 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) |
| 2022-08-20 17:17:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-20 17:17:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 17:19:56 +0200 | razetime | (~quassel@117.254.35.41) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-20 17:23:35 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-20 17:25:15 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-08-20 17:25:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-20 17:25:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 17:30:13 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-20 17:33:12 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-20 17:34:11 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-08-20 17:37:29 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-20 17:44:32 +0200 | <chaseleif> | \quit |
| 2022-08-20 17:44:42 +0200 | chaseleif | (~chaseleif@user/chaseleif) (Quit: Lost terminal) |
| 2022-08-20 17:46:37 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-20 17:46:45 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-20 17:51:05 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-20 17:53:07 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-20 17:53:24 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-20 17:56:04 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-20 17:56:19 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-20 17:57:53 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) (Ping timeout: 268 seconds) |
| 2022-08-20 18:03:36 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-20 18:04:22 +0200 | Polo | (~Gambino@user/polo) |
| 2022-08-20 18:06:37 +0200 | Polo | (~Gambino@user/polo) (Client Quit) |
| 2022-08-20 18:07:34 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-20 18:09:06 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:444c:75bd:fb4c:a2d) |
| 2022-08-20 18:11:34 +0200 | <qrpnxz> | been experimenting with type class based streams. The results were promising. Significant speed up in some cases, but there seem to be some reasonable usecases where you get significant slowdown. And its moneyshot usecase of concatmap is not even faster (!?!?) |
| 2022-08-20 18:13:14 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-08-20 18:16:57 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-08-20 18:17:09 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 268 seconds) |
| 2022-08-20 18:17:19 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-08-20 18:22:04 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-20 18:22:06 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-20 18:22:34 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-20 18:24:45 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-20 18:28:26 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-20 18:32:34 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-20 18:32:54 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
| 2022-08-20 18:34:25 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-20 18:36:43 +0200 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2022-08-20 18:38:59 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-20 18:40:09 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-20 18:44:35 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-20 18:49:41 +0200 | vglfr | (~vglfr@145.224.94.199) (Read error: Connection reset by peer) |
| 2022-08-20 18:50:09 +0200 | vglfr | (~vglfr@145.224.94.199) |
| 2022-08-20 18:55:05 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-20 18:55:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-20 18:56:34 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-08-20 18:56:34 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-20 18:56:49 +0200 | __monty__ | (~toonn@user/toonn) (Remote host closed the connection) |
| 2022-08-20 18:57:06 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-08-20 18:58:03 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:4100:8951:37:5070:7277) |
| 2022-08-20 18:58:38 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-08-20 18:58:43 +0200 | kenran | (~kenran@200116b82bb4f200ba3f1346619109e4.dip.versatel-1u1.de) |
| 2022-08-20 18:59:05 +0200 | econo | (uid147250@user/econo) |
| 2022-08-20 19:01:12 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-20 19:04:24 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-08-20 19:10:40 +0200 | einfair_ | (~einfair@broadband-90-154-73-162.ip.moscow.rt.ru) |
| 2022-08-20 19:11:31 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-20 19:11:45 +0200 | einfair__ | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) |
| 2022-08-20 19:12:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-20 19:12:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 19:13:04 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-08-20 19:14:11 +0200 | einfair | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (Ping timeout: 248 seconds) |
| 2022-08-20 19:14:39 +0200 | einfair | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) |
| 2022-08-20 19:15:09 +0200 | MajorBiscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) (Ping timeout: 252 seconds) |
| 2022-08-20 19:15:31 +0200 | einfair_ | (~einfair@broadband-90-154-73-162.ip.moscow.rt.ru) (Ping timeout: 252 seconds) |
| 2022-08-20 19:15:47 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:4100:8951:37:5070:7277) (Ping timeout: 248 seconds) |
| 2022-08-20 19:16:59 +0200 | einfair__ | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (Ping timeout: 252 seconds) |
| 2022-08-20 19:20:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-20 19:26:40 +0200 | acidjnk | (~acidjnk@p200300d6e7137a79a5cb5e916b48df9e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-20 19:27:52 +0200 | ddellacosta | (~ddellacos@89.45.224.60) |
| 2022-08-20 19:30:27 +0200 | acidjnk | (~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) |
| 2022-08-20 19:31:57 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-20 19:34:47 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 2022-08-20 19:37:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 19:41:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-20 19:43:20 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:4b58:5475:122f:13ce) |
| 2022-08-20 19:46:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-20 19:49:06 +0200 | Successus | (~Successus@user/Successus) |
| 2022-08-20 19:51:59 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-08-20 19:54:22 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-20 19:55:40 +0200 | haskell_ | (~haskell@65-102-32-32.ptld.qwest.net) |
| 2022-08-20 19:56:12 +0200 | haskell_ | (~haskell@65-102-32-32.ptld.qwest.net) (Remote host closed the connection) |
| 2022-08-20 19:59:17 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 255 seconds) |
| 2022-08-20 19:59:33 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-20 20:00:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-20 20:07:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 20:09:21 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-20 20:13:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-20 20:15:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2022-08-20 20:16:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-20 20:16:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-20 20:19:13 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-08-20 20:23:06 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:43a5:1495:9982:3e5e) (Quit: reboot time) |
| 2022-08-20 20:23:09 +0200 | biberu | (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2022-08-20 20:27:18 +0200 | vglfr | (~vglfr@145.224.94.199) (Remote host closed the connection) |
| 2022-08-20 20:28:13 +0200 | vglfr | (~vglfr@145.224.94.199) |
| 2022-08-20 20:31:14 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-20 20:31:15 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-20 20:31:15 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-20 20:33:37 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2022-08-20 20:36:51 +0200 | vglfr | (~vglfr@145.224.94.199) (Read error: Connection reset by peer) |
| 2022-08-20 20:38:11 +0200 | vglfr | (~vglfr@145.224.94.199) |
| 2022-08-20 20:40:22 +0200 | kenran | (~kenran@200116b82bb4f200ba3f1346619109e4.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-20 20:40:45 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-20 20:41:19 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-20 20:44:18 +0200 | acidjnk | (~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-20 20:45:34 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-20 20:45:42 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-20 20:46:19 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-08-20 20:46:19 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-08-20 20:46:29 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-20 20:46:45 +0200 | califax | (~califax@user/califx) |
| 2022-08-20 20:48:30 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Read error: Connection reset by peer) |
| 2022-08-20 20:49:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 20:49:47 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-20 20:49:50 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-08-20 20:55:32 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:acbf:b222:9d97:eeca) |
| 2022-08-20 20:56:35 +0200 | <NewbiePlumber> | Why does stack not install the correct binaries for my system? ```stack run |
| 2022-08-20 20:56:35 +0200 | <NewbiePlumber> | Preparing to install GHC to an isolated location. |
| 2022-08-20 20:56:36 +0200 | <NewbiePlumber> | This will not interfere with any system-level installation. |
| 2022-08-20 20:56:36 +0200 | <NewbiePlumber> | Already downloaded. |
| 2022-08-20 20:56:37 +0200 | <NewbiePlumber> | xcode-select: error: tool 'xcodebuild' requires Xcode, but active developer directory '/Library/Developer/CommandLineTools' is a command line tools instance |
| 2022-08-20 20:56:37 +0200 | <NewbiePlumber> | ld: unknown option: --version |
| 2022-08-20 20:56:38 +0200 | <NewbiePlumber> | ld: unknown option: --version |
| 2022-08-20 20:56:57 +0200 | <NewbiePlumber> | (on `aarch64-macos-darwin`) |
| 2022-08-20 20:57:30 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-20 20:57:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-20 20:58:57 +0200 | <NewbiePlumber> | https://paste.tomsmeding.com/z4Tn3u83 |
| 2022-08-20 21:02:41 +0200 | <NewbiePlumber> | Ah, never mind, I can just manually specify architectures. Curious that amd64 is the default, though, is there no guesswork involved? |
| 2022-08-20 21:03:35 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-20 21:03:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-08-20 21:03:58 +0200 | acidjnk | (~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) |
| 2022-08-20 21:04:49 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-08-20 21:08:18 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2022-08-20 21:08:34 +0200 | <NewbiePlumber> | After setting the architecture to aarch64 in stack.yaml, I'm getting this strangeness: https://paste.tomsmeding.com/Cv8FoPE1 |
| 2022-08-20 21:09:19 +0200 | <NewbiePlumber> | raw ghc commands, and the cabal commands, work OK. Just stack is having trouble. |
| 2022-08-20 21:12:49 +0200 | <dsal> | NewbiePlumber: where did you get stack? |
| 2022-08-20 21:13:06 +0200 | <NewbiePlumber> | via ghcup |
| 2022-08-20 21:13:18 +0200 | <dsal> | Huh. Weird. I'd expect it to do the right thing. |
| 2022-08-20 21:14:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2022-08-20 21:16:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 21:18:01 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:acbf:b222:9d97:eeca) (Quit: Client closed) |
| 2022-08-20 21:23:09 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-20 21:23:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-20 21:23:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-20 21:24:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 21:28:27 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-20 21:31:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-20 21:33:23 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-20 21:33:34 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2022-08-20 21:33:34 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-08-20 21:33:34 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-20 21:38:11 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-08-20 21:39:53 +0200 | michalz | (~michalz@185.246.204.93) |
| 2022-08-20 21:44:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 21:49:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-20 21:49:53 +0200 | kitty4 | (~kitty@096-039-147-043.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2022-08-20 21:52:30 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) |
| 2022-08-20 22:01:23 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-20 22:03:33 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-08-20 22:04:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 22:06:11 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-20 22:07:15 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-20 22:08:42 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:4100:595d:9ae5:1b71:8d3d) |
| 2022-08-20 22:08:54 +0200 | biberu | (~biberu@user/biberu) |
| 2022-08-20 22:10:14 +0200 | causal | (~user@50.35.83.177) |
| 2022-08-20 22:10:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-20 22:13:37 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-20 22:16:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds) |
| 2022-08-20 22:18:06 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-20 22:19:03 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-20 22:19:16 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-20 22:22:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-20 22:26:08 +0200 | [exa] | (exa@user/exa/x-3587197) (Remote host closed the connection) |
| 2022-08-20 22:29:00 +0200 | kilolympus | (~kilolympu@90.203.82.22) |
| 2022-08-20 22:29:07 +0200 | ddellacosta | (~ddellacos@89.45.224.60) (Ping timeout: 252 seconds) |
| 2022-08-20 22:30:02 +0200 | <kilolympus> | Hello, do Haddock documentation get built for Hackage package candidates? I published a candidate around 24 hours ago, and no docs have been built yet. |
| 2022-08-20 22:30:23 +0200 | <kilolympus> | Is there any status page I can look at for a build queue of any kind? |
| 2022-08-20 22:33:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 22:33:45 +0200 | <geekosaur> | not any more 😞 I think they're still waiting for someone to patch up matrix |
| 2022-08-20 22:34:26 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-08-20 22:34:27 +0200 | <geekosaur> | that said, if a hackage pae exists it should show some basic status for builds (this may require there already have been a release at some point) |
| 2022-08-20 22:34:41 +0200 | <geekosaur> | *page |
| 2022-08-20 22:34:58 +0200 | kenran | (~kenran@200116b82bb4f200e6827b44a3a38dc1.dip.versatel-1u1.de) |
| 2022-08-20 22:38:01 +0200 | [Leary] | (~Leary]@122-58-223-158-adsl.sparkbb.co.nz) (Changing host) |
| 2022-08-20 22:38:01 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2022-08-20 22:38:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-20 22:41:37 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 256 seconds) |
| 2022-08-20 22:43:21 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-20 22:44:22 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:8530:a280:c9b5:be70) |
| 2022-08-20 22:46:18 +0200 | janus | (janus@anubis.0x90.dk) |
| 2022-08-20 22:46:59 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-08-20 22:49:48 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-20 22:51:23 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2022-08-20 22:51:23 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-08-20 22:51:23 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-20 22:51:56 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-20 22:52:24 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:8530:a280:c9b5:be70) (Remote host closed the connection) |
| 2022-08-20 22:53:12 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:8530:a280:c9b5:be70) |
| 2022-08-20 22:53:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 22:58:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-20 23:01:06 +0200 | <hololeap> | what was the package that had something like UnliftIO, but could work on other things besides IO? |
| 2022-08-20 23:03:40 +0200 | <geekosaur> | monad-control? |
| 2022-08-20 23:03:54 +0200 | <geekosaur> | (MonadBaseControl and friends, to be more specific?) |
| 2022-08-20 23:05:39 +0200 | <hololeap> | transformers-base was the one I was looking for, but yeah those are related |
| 2022-08-20 23:06:11 +0200 | kenran | (~kenran@200116b82bb4f200e6827b44a3a38dc1.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-20 23:07:31 +0200 | <L29Ah> | https://hackage.haskell.org/package/monad-peel-0.2.1.2/docs/Control-Monad-Trans-Peel.html |
| 2022-08-20 23:07:44 +0200 | <hololeap> | or wait, no monad-control is correct |
| 2022-08-20 23:08:37 +0200 | <hololeap> | L29Ah: I haven't heard of that one before. is it an alternative to monad-control? |
| 2022-08-20 23:09:09 +0200 | <L29Ah> | i haven't heard of monad-control before |
| 2022-08-20 23:10:22 +0200 | <L29Ah> | > Note that this package is a rewrite of Anders Kaseorg's 'monad-peel' library. |
| 2022-08-20 23:10:24 +0200 | <lambdabot> | <hint>:1:37: error: parse error on input ‘of’ |
| 2022-08-20 23:10:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-20 23:10:57 +0200 | <hololeap> | oh, interesting |
| 2022-08-20 23:11:46 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-20 23:12:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 23:13:59 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-20 23:14:56 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-08-20 23:17:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-20 23:18:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-20 23:19:37 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-20 23:22:36 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-08-20 23:24:41 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:444c:75bd:fb4c:a2d) (Ping timeout: 256 seconds) |
| 2022-08-20 23:25:49 +0200 | <sclv> | kilolympus: docs are build for published packages but not candidates |
| 2022-08-20 23:26:02 +0200 | <sclv> | geekosaur: this is about the docbuilder, not matrix, distinct things... |
| 2022-08-20 23:26:53 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-20 23:28:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-20 23:33:56 +0200 | michalz | (~michalz@185.246.204.93) (Remote host closed the connection) |
| 2022-08-20 23:34:16 +0200 | <kilolympus> | Thanks sclv. |
| 2022-08-20 23:38:11 +0200 | acidjnk | (~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-20 23:38:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-20 23:39:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-20 23:41:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-20 23:44:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-20 23:49:12 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-20 23:52:39 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-20 23:53:00 +0200 | <janus> | is Bas van Dijk on irc? |
| 2022-08-20 23:55:50 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |