Logs: freenode/#haskell
| 2021-02-27 14:53:17 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-02-27 14:53:37 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) |
| 2021-02-27 14:54:48 | → | aveltras joins (uid364989@gateway/web/irccloud.com/x-nbzxxnjcuwzfkarj) |
| 2021-02-27 14:55:24 | × | geekosaur quits (ac3a8f5e@172.58.143.94) (Quit: Connection closed) |
| 2021-02-27 15:00:04 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-02-27 15:00:13 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) |
| 2021-02-27 15:00:57 | → | slack1256 joins (~slack1256@45.4.2.52) |
| 2021-02-27 15:06:32 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-02-27 15:06:50 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-02-27 15:07:13 | × | basoares quits (~basoares@2a04:ee41:4:2178:ed37:7464:5079:3088) (Ping timeout: 272 seconds) |
| 2021-02-27 15:07:19 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) |
| 2021-02-27 15:11:52 | hackage | hkgr 0.2.7 - Simple Hackage release workflow for package maintainers https://hackage.haskell.org/package/hkgr-0.2.7 (JensPetersen) |
| 2021-02-27 15:12:36 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-02-27 15:14:42 | → | gehmehgeh_ joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-02-27 15:15:37 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 268 seconds) |
| 2021-02-27 15:16:10 | × | ekleog_ quits (~ii@grym.ekleog.org) (Quit: WeeChat 2.9) |
| 2021-02-27 15:17:01 | → | ekleog joins (~ii@prologin/ekleog) |
| 2021-02-27 15:18:47 | → | zmv- joins (~zmv@189.79.134.102) |
| 2021-02-27 15:20:26 | × | xff0x quits (~xff0x@2001:1a81:5311:f400:8291:22ac:ed1e:10e3) (Ping timeout: 264 seconds) |
| 2021-02-27 15:20:26 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-02-27 15:20:55 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) |
| 2021-02-27 15:20:57 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 264 seconds) |
| 2021-02-27 15:21:09 | → | xff0x joins (~xff0x@2001:1a81:5311:f400:3a91:83a8:1897:4aa2) |
| 2021-02-27 15:22:23 | × | darjeeling_ quits (~darjeelin@122.245.218.150) (Ping timeout: 256 seconds) |
| 2021-02-27 15:26:48 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-02-27 15:27:07 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-02-27 15:27:30 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) |
| 2021-02-27 15:28:15 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 265 seconds) |
| 2021-02-27 15:28:37 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-02-27 15:29:50 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:44cd:7ec7:332d:f0ab) |
| 2021-02-27 15:34:25 | → | ClaudiusMaximus joins (~claude@191.123.199.146.dyn.plus.net) |
| 2021-02-27 15:34:25 | × | ClaudiusMaximus quits (~claude@191.123.199.146.dyn.plus.net) (Changing host) |
| 2021-02-27 15:34:25 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2021-02-27 15:34:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:44cd:7ec7:332d:f0ab) (Ping timeout: 264 seconds) |
| 2021-02-27 15:35:01 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) |
| 2021-02-27 15:35:21 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-02-27 15:36:45 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-02-27 15:38:15 | × | psutcliffe quits (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) (Ping timeout: 272 seconds) |
| 2021-02-27 15:38:29 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-02-27 15:38:37 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-02-27 15:39:22 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-02-27 15:39:34 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-02-27 15:40:57 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-02-27 15:41:07 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) |
| 2021-02-27 15:42:12 | → | darjeeling_ joins (~darjeelin@122.245.218.150) |
| 2021-02-27 15:43:16 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-02-27 15:44:57 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-02-27 15:44:57 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-02-27 15:45:04 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-02-27 15:45:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-27 15:47:29 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-02-27 15:47:48 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-27 15:47:49 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) |
| 2021-02-27 15:52:00 | × | LKoen quits (~LKoen@185.61.176.203) (Remote host closed the connection) |
| 2021-02-27 15:53:01 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-02-27 15:53:09 | → | mawk joins (mawk@serveur.io) |
| 2021-02-27 15:53:51 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-02-27 15:55:07 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-02-27 15:55:11 | × | slack1256 quits (~slack1256@45.4.2.52) (Ping timeout: 256 seconds) |
| 2021-02-27 15:55:14 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-02-27 15:56:20 | × | cartwright quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 268 seconds) |
| 2021-02-27 15:57:53 | × | int80h quits (uid148779@gateway/web/irccloud.com/x-yapefbeohzqydcto) (Quit: Connection closed for inactivity) |
| 2021-02-27 15:59:42 | → | cartwright joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-02-27 16:03:02 | → | bitmagie joins (~Thunderbi@200116b8069d920024758e6b0c3524c9.dip.versatel-1u1.de) |
| 2021-02-27 16:03:08 | → | jophish joins (~jophish@2400:8901::f03c:91ff:fe39:7a9) |
| 2021-02-27 16:03:08 | × | jophish quits (~jophish@2400:8901::f03c:91ff:fe39:7a9) (Client Quit) |
| 2021-02-27 16:03:45 | × | geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-02-27 16:07:12 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:5561:62ee:ba22:2677) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-27 16:07:48 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-02-27 16:08:36 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) |
| 2021-02-27 16:08:36 | × | troydm quits (~troydm@unaffiliated/troydm) (Ping timeout: 240 seconds) |
| 2021-02-27 16:09:16 | × | bitmagie quits (~Thunderbi@200116b8069d920024758e6b0c3524c9.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-02-27 16:13:02 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:5561:62ee:ba22:2677) |
| 2021-02-27 16:14:48 | → | Wamanuz joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 2021-02-27 16:14:48 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-02-27 16:15:23 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) |
| 2021-02-27 16:15:50 | → | basoares joins (~basoares@2a04:ee41:4:2178:888c:4f28:a48f:16bd) |
| 2021-02-27 16:16:36 | × | forgottenone quits (~forgotten@176.42.27.254) (Ping timeout: 240 seconds) |
| 2021-02-27 16:16:58 | → | ixlun joins (~user@109.249.184.227) |
| 2021-02-27 16:20:41 | <ixlun> | Hi all, does anyone know how I could map a function over the second element of a list of tuples? |
| 2021-02-27 16:21:12 | → | bitmagie joins (~Thunderbi@200116b8069d920024758e6b0c3524c9.dip.versatel-1u1.de) |
| 2021-02-27 16:21:22 | <Rembane> | ixlun: second is a function that lets you do that |
| 2021-02-27 16:21:22 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-02-27 16:21:23 | <monochrom> | map (\(x,y) -> (x, f y)) |
| 2021-02-27 16:21:24 | <Rembane> | :t second |
| 2021-02-27 16:21:25 | <lambdabot> | Arrow a => a b c -> a (d, b) (d, c) |
| 2021-02-27 16:21:45 | <Rembane> | That's not the type signature I had in mind... |
| 2021-02-27 16:22:07 | <monochrom> | :) |
| 2021-02-27 16:22:09 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) |
| 2021-02-27 16:22:19 | <monochrom> | Set a=(->) and you're alright. |
| 2021-02-27 16:22:34 | <dolio> | Does second element mean second element of the list, or second value in every tuple? |
| 2021-02-27 16:23:01 | <ixlun> | second element of every tuple |
| 2021-02-27 16:23:11 | <ixlun> | say, [("a", 1), ("b", 2)] and then map ((+) 1), so that [("a", 2), ("b", 3)] |
| 2021-02-27 16:23:55 | <dolio> | > (fmap.fmap) (+1) [("a",1),("b",2),("c",3)] |
| 2021-02-27 16:23:57 | <lambdabot> | [("a",2),("b",3),("c",4)] |
| 2021-02-27 16:24:37 | <ixlun> | whoa, |
| 2021-02-27 16:24:45 | ← | emmanuel_erc parts (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) () |
| 2021-02-27 16:24:56 | <ixlun> | Looks like I need to study (fmap . fmap) |
| 2021-02-27 16:25:10 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-02-27 16:25:59 | <monochrom> | The 1st fmap is list's map. The 2nd fmap is "instance Functor ((,) a) where you apply f to the second element" |
All times are in UTC.