Logs: freenode/#haskell
| 2021-05-06 01:54:06 | → | acro joins (~acro@unaffiliated/acro) |
| 2021-05-06 01:54:06 | → | loc joins (~loc@unaffiliated/loc) |
| 2021-05-06 01:54:06 | → | Aleksejs joins (~Aleksejs@haskell.lv) |
| 2021-05-06 01:54:06 | → | djanatyn_ joins (~djanatyn@ec2-18-209-155-56.compute-1.amazonaws.com) |
| 2021-05-06 01:54:06 | → | pdxleif joins (~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com) |
| 2021-05-06 01:54:06 | → | fr33domlover joins (~fr33domlo@angeley.es) |
| 2021-05-06 01:54:06 | → | shreyasminocha joins (~shreyasmi@unaffiliated/shreyasminocha) |
| 2021-05-06 01:54:06 | → | eagleflo joins (~aku@eagleflow.fi) |
| 2021-05-06 01:54:06 | → | remexre joins (~nathan@207-153-38-50.fttp.usinternet.com) |
| 2021-05-06 01:54:06 | → | tasuki joins (~tasuki@198.211.120.27) |
| 2021-05-06 01:54:06 | → | stvc joins (~stvc@192.241.166.39) |
| 2021-05-06 01:54:06 | → | deni joins (~deni@unaffiliated/deni) |
| 2021-05-06 01:54:06 | → | relrod joins (~relrod@redhat/ansible.staff.relrod) |
| 2021-05-06 01:54:06 | → | heath joins (~heath@unaffiliated/ybit) |
| 2021-05-06 01:54:06 | → | dredozubov joins (~dredozubo@37.139.21.214) |
| 2021-05-06 01:54:06 | → | wayne joins (~wayne@unaffiliated/wayne) |
| 2021-05-06 01:54:06 | → | Kneiva_ joins (kneiva@raah.fi) |
| 2021-05-06 01:54:06 | → | gargawel joins (~gael@212.83.144.58) |
| 2021-05-06 01:54:09 | × | cgfbee quits (~bot@oc1.itim-cj.ro) (Max SendQ exceeded) |
| 2021-05-06 01:54:10 | × | lurkless quits (~ll@unaffiliated/lurkless) (Max SendQ exceeded) |
| 2021-05-06 01:54:10 | × | shailangsa quits (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) (Max SendQ exceeded) |
| 2021-05-06 01:54:32 | → | Arahael joins (~arahael@123-243-38-74.tpgi.com.au) |
| 2021-05-06 01:55:07 | → | lurkless joins (~ll@unaffiliated/lurkless) |
| 2021-05-06 01:55:31 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-05-06 01:55:42 | × | parseval quits (sid239098@gateway/web/irccloud.com/x-kgsjdvzwchusspuk) (Ping timeout: 240 seconds) |
| 2021-05-06 01:55:54 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2021-05-06 01:56:02 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 2021-05-06 01:56:22 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-06 01:56:32 | → | parseval joins (sid239098@gateway/web/irccloud.com/x-qxdhevwqugvcrybv) |
| 2021-05-06 01:57:19 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-06 01:57:26 | × | heebo quits (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-05-06 01:58:01 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-06 01:58:03 | → | cgfbee joins (~bot@oc1.itim-cj.ro) |
| 2021-05-06 02:00:04 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-06 02:01:57 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-05-06 02:02:26 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-05-06 02:02:58 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-06 02:03:23 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-06 02:04:15 | → | ram19890 joins (~ram@49.205.84.15) |
| 2021-05-06 02:08:17 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-06 02:09:03 | <cdsmith> | Ugh, I'm too tired to think, and I want a concat-like thing, but (Traversable t, Applicative f) => t (f (t a)) -> f (t a). This seems like it should be obvious... |
| 2021-05-06 02:09:37 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-06 02:09:55 | <cdsmith> | % :t fmap concat . sequenceA |
| 2021-05-06 02:09:55 | <yahb> | cdsmith: (Traversable t, Applicative f) => t (f [a]) -> f [a] |
| 2021-05-06 02:10:04 | × | Natch quits (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2021-05-06 02:10:07 | <cdsmith> | Okay, that's it, yeah |
| 2021-05-06 02:11:11 | <edwardk> | :t fmap join . sequence |
| 2021-05-06 02:11:13 | <lambdabot> | (Traversable m, Monad m, Monad f) => m (f (m a)) -> f (m a) |
| 2021-05-06 02:11:38 | <edwardk> | :t fmap join . sequenceA |
| 2021-05-06 02:11:39 | <lambdabot> | (Monad m, Traversable m, Applicative f) => m (f (m a)) -> f (m a) |
| 2021-05-06 02:14:15 | → | vs^ joins (~hph@ip98-184-89-2.mc.at.cox.net) |
| 2021-05-06 02:14:27 | → | Natch joins (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-05-06 02:15:08 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 2021-05-06 02:15:49 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-06 02:16:54 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-06 02:17:23 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-06 02:19:03 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) (Remote host closed the connection) |
| 2021-05-06 02:19:23 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-05-06 02:20:06 | → | nicholasbulka joins (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) |
| 2021-05-06 02:20:25 | → | shailangsa joins (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) |
| 2021-05-06 02:22:18 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-06 02:23:21 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-06 02:23:23 | × | chisui quits (59f77c9f@i59F77C9F.versanet.de) (Ping timeout: 240 seconds) |
| 2021-05-06 02:23:33 | × | theDon quits (~td@muedsl-82-207-238-245.citykom.de) (Ping timeout: 265 seconds) |
| 2021-05-06 02:24:11 | × | nicholasbulka quits (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-06 02:24:12 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-06 02:24:38 | <cdsmith> | TH question: reifyInstances will look up instances for a type. However, for example, `reifyInstances ''Show [ ConT ''String ]` returns `Show a0 => Show [a0]`. Is there any way to get TH to actually unify the types and recognize that a0 ~ Char, and that the context is already satisfied? Or is that asking too much? |
| 2021-05-06 02:25:06 | → | theDon joins (~td@muedsl-82-207-238-051.citykom.de) |
| 2021-05-06 02:29:17 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-06 02:31:16 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-06 02:31:16 | finn_elija | is now known as Guest21806 |
| 2021-05-06 02:31:16 | FinnElija | is now known as finn_elija |
| 2021-05-06 02:31:33 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-06 02:32:32 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-05-06 02:33:03 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-06 02:33:18 | <infinisil> | @djinn (Traversable t, Applicative f) => t (f (t a)) -> f (t a) |
| 2021-05-06 02:33:18 | <lambdabot> | Error: Class not found: Traversable |
| 2021-05-06 02:33:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-06 02:33:36 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Remote host closed the connection) |
| 2021-05-06 02:34:05 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-06 02:34:45 | × | Guest21806 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-06 02:35:41 | <edwardk> | infinisil: djinn sucks at handling classes |
| 2021-05-06 02:35:49 | <edwardk> | cdsmith: too much to ask ;) |
| 2021-05-06 02:36:02 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-06 02:36:19 | <infinisil> | Hmm.. |
| 2021-05-06 02:36:25 | <cdsmith> | @djinn Applicative f => [f [a]] -> f [a] |
| 2021-05-06 02:36:25 | <lambdabot> | Error: Undefined type [] |
| 2021-05-06 02:36:38 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Quit: Connection closed) |
| 2021-05-06 02:36:50 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-06 02:37:07 | <cdsmith> | Huh |
| 2021-05-06 02:41:16 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-kxfslznamczviegw) () |
| 2021-05-06 02:41:50 | <cdsmith> | edwardk: Okay, I kinda figured that, but... since GHC is there, I hoped it could maybe do the things GHC is good at. :( |
| 2021-05-06 02:41:56 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 2021-05-06 02:42:02 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Client Quit) |
| 2021-05-06 02:44:00 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-06 02:45:03 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-05-06 02:45:12 | × | Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-05-06 02:48:00 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-06 02:48:14 | <olligobber> | % :t fmap fold . sequenceA |
| 2021-05-06 02:48:14 | <yahb> | olligobber: (Monoid b, Traversable t, Applicative f) => t (f b) -> f b |
All times are in UTC.