Logs: freenode/#haskell
| 2021-03-09 07:53:00 | × | Fuchs1 quits (~Fuchs@217.146.82.202) (Remote host closed the connection) |
| 2021-03-09 07:56:58 | <tolt> | kayvan: there's some good examples at https://docs.servant.dev/en/stable/tutorial/ApiType.html , not sure specifically what you are asking for but generally you can add `QueryParam "paramName" a` where a has an instance of https://hackage.haskell.org/package/servant-0.18.2/docs/Servant-API.html#t:ToHttpApiData |
| 2021-03-09 07:57:30 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-zlhchyvsgfxybgra) (Quit: Connection closed for inactivity) |
| 2021-03-09 08:00:38 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-09 08:01:04 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) |
| 2021-03-09 08:03:20 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-09 08:04:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-09 08:07:01 | <edwardk> | what ghc release included record pattern synonyms? |
| 2021-03-09 08:07:09 | <edwardk> | its basically ungoogleable from what i can tell |
| 2021-03-09 08:07:23 | → | wimpunk joins (~wimpunk@195.140.213.38) |
| 2021-03-09 08:07:44 | <opqdonut> | https://mpickering.github.io/posts/2015-12-12-pattern-synonyms-8.html |
| 2021-03-09 08:07:54 | <opqdonut> | that's the first hit when I google "record pattern synonyms" :) |
| 2021-03-09 08:08:06 | <edwardk> | interesting. they were there all along? |
| 2021-03-09 08:08:08 | <edwardk> | hmm |
| 2021-03-09 08:09:45 | <edwardk> | on 8.0.2 i enter that syntax but i get a regular pattern and no field accessors |
| 2021-03-09 08:09:58 | Athas_ | is now known as Athas |
| 2021-03-09 08:10:09 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 2021-03-09 08:10:19 | <edwardk> | but in 8.10 it works |
| 2021-03-09 08:10:24 | <edwardk> | so i guess i need to bisect |
| 2021-03-09 08:10:57 | → | dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
| 2021-03-09 08:11:33 | <edwardk> | moving Control.Monad.Representable.State into distributive for the v1 release, and want to include pattern synonyms to make it feel like regular state, but then i really want runStateT to be a field accessor in a record pattern synonym if possible |
| 2021-03-09 08:12:31 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-09 08:13:50 | → | aggin joins (~ecm@103.88.87.55) |
| 2021-03-09 08:15:20 | <edwardk> | ok 8.2 fixed the record thing |
| 2021-03-09 08:15:28 | <edwardk> | so if i want to support 8.0 as well, i'll need CPP |
| 2021-03-09 08:15:42 | → | CodeAlways joins (uid272474@gateway/web/irccloud.com/x-iwrstjeuktuytxyi) |
| 2021-03-09 08:17:35 | mawk` | is now known as mawk |
| 2021-03-09 08:18:19 | <charukiewicz> | Does anyone know why wai dropped support for FastCGI? Looks like there's a wai-handler-fastcgi package on Hackage but it was dropped from the yesodweb/wai monorepo. wai-extra still has support for CGI/SCGI. |
| 2021-03-09 08:22:44 | × | kav quits (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-03-09 08:22:52 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-03-09 08:23:33 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-03-09 08:24:39 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-03-09 08:28:40 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-03-09 08:29:01 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-03-09 08:29:39 | × | aggin quits (~ecm@103.88.87.55) (Quit: WeeChat 3.0.1) |
| 2021-03-09 08:30:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 08:30:20 | × | nuh^ quits (nuh@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-09 08:31:23 | → | kav joins (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) |
| 2021-03-09 08:32:51 | × | oleks_ quits (~oleks@188.166.34.97) (Quit: leaving) |
| 2021-03-09 08:33:08 | → | oleks joins (~oleks@188.166.34.97) |
| 2021-03-09 08:33:27 | × | bartemius quits (~bartemius@195.94.236.178) (Read error: Connection reset by peer) |
| 2021-03-09 08:33:35 | → | bartemius joins (~bartemius@195.94.236.178) |
| 2021-03-09 08:34:07 | × | oleks quits (~oleks@188.166.34.97) (Client Quit) |
| 2021-03-09 08:34:48 | → | oleks joins (~oleks@188.166.34.97) |
| 2021-03-09 08:38:09 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-xvhrdtbecprnyroa) |
| 2021-03-09 08:39:48 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-09 08:40:52 | × | Moyst quits (~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 276 seconds) |
| 2021-03-09 08:41:38 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-09 08:43:59 | → | Moyst joins (~moyst@212-149-213-144.bb.dnainternet.fi) |
| 2021-03-09 08:44:30 | int-e_ | is now known as int-e |
| 2021-03-09 08:48:36 | → | Yumasi joins (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) |
| 2021-03-09 08:49:23 | → | acidjnk_new joins (~acidjnk@p200300d0c72b952755918a10780a6c9a.dip0.t-ipconnect.de) |
| 2021-03-09 08:50:29 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-09 08:50:40 | × | bartemius quits (~bartemius@195.94.236.178) (Read error: Connection reset by peer) |
| 2021-03-09 08:51:52 | → | bartemius joins (~bartemius@195.94.236.178) |
| 2021-03-09 08:55:11 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-09 08:57:05 | × | wimpunk quits (~wimpunk@195.140.213.38) (Read error: Connection reset by peer) |
| 2021-03-09 09:00:12 | × | MrMuffles[m] quits (mrmufflesm@gateway/shell/matrix.org/x-hahwckvaqcfkjcyn) (Quit: Idle for 30+ days) |
| 2021-03-09 09:02:37 | × | kam1 quits (~kam1@113.203.63.161) (Ping timeout: 272 seconds) |
| 2021-03-09 09:02:53 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) (Ping timeout: 258 seconds) |
| 2021-03-09 09:03:38 | × | malumore quits (~malumore@151.62.118.68) (Ping timeout: 264 seconds) |
| 2021-03-09 09:03:44 | → | kam1 joins (~kam1@83.123.163.222) |
| 2021-03-09 09:05:06 | → | kritzefitz joins (~kritzefit@p548c9398.dip0.t-ipconnect.de) |
| 2021-03-09 09:09:24 | × | kritzefitz quits (~kritzefit@p548c9398.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2021-03-09 09:09:43 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-03-09 09:11:23 | × | bartemius quits (~bartemius@195.94.236.178) () |
| 2021-03-09 09:17:46 | → | lupulo joins (~lupulo@163.117.64.56) |
| 2021-03-09 09:17:48 | <lupulo> | hi |
| 2021-03-09 09:24:06 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
| 2021-03-09 09:26:49 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-03-09 09:28:33 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-03-09 09:28:51 | × | xff0x quits (~xff0x@2001:1a81:535c:a00:5328:b97c:8fc5:c4d4) (Ping timeout: 246 seconds) |
| 2021-03-09 09:29:52 | → | xff0x joins (~xff0x@port-92-195-107-1.dynamic.as20676.net) |
| 2021-03-09 09:30:11 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-03-09 09:33:52 | → | Aphex joins (uid70120@gateway/web/irccloud.com/x-mpzuytfykqmswndg) |
| 2021-03-09 09:35:50 | <teddyc> | lupulo: hi |
| 2021-03-09 09:36:07 | → | mayleesia joins (4d0db16a@dynamic-077-013-177-106.77.13.pool.telefonica.de) |
| 2021-03-09 09:36:11 | × | kawzeg quits (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Quit: WeeChat 1.9.1) |
| 2021-03-09 09:36:12 | <arahael> | I've got a Value I want to get the string out of, what's the best way to do this? I'm currently doing: case v of (String v) -> v |
| 2021-03-09 09:36:26 | <arahael> | (Value is from Aeson) |
| 2021-03-09 09:36:44 | → | malumore joins (~malumore@151.62.118.68) |
| 2021-03-09 09:36:49 | × | arrowsvc_ quits (~arr@2.93.163.35) (Ping timeout: 265 seconds) |
| 2021-03-09 09:37:08 | <arahael> | charukiewicz: I don'tknow, but look to see if that coincided with support for web sockets. |
| 2021-03-09 09:39:10 | → | tms_ joins (thomaav@cassarossa.samfundet.no) |
| 2021-03-09 09:39:19 | <maerwald> | arahael: what type does that function have |
| 2021-03-09 09:39:38 | <arahael> | maerwald: Value -> Text, I would expect. |
| 2021-03-09 09:40:19 | <maerwald> | what happens if it's not String? |
| 2021-03-09 09:40:38 | <arahael> | maerwald: Then the data is invalid. |
| 2021-03-09 09:40:46 | <maerwald> | so you crash? |
| 2021-03-09 09:40:57 | <arahael> | Yep, that sounds about right. |
| 2021-03-09 09:41:44 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-09 09:41:52 | <maerwald> | then: `(\String s -> s) <$> value` sounds about right |
| 2021-03-09 09:42:32 | <arahael> | Oh, is that the new lambda-pattern thing? |
| 2021-03-09 09:42:41 | <__monty__> | No. |
| 2021-03-09 09:42:44 | <arahael> | (Oh, no, that's _regular_ patterns, Neat.) |
| 2021-03-09 09:42:44 | <maerwald> | s/<$>/$/ |
| 2021-03-09 09:43:17 | <arahael> | maerwald: As an extension, I'm looking for a way that doesn't fail. :) The larger context is that I'm using this within parseJSON, implementing FromJSON. |
| 2021-03-09 09:43:54 | <__monty__> | arahael: And what do you want to do in the case where the value isn't a String? |
| 2021-03-09 09:43:59 | <arahael> | maerwald: Which returns a `Parser a`, so I'm thinking that a more appropriate function is probably `Value -> Parser a` |
| 2021-03-09 09:44:12 | <maerwald> | https://hackage.haskell.org/package/aeson-1.5.6.0/docs/Data-Aeson.html#v:withText |
All times are in UTC.