Logs: freenode/#haskell
| 2021-04-28 17:49:36 | → | ddellac__ joins (~ddellacos@86.106.143.216) |
| 2021-04-28 17:49:46 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-28 17:52:33 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:6df4:a206:6bd4:dc59) |
| 2021-04-28 17:54:33 | × | ddellac__ quits (~ddellacos@86.106.143.216) (Ping timeout: 268 seconds) |
| 2021-04-28 17:55:32 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-28 17:56:51 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-28 17:58:36 | → | todda7 joins (~torstein@athedsl-4519432.home.otenet.gr) |
| 2021-04-28 18:00:38 | cole-h_ | is now known as cole-h |
| 2021-04-28 18:01:18 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-04-28 18:03:22 | → | xelxebar_ joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-04-28 18:03:33 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 2021-04-28 18:04:10 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-28 18:05:49 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-28 18:07:04 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-04-28 18:08:12 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 2021-04-28 18:09:14 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-28 18:09:33 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-28 18:10:45 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-28 18:11:34 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-28 18:11:56 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-04-28 18:16:28 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-04-28 18:16:43 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-28 18:17:51 | × | ADG1089 quits (~aditya@171.76.29.233) (Quit: Konversation terminated!) |
| 2021-04-28 18:18:08 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-04-28 18:18:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-28 18:23:00 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-28 18:23:54 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-28 18:24:22 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 2021-04-28 18:26:02 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-28 18:27:55 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-28 18:27:57 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-28 18:28:15 | → | jgt_ joins (~jgt@46.154.74.77) |
| 2021-04-28 18:28:29 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-04-28 18:29:24 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-vbtktmfgkmwpmzmf) |
| 2021-04-28 18:30:21 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-28 18:31:47 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-04-28 18:33:29 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-28 18:34:11 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-04-28 18:34:47 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:a736:199e:991f:4edb) (Ping timeout: 260 seconds) |
| 2021-04-28 18:35:36 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.250) |
| 2021-04-28 18:35:57 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-04-28 18:36:03 | <myShoggoth> | HF April Update is posted: https://discourse.haskell.org/t/haskell-foundation-april-update/2445 |
| 2021-04-28 18:37:11 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-28 18:38:36 | × | mauro^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-04-28 18:46:10 | <sm[m]> | +1 |
| 2021-04-28 18:46:33 | → | Prune26 joins (4907f2d4@c-73-7-242-212.hsd1.ga.comcast.net) |
| 2021-04-28 18:46:51 | ← | Prune26 parts (4907f2d4@c-73-7-242-212.hsd1.ga.comcast.net) () |
| 2021-04-28 18:46:55 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:69f7:7042:9b54:a0e6) |
| 2021-04-28 18:50:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-28 18:50:31 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 276 seconds) |
| 2021-04-28 18:51:08 | → | Miroboru joins (~myrvoll@cm-84.210.221.165.getinternet.no) |
| 2021-04-28 18:52:46 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b9548280dd1e5a205767a.dip0.t-ipconnect.de) |
| 2021-04-28 18:53:02 | × | Miroboru quits (~myrvoll@cm-84.210.221.165.getinternet.no) (Quit: leaving) |
| 2021-04-28 18:55:04 | → | slack1256 joins (~slack1256@200-112-90-35.baf.movistar.cl) |
| 2021-04-28 19:00:14 | ski | . o O ( "Tact Filters" by Jeff Bigler in 1996,2006 at <https://www.mit.edu/~jcb/tact.html> ) |
| 2021-04-28 19:01:18 | → | jneira joins (5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250) |
| 2021-04-28 19:02:11 | × | vchlup quits (~vchlup@nat.brnet.cz) (Remote host closed the connection) |
| 2021-04-28 19:02:12 | → | aramend joins (~aramend@5.186.117.231.cgn.fibianet.dk) |
| 2021-04-28 19:06:01 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 2021-04-28 19:06:34 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-04-28 19:07:01 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Remote host closed the connection) |
| 2021-04-28 19:07:22 | → | bor0 joins (~boro@unaffiliated/boro/x-000000001) |
| 2021-04-28 19:09:35 | × | ntqz quits (ntqz@gateway/vpn/protonvpn/ntqz) (Remote host closed the connection) |
| 2021-04-28 19:09:41 | → | ddellac__ joins (~ddellacos@86.106.143.112) |
| 2021-04-28 19:13:26 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-28 19:14:29 | × | ddellac__ quits (~ddellacos@86.106.143.112) (Ping timeout: 260 seconds) |
| 2021-04-28 19:15:32 | → | nehsou^ joins (nehsou@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-28 19:16:34 | × | aramend quits (~aramend@5.186.117.231.cgn.fibianet.dk) (Quit: Leaving) |
| 2021-04-28 19:16:42 | → | aramend joins (~aramend@5.186.117.231.cgn.fibianet.dk) |
| 2021-04-28 19:17:43 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:6df4:a206:6bd4:dc59) (Ping timeout: 260 seconds) |
| 2021-04-28 19:20:46 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-04-28 19:22:03 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-04-28 19:25:29 | → | Miroboru joins (~myrvoll@cm-84.210.221.165.getinternet.no) |
| 2021-04-28 19:25:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-28 19:26:55 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-28 19:29:53 | → | Guest6509 joins (~laudiacay@45.162.228.190) |
| 2021-04-28 19:30:32 | × | bennofs_ quits (~quassel@x4dbff94d.dyn.telefonica.de) (Read error: Connection reset by peer) |
| 2021-04-28 19:30:46 | → | bennofs_ joins (~quassel@x4dbff94d.dyn.telefonica.de) |
| 2021-04-28 19:31:46 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-28 19:31:53 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-28 19:32:19 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-04-28 19:34:16 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-04-28 19:34:39 | <slack1256> | I am trying to steer GHC to the correct instance via overlapping instances but I am out of luck. Can anyone help me? https://pastebin.com/NYbZRfgp |
| 2021-04-28 19:34:55 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-28 19:35:05 | × | Miroboru quits (~myrvoll@cm-84.210.221.165.getinternet.no) (Ping timeout: 246 seconds) |
| 2021-04-28 19:35:17 | <slack1256> | I know it can be done without hacks, but this is for testing and I should impose extra constrains on the tested code. |
| 2021-04-28 19:35:31 | → | Miroboru joins (~myrvoll@2001:700:301:11::24f) |
| 2021-04-28 19:35:38 | × | malumore_ quits (~malumore@151.62.119.140) (Remote host closed the connection) |
| 2021-04-28 19:36:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-28 19:36:46 | <slack1256> | I would like to have `myFunc (3 :: Int) = Just KeyInt` |
| 2021-04-28 19:37:04 | → | __minoru__shirae joins (~shiraeesh@46.34.207.120) |
| 2021-04-28 19:37:33 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.250) (Ping timeout: 252 seconds) |
| 2021-04-28 19:38:51 | <hyperisco> | slack1256, minimally you need a constraint on your type variable for KnownKey |
| 2021-04-28 19:39:04 | <hyperisco> | myFunc :: forall a. KnownKey a => a -> Maybe (Key a) |
| 2021-04-28 19:39:18 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-28 19:39:36 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-04-28 19:39:52 | <hyperisco> | if you have a closed set of types then you can do this with a closed type family |
| 2021-04-28 19:40:07 | <hyperisco> | if it is an open set of types, I don't think what you are hoping for makes sense in terms of Haskell |
| 2021-04-28 19:40:30 | <hyperisco> | because you cannot ask in Haskell if an instance does not exist for a type |
| 2021-04-28 19:40:58 | <hyperisco> | potentially, depending on what you are trying to do, a data family may be of interest |
All times are in UTC.