Logs: freenode/#haskell
| 2021-04-30 10:53:59 | <random> | hey guys, can anyone help with servant-client? |
| 2021-04-30 10:54:01 | <random> | https://pastebin.com/U0WzMdfU |
| 2021-04-30 10:54:17 | <biglama> | hc: I've looked it up for the exception part :) |
| 2021-04-30 10:54:41 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-30 10:54:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-30 10:55:24 | <biglama> | But I would need to read a chapter thoroughly and not jumping around |
| 2021-04-30 10:55:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 10:59:06 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-30 10:59:27 | × | srk quits (~sorki@unaffiliated/srk) (Remote host closed the connection) |
| 2021-04-30 10:59:48 | → | srk joins (~sorki@unaffiliated/srk) |
| 2021-04-30 11:00:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-30 11:00:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 11:01:25 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 11:01:47 | × | Adam345 quits (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-30 11:03:17 | → | Adam345 joins (~textual@2.133.253.255) |
| 2021-04-30 11:03:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-30 11:05:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-30 11:06:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-30 11:06:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 11:07:58 | <kuribas> | random: shouldn't you add headers to endpoints, instead of the API? |
| 2021-04-30 11:09:41 | <vilpan> | in case someone can easily fix a trivial doc issue on hackage: `readList` (https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#v:readList) seems to suffer from a mild case of non-determinism - "should be are expected to" :) |
| 2021-04-30 11:09:58 | <random> | kuribas: in this case we need this header to be present for all endpoints |
| 2021-04-30 11:10:07 | <random> | it wouldn't make sense to add it to individual endpoints anyways |
| 2021-04-30 11:10:22 | <random> | the specific server implementation is handling it later |
| 2021-04-30 11:11:43 | × | notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 2021-04-30 11:11:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-30 11:12:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 11:13:16 | <kuribas> | hmm, I have something like monad bind, but not quite... bindLink :: MonadLike a -> ExtraInfo -> (a -> MonadLike b) -> MonadLike b |
| 2021-04-30 11:13:57 | <kuribas> | erm wait, that will not work |
| 2021-04-30 11:15:01 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-30 11:17:52 | <random> | kuribas: it's very annoying because it's standard Servant syntax but still extremely hard to do in servant-client apparently |
| 2021-04-30 11:18:25 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 2021-04-30 11:18:47 | <kuribas> | random: I never did that. If I have a lot of boilerplate, I put it in a type synonym. |
| 2021-04-30 11:19:12 | <random> | kuribas: the problem in this case is that it changes the server type signature, if you prefix each endpoint with the header |
| 2021-04-30 11:19:26 | × | pera_ quits (~pera_@137.221.132.212) (Ping timeout: 240 seconds) |
| 2021-04-30 11:20:14 | <random> | the server is |
| 2021-04-30 11:20:19 | <random> | server headerMay = something |
| 2021-04-30 11:21:25 | <kuribas> | random: but you can extract headers even if not in the API, no? |
| 2021-04-30 11:21:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-30 11:21:50 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 2021-04-30 11:22:01 | <random> | kuribas: sure, that's my plan of hacking it if I don't find a solution |
| 2021-04-30 11:22:16 | × | m1dnight__ quits (~m1dnight@188.ip-51-91-158.eu) (Quit: WeeChat 2.4) |
| 2021-04-30 11:22:21 | <kuribas> | random: or even on Wai level |
| 2021-04-30 11:22:48 | → | m1dnight_ joins (~m1dnight@188.ip-51-91-158.eu) |
| 2021-04-30 11:22:55 | <random> | kuribas: it would still be nice to have the header in the type signature |
| 2021-04-30 11:23:02 | <random> | of the client functions |
| 2021-04-30 11:23:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 11:23:41 | <random> | might do something like - use lookupHeader instead of specifying it in the API definition, then instead of ClientM use a custom monad that guarantees you cannot skip the header |
| 2021-04-30 11:28:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-30 11:29:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 11:30:17 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-30 11:33:17 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-04-30 11:34:05 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-30 11:34:27 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-04-30 11:34:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-30 11:34:41 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-30 11:34:51 | Alleria | is now known as Guest85534 |
| 2021-04-30 11:35:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 11:35:10 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-04-30 11:35:48 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Read error: Connection reset by peer) |
| 2021-04-30 11:36:44 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-30 11:37:04 | → | juliagoda joins (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) |
| 2021-04-30 11:41:15 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 11:45:11 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-30 11:45:23 | × | Adam345 quits (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-30 11:45:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-30 11:46:05 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-30 11:47:34 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 11:48:56 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-04-30 11:51:59 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2021-04-30 11:52:54 | → | tonlage joins (~tonlage@5.186.126.153.cgn.fibianet.dk) |
| 2021-04-30 11:53:06 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Client Quit) |
| 2021-04-30 11:53:07 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-30 11:53:09 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-30 11:54:57 | → | rodriga joins (~quassel@134.204.25.66) |
| 2021-04-30 11:55:41 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-30 11:55:43 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-30 11:57:22 | × | ekrion quits (~ffx1@181.58.39.182) (Remote host closed the connection) |
| 2021-04-30 11:57:40 | × | TheScoop quits (~TheScoop@unaffiliated/tryte) (Quit: _) |
| 2021-04-30 11:58:42 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-30 11:59:46 | × | marek quits (~mmahut@fedora/pyxel) (Ping timeout: 252 seconds) |
| 2021-04-30 11:59:58 | → | TheScoop joins (~TheScoop@unaffiliated/tryte) |
| 2021-04-30 12:00:01 | × | twk- quits (~thewormki@unaffiliated/twk-) (Ping timeout: 250 seconds) |
| 2021-04-30 12:00:02 | × | Uma quits (~uma@umazalakain.info) (Remote host closed the connection) |
| 2021-04-30 12:00:04 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-30 12:00:31 | → | Uma joins (~uma@umazalakain.info) |
| 2021-04-30 12:01:39 | × | caubert quits (~caubert@136.244.111.235) (Ping timeout: 268 seconds) |
| 2021-04-30 12:02:54 | → | caubert joins (~caubert@136.244.111.235) |
| 2021-04-30 12:03:38 | × | slewis quits (~slewis@217.146.82.202) (Remote host closed the connection) |
| 2021-04-30 12:04:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-30 12:05:14 | → | madjestic joins (~madjestic@86-88-72-244.fixed.kpn.net) |
| 2021-04-30 12:05:17 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-04-30 12:05:19 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-30 12:05:47 | → | marek joins (~mmahut@209.250.249.245) |
| 2021-04-30 12:06:44 | → | pera_ joins (~pera_@94.0.111.239) |
| 2021-04-30 12:07:23 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) |
| 2021-04-30 12:10:12 | × | vchlup_ quits (~vchlup@nat.brnet.cz) (Remote host closed the connection) |
| 2021-04-30 12:11:05 | × | LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Read error: Connection reset by peer) |
| 2021-04-30 12:12:32 | → | LKoen joins (~LKoen@22.249.88.92.rev.sfr.net) |
| 2021-04-30 12:13:08 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
All times are in UTC.