Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 .. 5022
— 502,152 events total
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)
←Prev  Next→
Page 1 .. 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 .. 5022

All times are in UTC.