Logs: freenode/#haskell
| 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.