Logs: freenode/#haskell
| 2020-10-06 14:54:56 | <lambdabot> | r -> (a -> m o) -> m o |
| 2020-10-06 14:54:57 | <ski> | @unmtl ContT o (ReaderT r m) a |
| 2020-10-06 14:54:57 | <lambdabot> | (a -> r -> m o) -> r -> m o |
| 2020-10-06 14:55:06 | <ski> | @unmtl StateT s (ContT o m) a |
| 2020-10-06 14:55:06 | <lambdabot> | s -> (a -> s -> m o) -> m o |
| 2020-10-06 14:55:27 | <ski> | @unmtl ContT o (StateT s m) a |
| 2020-10-06 14:55:28 | <lambdabot> | (a -> s -> m (o, s)) -> s -> m (o, s) |
| 2020-10-06 14:55:35 | <ski> | hololeap : "depends" |
| 2020-10-06 14:55:37 | → | alp joins (~alp@2a01:e0a:58b:4920:3117:a7c5:eaf1:360f) |
| 2020-10-06 14:56:57 | <ski> | also, `ReaderT r (LogicT m) a' is not the same as `LogicT (ReaderT r m) a' |
| 2020-10-06 14:57:08 | → | akegalj joins (~akegalj@93-138-123-17.adsl.net.t-com.hr) |
| 2020-10-06 14:57:13 | <ski> | (where `LogicT' is more or less "`ListT' done right") |
| 2020-10-06 14:57:13 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds) |
| 2020-10-06 14:57:17 | <ski> | @wiki ListT done right |
| 2020-10-06 14:57:17 | <lambdabot> | https://wiki.haskell.org/ListT_done_right |
| 2020-10-06 14:57:23 | → | jneira[m] joins (~jneira@227.red-176-87-45.dynamicip.rima-tde.net) |
| 2020-10-06 14:58:23 | <ski> | @hackage logict |
| 2020-10-06 14:58:23 | <lambdabot> | https://hackage.haskell.org/package/logict |
| 2020-10-06 14:58:42 | → | martin02 joins (silas@hund.fs.lmu.de) |
| 2020-10-06 15:00:01 | × | noirin quits (~noirin@185.103.96.135) () |
| 2020-10-06 15:04:35 | × | plutoniix quits (~q@ppp-223-24-166-134.revip6.asianet.co.th) (Quit: Leaving) |
| 2020-10-06 15:05:46 | × | toorevitimirp quits (~tooreviti@117.182.180.245) (Remote host closed the connection) |
| 2020-10-06 15:08:51 | → | jle` joins (~mstksg@unaffiliated/mstksg) |
| 2020-10-06 15:12:42 | → | nand_ joins (~nand@haasn.xyz) |
| 2020-10-06 15:12:47 | × | nand_ quits (~nand@haasn.xyz) (Remote host closed the connection) |
| 2020-10-06 15:14:10 | × | cpressey quits (~cpressey@88.144.95.3) (Quit: WeeChat 1.9.1) |
| 2020-10-06 15:17:48 | × | jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 272 seconds) |
| 2020-10-06 15:18:06 | → | cpressey joins (~cpressey@88.144.95.3) |
| 2020-10-06 15:19:47 | <AWizzArd> | Using the `req` http client – is there a way to get the request as a String? The headers and body? The data that it will send over the wire? |
| 2020-10-06 15:20:19 | → | fendor joins (~fendor@178.115.129.46.wireless.dyn.drei.com) |
| 2020-10-06 15:20:29 | → | Salt1 joins (~Salt@s91904426.blix.com) |
| 2020-10-06 15:22:11 | × | seanvert` quits (~user@177.84.244.242) (Remote host closed the connection) |
| 2020-10-06 15:23:00 | → | bloodstalker joins (~bloodstal@46.166.187.154) |
| 2020-10-06 15:24:20 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-06 15:24:27 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2020-10-06 15:25:37 | × | rihards quits (~rihards@balticom-142-78-50.balticom.lv) (Quit: rihards) |
| 2020-10-06 15:29:00 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-06 15:29:58 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2020-10-06 15:30:42 | → | shatriff joins (~vitaliish@88.155.146.251) |
| 2020-10-06 15:30:52 | → | jle` joins (~mstksg@unaffiliated/mstksg) |
| 2020-10-06 15:31:08 | × | PragCypher_ quits (~cypher@li1507-98.members.linode.com) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2020-10-06 15:31:19 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-06 15:31:20 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 2020-10-06 15:31:53 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-06 15:32:30 | × | shatriff quits (~vitaliish@88.155.146.251) (Remote host closed the connection) |
| 2020-10-06 15:34:23 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2020-10-06 15:34:52 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-10-06 15:36:07 | × | ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 240 seconds) |
| 2020-10-06 15:36:30 | × | voyons_osti quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer) |
| 2020-10-06 15:36:31 | × | danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer) |
| 2020-10-06 15:36:31 | → | ryansmccoy joins (~ryansmcco@156.96.151.132) |
| 2020-10-06 15:36:45 | × | kav quits (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2020-10-06 15:36:46 | → | shatriff joins (~vitaliish@88.155.146.251) |
| 2020-10-06 15:36:46 | → | avdb joins (~avdb@ip-213-49-61-90.dsl.scarlet.be) |
| 2020-10-06 15:37:02 | → | danso joins (~dan@107-190-41-58.cpe.teksavvy.com) |
| 2020-10-06 15:37:18 | → | voyons_osti joins (~dan@107-190-41-58.cpe.teksavvy.com) |
| 2020-10-06 15:37:26 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 272 seconds) |
| 2020-10-06 15:37:32 | <dminuoso> | AWizzArd: To what end? |
| 2020-10-06 15:38:04 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2020-10-06 15:38:30 | × | dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8) |
| 2020-10-06 15:39:05 | → | PragCypher joins (~cypher@li1507-98.members.linode.com) |
| 2020-10-06 15:39:24 | × | PragCypher quits (~cypher@li1507-98.members.linode.com) (Client Quit) |
| 2020-10-06 15:40:02 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 2020-10-06 15:40:05 | → | knupfer joins (~Thunderbi@dynamic-046-114-150-131.46.114.pool.telefonica.de) |
| 2020-10-06 15:41:29 | <dminuoso> | At any rate, judging from the API, you could use req' to do that. |
| 2020-10-06 15:41:41 | → | PragCypher joins (~cypher@li1507-98.members.linode.com) |
| 2020-10-06 15:44:35 | → | kav joins (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) |
| 2020-10-06 15:44:41 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:1da1:2732:bb9f:da76) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-06 15:45:15 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2020-10-06 15:45:36 | <dminuoso> | You dont get any access to the primitives that generate the raw string though. |
| 2020-10-06 15:45:41 | <dminuoso> | That's hidden deep inside https://hackage.haskell.org/package/http-client-0.7.2.1/docs/src/Network.HTTP.Client.Request.html#requestBuilder |
| 2020-10-06 15:46:12 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-06 15:46:40 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-wkoagvlxhlhmtgti) |
| 2020-10-06 15:47:58 | <AWizzArd> | dminuoso: okay I see, thx. I saw that there *are* tools to analyze the response (but not the request). |
| 2020-10-06 15:48:07 | × | borne quits (~fritjof@2001:638:708:30da:1afd:4599:bd4b:9f4b) (Ping timeout: 240 seconds) |
| 2020-10-06 15:48:20 | <dminuoso> | There's also several steps in between that do modifications to the request. |
| 2020-10-06 15:48:33 | × | conal quits (~conal@66.115.157.135) (Quit: Computer has gone to sleep.) |
| 2020-10-06 15:48:43 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:1da1:2732:bb9f:da76) |
| 2020-10-06 15:48:46 | <dminuoso> | So req' only gives you access to an early less-modified version of it |
| 2020-10-06 15:50:05 | × | jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 240 seconds) |
| 2020-10-06 15:50:39 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-10-06 15:52:00 | <AWizzArd> | I found a QQ that lets me write multiline strings: http://hackage.haskell.org/package/raw-strings-qq-1.1/docs/Text-RawString-QQ.html |
| 2020-10-06 15:52:14 | <AWizzArd> | Is there something that outputs Text or ByteString? |
| 2020-10-06 15:53:06 | <dminuoso> | AWizzArd: there's string-qq |
| 2020-10-06 15:53:34 | <dminuoso> | You could trivially make your own QQ around the one from raw-strings-qq as well) |
| 2020-10-06 15:53:44 | × | xff0x quits (~fox@2001:1a81:5339:8000:bdc7:ef33:4985:5e4f) (Ping timeout: 244 seconds) |
| 2020-10-06 15:53:50 | <dminuoso> | It's just a matter of `fmap fromString` |
| 2020-10-06 15:54:09 | <AWizzArd> | dminuoso: perfect, I wasn’t brave enough to ask even for this. |
| 2020-10-06 15:54:28 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2020-10-06 15:54:50 | → | xff0x joins (~fox@2001:1a81:5339:8000:d49f:ac74:3895:c1cd) |
| 2020-10-06 15:54:50 | → | conal joins (~conal@66.115.157.135) |
| 2020-10-06 15:54:53 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2020-10-06 15:54:58 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2020-10-06 15:55:18 | × | avdb quits (~avdb@ip-213-49-61-90.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 2020-10-06 15:56:27 | × | albert_99 quits (~Albert@p200300e5ff0b5b39340e476afbaec452.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-06 15:57:06 | × | PragCypher quits (~cypher@li1507-98.members.linode.com) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2020-10-06 15:57:13 | → | thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) |
| 2020-10-06 15:57:20 | × | conal quits (~conal@66.115.157.135) (Client Quit) |
| 2020-10-06 15:58:22 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2020-10-06 15:58:57 | → | PragCypher joins (~cypher@li1507-98.members.linode.com) |
All times are in UTC.