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