Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-03-17 07:10:41 hololeap imagines koz_'s eyes rolling to the back of their head
2021-03-17 07:11:31 <koz_> sop-core
2021-03-17 07:12:02 Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-17 07:12:04 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
2021-03-17 07:12:08 <koz_> (or at least I think)
2021-03-17 07:13:27 <hololeap> https://hackage.haskell.org/package/sop-core/docs/Data-SOP-Sing.html
2021-03-17 07:13:39 <koz_> https://hackage.haskell.org/package/sop-core-0.5.0.1/docs/Data-SOP.html#v:sList
2021-03-17 07:13:46 <hololeap> ha
2021-03-17 07:13:50 michalz joins (~user@185.246.204.39)
2021-03-17 07:13:57 <koz_> Also: https://hackage.haskell.org/package/sop-core-0.5.0.1/docs/Data-SOP.html#t:Shape
2021-03-17 07:14:03 _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-03-17 07:14:08 <hololeap> i haven't seen that one before. and there's no way i would have found that by searching
2021-03-17 07:14:22 <koz_> hololeap: I only found it by accident, then filed it in a dusty corner of my brain.
2021-03-17 07:14:28 <koz_> (with a red string leading to it)
2021-03-17 07:14:42 <hololeap> nice, thanks
2021-03-17 07:14:47 <hololeap> i will bookmark it
2021-03-17 07:14:58 × kam1 quits (~kam1@83.123.167.219) (Read error: Connection reset by peer)
2021-03-17 07:17:23 hackage aviation-cessna172-diagrams 0.0.3 - Diagrams for the Cessna 172 aircraft in aviation. https://hackage.haskell.org/package/aviation-cessna172-diagrams-0.0.3 (TonyMorris)
2021-03-17 07:17:31 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8)
2021-03-17 07:18:31 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-17 07:19:22 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 07:20:09 × teardown quits (~user@gateway/tor-sasl/mrush) (Remote host closed the connection)
2021-03-17 07:20:28 teardown joins (~user@gateway/tor-sasl/mrush)
2021-03-17 07:25:53 kam1 joins (~kam1@83.123.167.219)
2021-03-17 07:29:57 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2021-03-17 07:29:59 × Sgeo__ quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-03-17 07:33:35 LKoen joins (~LKoen@194.250.88.92.rev.sfr.net)
2021-03-17 07:40:47 timCF joins (~i.tkachuk@200-149-20-81.sta.estpak.ee)
2021-03-17 07:41:06 × timCF quits (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Client Quit)
2021-03-17 07:41:18 × adium quits (adium@unaffiliated/adium) (Ping timeout: 245 seconds)
2021-03-17 07:41:34 × e2 quits (e2@sponsored.by.bnc4you.xyz) (Ping timeout: 256 seconds)
2021-03-17 07:42:25 × kam1 quits (~kam1@83.123.167.219) (Read error: Connection reset by peer)
2021-03-17 07:47:43 chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-03-17 07:48:19 × frozenErebus quits (~frozenEre@37.231.243.22) (Ping timeout: 256 seconds)
2021-03-17 07:53:23 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-17 07:55:09 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2021-03-17 07:58:19 × heatsink quits (~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Remote host closed the connection)
2021-03-17 07:58:41 cfricke joins (~cfricke@unaffiliated/cfricke)
2021-03-17 08:02:01 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 08:02:53 idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-17 08:02:57 <dminuoso> edwardk: Is there a reason you prefer `traverse` over `each`?
2021-03-17 08:03:26 evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
2021-03-17 08:04:54 dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 08:06:18 Yumasi joins (~guillaume@2a01:e0a:5cb:4430:a837:43a1:f9fb:9eec)
2021-03-17 08:09:06 × Paks quits (~paks@c-69-136-183-189.hsd1.il.comcast.net) (Ping timeout: 265 seconds)
2021-03-17 08:09:21 Paks joins (~paks@c-69-136-183-189.hsd1.il.comcast.net)
2021-03-17 08:10:53 × vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-03-17 08:13:17 × unlink_ quits (~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-03-17 08:15:35 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:95b6:d0de:2d1d:5979) (Ping timeout: 265 seconds)
2021-03-17 08:18:21 × wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds)
2021-03-17 08:18:49 Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net)
2021-03-17 08:18:51 ph88_ joins (~ph88@2a02:8109:9e00:7e5c:85cc:3a34:36cf:1a53)
2021-03-17 08:18:52 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 08:19:15 asheshambasta joins (~user@ptr-e1lysauv56fsp3y7v62.18120a2.ip6.access.telenet.be)
2021-03-17 08:19:16 emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 08:20:20 raym joins (~ray@115.187.32.14)
2021-03-17 08:20:37 × jrqc quits (~rofl@96.78.87.197) (Ping timeout: 256 seconds)
2021-03-17 08:21:05 SolarAquarion joins (SolarAquar@gateway/shell/panicbnc/x-lgjxlcwpqdmnxdiz)
2021-03-17 08:21:13 wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de)
2021-03-17 08:23:29 jrqc joins (~rofl@96.78.87.197)
2021-03-17 08:25:02 <edwardk> dminuoso: it is in prelude?
2021-03-17 08:25:33 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2021-03-17 08:25:38 <edwardk> each.each._Just is fairly gratuitous by comparison
2021-03-17 08:25:38 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 08:25:51 emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 08:25:52 <edwardk> given it matches the behavior of traverse.traverse.traverse which can be had without even looking at lens
2021-03-17 08:26:24 <dminuoso> Fair enough
2021-03-17 08:26:43 hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:e36e:9885:3dcc:fcb4)
2021-03-17 08:27:21 <koz_> traverse truly does do everything.
2021-03-17 08:29:29 olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-17 08:29:56 frozenErebus joins (~frozenEre@37.231.243.22)
2021-03-17 08:30:11 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 08:32:00 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-03-17 08:32:33 × wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 246 seconds)
2021-03-17 08:32:33 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 08:32:57 emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 08:33:24 dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 08:33:39 × jrqc quits (~rofl@96.78.87.197) (Ping timeout: 256 seconds)
2021-03-17 08:33:40 wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de)
2021-03-17 08:33:54 mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan)
2021-03-17 08:34:17 natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-03-17 08:37:14 Varis joins (~Tadas@unaffiliated/varis)
2021-03-17 08:38:14 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-17 08:39:23 hackage juandelacosa 0.1.2 - Manage users in MariaDB >= 10.1.1 https://hackage.haskell.org/package/juandelacosa-0.1.2 (ip1981)
2021-03-17 08:39:23 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 08:39:32 emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 08:45:31 bitmagie joins (~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de)
2021-03-17 08:46:52 × rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-uojiocmqissodtcu) (Quit: Connection closed for inactivity)
2021-03-17 08:47:11 famubu joins (~famubu@59.97.57.154)
2021-03-17 08:47:46 × malumore quits (~malumore@151.62.112.239) (Ping timeout: 265 seconds)
2021-03-17 08:51:16 <curiousgay> gentle introduction: "Class methods may be named either in the manner of data constructors, in parentheses following the class name, or as ordinary variables."
2021-03-17 08:51:24 jrqc joins (rofl@2603:3016:805:8f20:e1a6:a5b:7383:5872)
2021-03-17 08:51:40 <curiousgay> while I understand the first part, I don't get the part about variables even after reading Haskell Report
2021-03-17 08:52:21 kritzefitz joins (~kritzefit@fw-front.credativ.com)
2021-03-17 08:53:38 timCF joins (~i.tkachuk@200-149-20-81.sta.estpak.ee)
2021-03-17 08:53:40 lokesh84 joins (cbc182d2@203.193.130.210)
2021-03-17 08:55:01 <famubu> Hi. I was trying to implement a function to get the length of a list while learning haskell. This is what I tried: https://paste.tomsmeding.com/JZ5Oebwb I couldn't figure out what the error meant. Can't we use do comparison for empty list in pattern matching?
2021-03-17 08:56:08 × DirefulSalt quits (~DirefulSa@109.201.152.168) (Remote host closed the connection)
2021-03-17 08:56:11 <timCF> Hello! Is there any way to apply first/second/bimap to ExceptT expression? When I have `x :: m (Either a b)` it can be done with `bimap f g <$> x`, but with `y :: EitherT a m b` it seems not working..
2021-03-17 08:56:15 wopas32 joins (uid384704@gateway/web/irccloud.com/x-hsnlglyvipewztro)

All times are in UTC.