Logs: liberachat/#haskell
| 2021-07-13 12:31:09 | × | prite quits (~pritam@user/pritambaral) (Ping timeout: 276 seconds) |
| 2021-07-13 12:31:57 | × | wolfshappen quits (~waff@irc.furworks.de) (Quit: later) |
| 2021-07-13 12:32:06 | → | pbrisbin joins (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) |
| 2021-07-13 12:32:22 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 2021-07-13 12:33:46 | × | azeem quits (~azeem@176.201.32.198) (Read error: Connection reset by peer) |
| 2021-07-13 12:34:24 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 276 seconds) |
| 2021-07-13 12:36:09 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-13 12:38:36 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 272 seconds) |
| 2021-07-13 12:39:28 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-13 12:42:35 | → | hseg joins (~gesh@185.120.126.10) |
| 2021-07-13 12:43:19 | <hseg> | hi. for a bit of pretty-printing, would like to define a type ~ (String, a -> b) and give it a Category instance |
| 2021-07-13 12:43:29 | <hseg> | not sure how to spell the deriving via clause for this though |
| 2021-07-13 12:44:23 | <hseg> | like, if I were just deriving (* -> *) -> Constraint I could derive via (K1 String :*: T) |
| 2021-07-13 12:45:01 | <hseg> | but not sure how to make that product feed two arguments to the factors |
| 2021-07-13 12:46:34 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-13 12:47:10 | <hseg> | also, is there a way to derivevia a single-constructor data type via its obvious repacking into a tuple? |
| 2021-07-13 12:47:10 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-13 12:47:31 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-13 12:47:35 | <hseg> | eg data V3 a = V3 a a a deriving C via ((a,a,a) ?) |
| 2021-07-13 12:47:50 | <Hecate> | davean: o/ hi! Could you remind me how you deal with routing API calls in Happstack to a Servant/WAI server? :) |
| 2021-07-13 12:47:53 | <hseg> | .. oops, ? and ) transposed there |
| 2021-07-13 12:50:53 | <hseg> | ah nm, can get away with Endo String :*: Endo a in my usecase, no need for the full power of Category |
| 2021-07-13 12:51:09 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-13 12:53:08 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-07-13 12:53:37 | → | cheater joins (~Username@user/cheater) |
| 2021-07-13 12:55:46 | <hseg> | hrm. is a bit painful though, would prefer a full category |
| 2021-07-13 12:57:48 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 276 seconds) |
| 2021-07-13 13:00:42 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-13 13:00:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-13 13:01:08 | → | alx741 joins (~alx741@186.178.108.22) |
| 2021-07-13 13:03:10 | → | roconnor joins (~roconnor@host-45-78-194-41.dyn.295.ca) |
| 2021-07-13 13:03:16 | <roconnor> | Module ‘Data.ByteString.Short’ does not export ‘reverse’. :( |
| 2021-07-13 13:04:10 | → | qbt joins (~edun@user/edun) |
| 2021-07-13 13:04:42 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-13 13:05:36 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-13 13:06:00 | → | thecoder joins (~mrrobot@static-47-206-93-60.tamp.fl.frontiernet.net) |
| 2021-07-13 13:07:40 | → | agua joins (~agua@2804:18:46:bafa:1:0:1551:7319) |
| 2021-07-13 13:10:09 | × | pesada quits (~agua@2804:18:49:ccb3:1:0:1397:e350) (Ping timeout: 276 seconds) |
| 2021-07-13 13:12:58 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2021-07-13 13:15:31 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-13 13:17:12 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-07-13 13:18:36 | × | hseg quits (~gesh@185.120.126.10) (Ping timeout: 276 seconds) |
| 2021-07-13 13:22:18 | <maerwald> | roconnor: yeah |
| 2021-07-13 13:22:32 | <maerwald> | roconnor: I've been creating my own prelude for it in another project |
| 2021-07-13 13:23:43 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-13 13:24:11 | <maerwald> | I'm not sure if that was a concious decision to leave it crippled |
| 2021-07-13 13:24:33 | <maerwald> | I mean, it's obvious that many operations require copying the entire bytestring |
| 2021-07-13 13:24:35 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-13 13:25:57 | → | hseg joins (~gesh@185.120.126.10) |
| 2021-07-13 13:26:11 | <maerwald> | https://github.com/hasufell/abstract-filepath/blob/master/lib/AbstractFilePath/ShortByteString.hs but I don't have 'reverse', lol |
| 2021-07-13 13:28:21 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-13 13:30:02 | <davean> | Hecate: https://hackage.haskell.org/package/happstack-server-7.7.1.1/docs/Happstack-Server-Internal-Monads.html You build the happstack Request from WAI's, you call runServerPartT and then you convert the response back. IIRC, its been a long, long while. |
| 2021-07-13 13:31:36 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-13 13:32:00 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-07-13 13:32:12 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-13 13:33:37 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-13 13:34:37 | × | dibblego quits (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2021-07-13 13:34:37 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 2021-07-13 13:35:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-13 13:38:25 | <Hecate> | davean: okay so it's really more about embedding Happstack in WAI and converting. :) Thank you! |
| 2021-07-13 13:38:32 | <davean> | yep |
| 2021-07-13 13:40:48 | × | jolly quits (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-07-13 13:44:36 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2021-07-13 13:45:00 | → | cheater joins (~Username@user/cheater) |
| 2021-07-13 13:47:54 | × | favonia quits (~favonia@user/favonia) (Remote host closed the connection) |
| 2021-07-13 13:49:04 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-13 13:52:12 | × | hseg quits (~gesh@185.120.126.10) (Ping timeout: 255 seconds) |
| 2021-07-13 13:52:47 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-07-13 13:53:07 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-13 13:53:46 | × | acidjnk quits (~acidjnk@p200300d0c72b95096d4cdcac61b6b349.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-13 13:57:39 | × | zcombinator quits (~zcombinat@host-80-104-237-159.retail.telecomitalia.it) (Quit: WeeChat 3.2) |
| 2021-07-13 14:00:18 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-13 14:01:19 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-13 14:02:07 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-13 14:02:16 | × | michalz quits (~michalz@185.246.204.45) (Remote host closed the connection) |
| 2021-07-13 14:03:13 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-13 14:03:28 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-13 14:05:16 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-13 14:06:36 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Ping timeout: 255 seconds) |
| 2021-07-13 14:07:22 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 256 seconds) |
| 2021-07-13 14:07:46 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-13 14:08:57 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-13 14:10:12 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-13 14:10:36 | × | shutdown_-h_now quits (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 276 seconds) |
| 2021-07-13 14:15:39 | → | shutdown_-h_now joins (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
| 2021-07-13 14:16:38 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-07-13 14:17:17 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-13 14:18:23 | → | Atum__ joins (IRC@user/atum/x-2392232) |
| 2021-07-13 14:18:48 | wwalker_comatose | is now known as wwalker |
| 2021-07-13 14:20:03 | → | stevenxl joins (~stevenlei@66.63.167.105) |
| 2021-07-13 14:20:22 | × | smichel17 quits (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) (Quit: smichel17) |
| 2021-07-13 14:21:02 | → | smichel17 joins (~smichel17@2601:193:8300:4b9::600) |
| 2021-07-13 14:22:18 | × | Atum_ quits (IRC@user/atum/x-2392232) (Ping timeout: 276 seconds) |
| 2021-07-13 14:23:45 | → | warnz joins (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) |
| 2021-07-13 14:28:02 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-13 14:28:08 | × | infinisil quits (~infinisil@2001:470:69fc:105::ff8) (*.net *.split) |
| 2021-07-13 14:28:08 | × | vbeatrice[m] quits (~vbeatrice@2001:470:69fc:105::3ebf) (*.net *.split) |
| 2021-07-13 14:28:08 | × | jellz[m] quits (~jellzmatr@2001:470:69fc:105::2daa) (*.net *.split) |
| 2021-07-13 14:28:08 | × | adziahel[m] quits (~adziahelm@2001:470:69fc:105::b4d) (*.net *.split) |
| 2021-07-13 14:28:08 | × | unrooted quits (~unrooted@2001:470:69fc:105::a4a) (*.net *.split) |
All times are in UTC.