Logs: freenode/#haskell
| 2021-05-15 22:04:44 | × | juri_ quits (~juri@79.140.120.113) (Ping timeout: 268 seconds) |
| 2021-05-15 22:07:03 | × | knupfer quits (~Thunderbi@200116b82b539600a0d9a899e72817b3.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-05-15 22:11:18 | → | juri_ joins (~juri@79.140.120.113) |
| 2021-05-15 22:13:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-15 22:15:22 | × | afznvzan quits (4c0ef7dd@76-14-247-221.or.wavecable.com) (Quit: Connection closed) |
| 2021-05-15 22:15:55 | × | juri_ quits (~juri@79.140.120.113) (Ping timeout: 252 seconds) |
| 2021-05-15 22:16:46 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-15 22:16:57 | → | juri_ joins (~juri@178.63.35.222) |
| 2021-05-15 22:17:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-15 22:17:18 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-15 22:18:52 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-15 22:21:14 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-15 22:22:04 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-05-15 22:24:20 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-05-15 22:25:31 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-15 22:25:56 | × | dmytrish_ quits (~mitra@37.228.247.154) (Ping timeout: 246 seconds) |
| 2021-05-15 22:26:22 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-05-15 22:27:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-15 22:27:33 | × | pfurla quits (~pfurla@247.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 268 seconds) |
| 2021-05-15 22:29:33 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 2021-05-15 22:29:51 | × | notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 2021-05-15 22:31:28 | → | poljar1 joins (~poljar@78-1-53-252.adsl.net.t-com.hr) |
| 2021-05-15 22:33:32 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-05-15 22:34:16 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-05-15 22:34:20 | × | poljar quits (~poljar@93-141-148-6.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 2021-05-15 22:34:53 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-15 22:35:47 | → | afznvzan joins (4c0ef7dd@76-14-247-221.or.wavecable.com) |
| 2021-05-15 22:36:26 | <afznvzan> | why is everything the GHC api emits buried under 300 layers of Located |
| 2021-05-15 22:36:57 | <afznvzan> | i assume for error reports, but wow it's irritating to pattern match on |
| 2021-05-15 22:38:29 | <Uniaika> | yes |
| 2021-05-15 22:40:48 | → | lawid joins (~quassel@2a02:8109:b5c0:bd8:265e:beff:fe2a:dde8) |
| 2021-05-15 22:41:07 | × | lawid_ quits (~quassel@91.65.233.2) (Ping timeout: 268 seconds) |
| 2021-05-15 22:41:47 | <pavonia> | JuicyPixels has a class "class (Pixel px, PixelBaseComponent px ~ Word8) => JpgEncodable px" where PixelBaseComponent is a type family of Pixel. Can this be rewitten in a way that doesn't require a type family contraint? |
| 2021-05-15 22:42:18 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-05-15 22:43:04 | × | hexfive quits (~hexfive@50.35.83.177) (Client Quit) |
| 2021-05-15 22:47:43 | × | lawid quits (~quassel@2a02:8109:b5c0:bd8:265e:beff:fe2a:dde8) (Quit: No Ping reply in 180 seconds.) |
| 2021-05-15 22:48:58 | → | lawid joins (~quassel@2a02:8109:b5c0:bd8:265e:beff:fe2a:dde8) |
| 2021-05-15 22:49:41 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 2021-05-15 22:50:50 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-15 22:50:53 | → | danso joins (~dan@23-233-111-52.cpe.pppoe.ca) |
| 2021-05-15 22:51:40 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-15 22:52:02 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-15 22:55:31 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-15 22:57:55 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-15 23:00:09 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-05-15 23:00:32 | Alleria | is now known as Guest91831 |
| 2021-05-15 23:00:52 | <afznvzan> | which constructor would I use to represent the "Show" typeclass in GHC.Hs.Types? The file is entirely undocumented :( |
| 2021-05-15 23:01:41 | <xenon-> | pavonia, it has been a while since I used it, I believe you can use concrete types, at the cost of portability |
| 2021-05-15 23:02:21 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) |
| 2021-05-15 23:02:33 | × | Guest78295 quits (~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds) |
| 2021-05-15 23:03:35 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-15 23:04:41 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:8c8b:ebd7:353b:3970) |
| 2021-05-15 23:04:52 | × | Guest91831 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 252 seconds) |
| 2021-05-15 23:06:15 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-15 23:06:44 | <pavonia> | xenon-: Where would those concret types be used? |
| 2021-05-15 23:07:22 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5e97) |
| 2021-05-15 23:08:15 | <xenon-> | pavonia, I don't know off hand, I'll take a look when I'm back home |
| 2021-05-15 23:10:49 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 245 seconds) |
| 2021-05-15 23:10:59 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-05-15 23:12:04 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:8c8b:ebd7:353b:3970) (Ping timeout: 245 seconds) |
| 2021-05-15 23:12:24 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-15 23:13:44 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-05-15 23:19:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-15 23:20:21 | <pavonia> | It seem adding the contraint to all relevant class methods has the same effect. Not sure if there still are semantic differences, though |
| 2021-05-15 23:22:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-15 23:22:55 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-15 23:23:47 | → | Alleria__ joins (~textual@2603-7000-3040-0000-b959-5f5c-3e4c-0ad7.res6.spectrum.com) |
| 2021-05-15 23:24:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-15 23:24:24 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-15 23:27:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-15 23:27:40 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-15 23:27:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-15 23:30:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-15 23:31:49 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 252 seconds) |
| 2021-05-15 23:32:29 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-05-15 23:34:09 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 250 seconds) |
| 2021-05-15 23:35:12 | → | killsushi joins (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) |
| 2021-05-15 23:35:12 | <afznvzan> | is there a way to get an expression to spit out its representation, like when you use :force on a data type with no Show instance? |
| 2021-05-15 23:35:23 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-15 23:35:35 | <afznvzan> | i have an example object that I want to look at, but I can only pretty-print it which is not what I want |
| 2021-05-15 23:36:30 | → | Alleri___ joins (~textual@2603-7000-3040-0000-3dfd-96ce-a198-b5b2.res6.spectrum.com) |
| 2021-05-15 23:36:56 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) |
| 2021-05-15 23:38:55 | × | Alleria__ quits (~textual@2603-7000-3040-0000-b959-5f5c-3e4c-0ad7.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-15 23:38:59 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-15 23:39:57 | × | CrazyPyt_ quits (~crazypyth@206.214.238.6) () |
| 2021-05-15 23:41:57 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-15 23:44:48 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-05-15 23:45:01 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 252 seconds) |
| 2021-05-15 23:48:53 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-15 23:53:44 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 2021-05-15 23:54:28 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-15 23:57:11 | → | fendor_ joins (~fendor@91.141.2.211.wireless.dyn.drei.com) |
| 2021-05-15 23:59:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-15 23:59:08 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-15 23:59:19 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-15 23:59:28 | × | fendor quits (~fendor@91.141.1.123.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-05-16 00:01:53 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 2021-05-16 00:03:19 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-05-16 00:04:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-16 00:04:12 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
All times are in UTC.