Logs: liberachat/#haskell
| 2021-07-15 21:14:49 | <Hecate> | We post everything on Discourse |
| 2021-07-15 21:15:13 | × | roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) (Ping timeout: 246 seconds) |
| 2021-07-15 21:15:19 | <Hecate> | we also have a Slack for ephemeral, real-time comms, but no archives, so everything ends up being an email and a Discourse post |
| 2021-07-15 21:15:30 | <safinaskar> | stevenxl: i don't want to go to reddit, because i don't want to register |
| 2021-07-15 21:15:47 | <safinaskar> | stevenxl: so, i will not go to any hypotetical new forum for the same reason |
| 2021-07-15 21:16:00 | <stevenxl> | sounds good. |
| 2021-07-15 21:16:04 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) |
| 2021-07-15 21:16:23 | <safinaskar> | stevenxl: if there is possibility to post to forum using e-mail and automatically get answers via e-mail, i will happily write to that new hypotetical forum |
| 2021-07-15 21:17:09 | <Hecate> | safinaskar: that's called a mailing-list but you also need to register :P |
| 2021-07-15 21:17:32 | × | michalz quits (~michalz@185.246.204.50) (Remote host closed the connection) |
| 2021-07-15 21:21:59 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2021-07-15 21:22:22 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 2021-07-15 21:22:27 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-15 21:23:08 | × | azeem quits (~azeem@dynamic-adsl-84-220-239-177.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-15 21:28:26 | × | Null_A quits (~null_a@2601:645:8700:2290:f850:a5d3:841d:88de) (Remote host closed the connection) |
| 2021-07-15 21:29:03 | → | Null_A joins (~null_a@2601:645:8700:2290:f850:a5d3:841d:88de) |
| 2021-07-15 21:34:07 | × | roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) (Ping timeout: 246 seconds) |
| 2021-07-15 21:35:10 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-118.prtc.net) (Ping timeout: 246 seconds) |
| 2021-07-15 21:39:01 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) |
| 2021-07-15 21:39:11 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-15 21:40:23 | × | Null_A quits (~null_a@2601:645:8700:2290:f850:a5d3:841d:88de) (Remote host closed the connection) |
| 2021-07-15 21:41:33 | → | Null_A joins (~null_a@2601:645:8700:2290:f850:a5d3:841d:88de) |
| 2021-07-15 21:45:39 | → | TranquilEcho joins (~grom@user/tranquilecho) |
| 2021-07-15 21:45:40 | × | Null_A quits (~null_a@2601:645:8700:2290:f850:a5d3:841d:88de) (Ping timeout: 246 seconds) |
| 2021-07-15 21:46:01 | × | roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) (Ping timeout: 246 seconds) |
| 2021-07-15 21:46:19 | <dibblego> | chisui: the Profunctor instance for Star is less constrained |
| 2021-07-15 21:46:44 | × | fendor quits (~fendor@178.165.161.174.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-15 21:47:56 | → | Raugh joins (~mike@174.127.249.180) |
| 2021-07-15 21:48:45 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 255 seconds) |
| 2021-07-15 21:49:10 | <chisui> | dibblego: where is it less constrained? When looking at their instances they both look the same. |
| 2021-07-15 21:50:03 | <dibblego> | Functor f => Profunctor (Star f) | Monad m => Profunctor (Kleisli m) |
| 2021-07-15 21:50:30 | <chisui> | Ah ok, thank you |
| 2021-07-15 21:51:23 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-15 21:54:51 | <chisui> | looking at the implementations the only difference is that they exchange `liftM` with `fmap`, but aren't these equivalent? (for as long as the Functor is also a Monad) |
| 2021-07-15 21:55:21 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-07-15 21:56:24 | <dibblego> | yes the implementation is the same |
| 2021-07-15 21:56:37 | <dibblego> | there may be a more detailed reason, edwardk ? |
| 2021-07-15 21:59:44 | <Raugh> | I'm trying to wrap my head around transformers and scotty. Why is this using a runReaterT (runConfigM m) config I don't get what def is doing here either |
| 2021-07-15 21:59:52 | <Raugh> | https://github.com/scotty-web/scotty/blob/master/examples/reader.hs |
| 2021-07-15 22:00:47 | <Raugh> | oh i get def now |
| 2021-07-15 22:01:19 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-07-15 22:01:43 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-15 22:02:29 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-07-15 22:03:06 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-15 22:05:40 | × | safinaskar quits (~user@109-252-90-89.nat.spd-mgts.ru) (Ping timeout: 252 seconds) |
| 2021-07-15 22:05:50 | → | dre joins (~dre@2001:8003:c932:c301:5158:163a:41f3:cc10) |
| 2021-07-15 22:06:02 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 255 seconds) |
| 2021-07-15 22:06:30 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-15 22:07:26 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-15 22:07:37 | → | safinaskar joins (~user@109-252-188-98.dynamic.spd-mgts.ru) |
| 2021-07-15 22:08:46 | × | KUrare quits (~KUrare@user/kurare) (Ping timeout: 272 seconds) |
| 2021-07-15 22:13:57 | ← | safinaskar parts (~user@109-252-188-98.dynamic.spd-mgts.ru) () |
| 2021-07-15 22:14:16 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving) |
| 2021-07-15 22:15:34 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-15 22:17:38 | → | Null_A joins (~null_a@2601:645:8700:2290:f850:a5d3:841d:88de) |
| 2021-07-15 22:18:25 | × | Null_A quits (~null_a@2601:645:8700:2290:f850:a5d3:841d:88de) (Client Quit) |
| 2021-07-15 22:19:14 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-07-15 22:21:09 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-15 22:25:08 | × | zeenk quits (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-07-15 22:26:42 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-15 22:33:16 | → | gzj joins (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-15 22:33:30 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-07-15 22:34:13 | <Boarders> | Could someone remind me how you read the rest of a line of text (up until newline character) with megaparsec |
| 2021-07-15 22:34:57 | <Boarders> | should I just use takeWhileP? |
| 2021-07-15 22:35:58 | → | econo joins (uid147250@user/econo) |
| 2021-07-15 22:37:59 | × | gzj quits (~GZJ0X@199.193.127.138.16clouds.com) (Ping timeout: 255 seconds) |
| 2021-07-15 22:39:36 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-15 22:47:35 | → | retroid_ joins (~retro@90.218.175.34) |
| 2021-07-15 22:47:48 | → | lainon joins (~lainon@146.229.79.120) |
| 2021-07-15 22:50:54 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 265 seconds) |
| 2021-07-15 22:51:15 | × | retro_ quits (~retro@90.218.175.34) (Ping timeout: 268 seconds) |
| 2021-07-15 22:51:54 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Quit: Quit) |
| 2021-07-15 22:52:51 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-15 22:56:11 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-07-15 22:57:19 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-07-15 22:58:45 | → | pavonia joins (~user@user/siracusa) |
| 2021-07-15 22:59:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-15 23:10:02 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-15 23:10:07 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) |
| 2021-07-15 23:16:40 | × | roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) (Ping timeout: 246 seconds) |
| 2021-07-15 23:18:50 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-15 23:32:10 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-15 23:33:12 | × | lainon quits (~lainon@146.229.79.120) (Quit: Leaving) |
| 2021-07-15 23:34:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-15 23:37:15 | <xsperry> | Boarders, off the top of my head: line = some (noneOf "\r\n") |
| 2021-07-15 23:39:08 | <Boarders> | thanks! |
| 2021-07-15 23:42:09 | × | mikail_ quits (~mikail@90.212.77.3) (Quit: Leaving) |
| 2021-07-15 23:44:43 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) |
| 2021-07-15 23:45:02 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-15 23:48:18 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-51.prtc.net) |
| 2021-07-15 23:48:22 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-15 23:49:05 | × | dragestil quits (~quassel@user/dragestil) (Ping timeout: 255 seconds) |
| 2021-07-15 23:50:16 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b951301624b1129165e7b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2021-07-15 23:52:45 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-15 23:54:21 | × | hendursaga quits (~weechat@user/hendursaga) (Quit: hendursaga) |
| 2021-07-15 23:54:50 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-15 23:56:07 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-15 23:56:44 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-15 23:59:03 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-15 23:59:20 | × | shutdown_-h_now quits (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 256 seconds) |
All times are in UTC.