Logs: freenode/#haskell
| 2020-11-07 08:24:05 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-07 08:24:53 | → | knupfer joins (~Thunderbi@200116b82cc0b9006c4560fffec8d176.dip.versatel-1u1.de) |
| 2020-11-07 08:25:03 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-07 08:25:55 | × | knupfer quits (~Thunderbi@200116b82cc0b9006c4560fffec8d176.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-11-07 08:26:03 | → | knupfer joins (~Thunderbi@200116b82cc0b900bc0d1f9c6cebdb3b.dip.versatel-1u1.de) |
| 2020-11-07 08:27:39 | → | benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-oyfaffahduvlgnmv) |
| 2020-11-07 08:27:45 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2020-11-07 08:28:50 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2020-11-07 08:29:09 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2020-11-07 08:29:41 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-11-07 08:29:45 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 08:30:59 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2020-11-07 08:33:38 | × | falafel quits (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) (Ping timeout: 264 seconds) |
| 2020-11-07 08:34:10 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2020-11-07 08:35:04 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-11-07 08:37:53 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-07 08:38:37 | × | _xor quits (~xor@74.215.46.133) (Read error: Connection reset by peer) |
| 2020-11-07 08:39:35 | → | _xor joins (~xor@74.215.46.133) |
| 2020-11-07 08:39:49 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 08:42:24 | → | fendor joins (~fendor@77.119.129.239.wireless.dyn.drei.com) |
| 2020-11-07 08:42:40 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-11-07 08:44:25 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-07 08:45:57 | × | drbean quits (~drbean@TC210-63-209-78.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in) |
| 2020-11-07 08:48:24 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2020-11-07 08:49:53 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 08:52:46 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-07 08:53:01 | × | toorevitimirp quits (~tooreviti@117.182.183.132) (Ping timeout: 264 seconds) |
| 2020-11-07 08:54:47 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-07 09:00:02 | × | aaronmcadam quits (~aaronmcad@185.204.1.185) () |
| 2020-11-07 09:04:18 | → | avdb joins (~avdb@ip-62-235-73-186.dsl.scarlet.be) |
| 2020-11-07 09:10:34 | → | Volt_ joins (~Volt_@c-73-145-164-70.hsd1.mi.comcast.net) |
| 2020-11-07 09:15:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-07 09:19:55 | → | alp joins (~alp@2a01:e0a:58b:4920:a483:805:42d9:dd26) |
| 2020-11-07 09:20:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-11-07 09:20:49 | → | WiQert joins (~WiQert@s91904426.blix.com) |
| 2020-11-07 09:22:12 | × | danso quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9) |
| 2020-11-07 09:26:52 | → | LKoen joins (~LKoen@53.253.88.92.rev.sfr.net) |
| 2020-11-07 09:30:14 | × | pjb quits (~t@2a01cb04063ec5003814b144b2eec567.ipv6.abo.wanadoo.fr) (Ping timeout: 244 seconds) |
| 2020-11-07 09:31:59 | → | random joins (~random@149.62.205.119) |
| 2020-11-07 09:32:21 | <random> | hey guys, is there some way to get all types inside the project which have a specific instance? |
| 2020-11-07 09:32:45 | × | rprije quits (~rprije@124.148.131.132) (Ping timeout: 256 seconds) |
| 2020-11-07 09:32:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-07 09:37:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-11-07 09:39:28 | <srk> | random: with :i in repl |
| 2020-11-07 09:40:05 | <random> | srk: I mean using template haskell or something |
| 2020-11-07 09:41:56 | <Athas> | Is there a non-quadratic 'nub' in base? |
| 2020-11-07 09:42:15 | <Athas> | Or an easy way to write it? I guess sort following by removing neighbouring duplicates, but I can't find a function that nicely does the latter... |
| 2020-11-07 09:43:21 | <ski> | > (map head . group . sort) "mississippi" |
| 2020-11-07 09:43:23 | <lambdabot> | "imps" |
| 2020-11-07 09:43:44 | <Athas> | Not a big fan of the partial function, but thanks. |
| 2020-11-07 09:44:58 | <ski> | @type map Data.List.NonEmpty.head . Data.List.NonEmpty.group . sort |
| 2020-11-07 09:44:59 | <lambdabot> | Ord b => [b] -> [b] |
| 2020-11-07 09:45:38 | <Athas> | Ah, nice! |
| 2020-11-07 09:46:22 | → | sfvm joins (~sfvm@37.228.215.148) |
| 2020-11-07 09:46:43 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 09:49:50 | → | lxsameer joins (~lxsameer@unaffiliated/lxsameer) |
| 2020-11-07 09:51:52 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-07 09:53:47 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 2020-11-07 09:55:02 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-07 09:56:48 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 10:01:58 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-07 10:03:23 | × | vicfred_ quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2020-11-07 10:07:25 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 10:09:39 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-mmieyeuehrtlbhkm) (Quit: Connection closed for inactivity) |
| 2020-11-07 10:11:04 | × | kish quits (~oracle@unaffiliated/oracle) (Ping timeout: 265 seconds) |
| 2020-11-07 10:11:53 | × | ulidtko quits (~ulidtko@193.111.48.79) (Ping timeout: 260 seconds) |
| 2020-11-07 10:11:59 | <olligobber> | if I type `data Olligobber = Olligobber' into ghci then do `pure Olligobber' nothing happens, but if I type `pure Nothing' it prints Nothing |
| 2020-11-07 10:12:14 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-11-07 10:12:17 | <olligobber> | so my guess is the default instance for Applicative is IO |
| 2020-11-07 10:12:40 | <olligobber> | and I guess if there's no show instance it doesn't print anything? |
| 2020-11-07 10:13:25 | × | mirrorbird quits (~psutcliff@176.227.54.4) (Ping timeout: 264 seconds) |
| 2020-11-07 10:15:07 | × | mapperr quits (~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection) |
| 2020-11-07 10:16:11 | → | mapperr joins (~mapperr@vmi389916.contaboserver.net) |
| 2020-11-07 10:16:50 | × | xff0x quits (~fox@2001:1a81:52a6:6c00:7e46:d829:7bc0:5d97) (Ping timeout: 264 seconds) |
| 2020-11-07 10:16:57 | → | jff joins (~Thunderbi@a109-49-149-2.cpe.netcabo.pt) |
| 2020-11-07 10:17:19 | → | xff0x joins (~fox@2001:1a81:52a6:6c00:6afc:992c:4c7d:b29c) |
| 2020-11-07 10:17:32 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 10:20:24 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-11-07 10:22:25 | <tomjaguarpaw> | Yes, there are some rules like that |
| 2020-11-07 10:22:37 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-07 10:22:45 | → | ulidtko joins (~ulidtko@193.111.48.79) |
| 2020-11-07 10:24:00 | × | mmohammadi9812 quits (~mmohammad@188.209.9.200) (Ping timeout: 272 seconds) |
| 2020-11-07 10:24:26 | → | mmohammadi9812 joins (~mmohammad@5.115.198.108) |
| 2020-11-07 10:25:04 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-07 10:26:57 | × | knupfer quits (~Thunderbi@200116b82cc0b900bc0d1f9c6cebdb3b.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-11-07 10:27:05 | → | knupfer joins (~Thunderbi@200116b82cc0b9002da38997f72b7245.dip.versatel-1u1.de) |
| 2020-11-07 10:27:43 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 10:28:21 | → | bitmagie joins (~Thunderbi@200116b806135000d9e566969198c00f.dip.versatel-1u1.de) |
| 2020-11-07 10:29:10 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-11-07 10:29:30 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 2020-11-07 10:30:20 | × | random quits (~random@149.62.205.119) (Ping timeout: 272 seconds) |
| 2020-11-07 10:31:41 | × | scasc quits (~szabi@213142096120.public.telering.at) (Ping timeout: 256 seconds) |
| 2020-11-07 10:32:34 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-11-07 10:35:43 | × | aarvar quits (~foewfoiew@c.24.56.239.179.static.broadstripe.net) (Ping timeout: 265 seconds) |
| 2020-11-07 10:36:00 | × | jff quits (~Thunderbi@a109-49-149-2.cpe.netcabo.pt) (Quit: jff) |
| 2020-11-07 10:36:33 | → | scasc joins (~szabi@213142096120.public.telering.at) |
| 2020-11-07 10:37:52 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 10:39:48 | × | argent0 quits (~argent0@168.227.98.85) (Remote host closed the connection) |
| 2020-11-07 10:39:50 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-07 10:39:51 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
All times are in UTC.