Logs: freenode/#haskell
| 2021-04-05 23:04:35 | → | Eliel joins (~jojkaart@163.172.153.251) |
| 2021-04-05 23:06:14 | → | Unode joins (~Unode@unaffiliated/unode) |
| 2021-04-05 23:09:21 | × | N3RGY quits (~N3RGY@65.141.87.122) () |
| 2021-04-05 23:11:15 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-04-05 23:11:21 | → | aenesidemus joins (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) |
| 2021-04-05 23:11:36 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-04-05 23:13:27 | → | Alleria__ joins (~textual@2603-7000-3040-0000-18fd-c638-1b22-bd1e.res6.spectrum.com) |
| 2021-04-05 23:14:05 | × | kris-krus quits (~kris-krus@78-56-32-39.static.zebra.lt) (Quit: Leaving) |
| 2021-04-05 23:14:05 | × | kristijonas quits (~Kristijon@78-56-32-39.static.zebra.lt) (Quit: Leaving) |
| 2021-04-05 23:14:28 | → | kris-krus joins (~kris-krus@78-56-32-39.static.zebra.lt) |
| 2021-04-05 23:14:41 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 23:14:44 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 246 seconds) |
| 2021-04-05 23:14:57 | × | kris-krus quits (~kris-krus@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-05 23:15:08 | → | kristijonas joins (~Kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-05 23:16:00 | × | kristijonas quits (~Kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-05 23:16:13 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-05 23:16:41 | → | Morrow_ joins (~MorrowM_@147.161.9.44) |
| 2021-04-05 23:16:42 | → | MorrowM joins (~MorrowM_@147.161.9.44) |
| 2021-04-05 23:16:54 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-05 23:17:16 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-05 23:17:17 | × | MorrowM quits (~MorrowM_@147.161.9.44) (Client Quit) |
| 2021-04-05 23:17:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 23:18:32 | × | lotuseater quits (~user@p200300e787027c008c32f0e981f17738.dip0.t-ipconnect.de) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2021-04-05 23:18:41 | → | Sorny joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-05 23:20:06 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-05 23:22:27 | × | Sorna quits (~Sornaensi@185.192.69.50) (Ping timeout: 265 seconds) |
| 2021-04-05 23:24:11 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-05 23:24:18 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-04-05 23:25:17 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-05 23:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 23:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 23:26:00 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Client Quit) |
| 2021-04-05 23:26:23 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95396118d8d56ee70ad6.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-05 23:26:31 | × | aenesidemus quits (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving) |
| 2021-04-05 23:27:27 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:b54a:36bf:7632:87f4) (Remote host closed the connection) |
| 2021-04-05 23:27:59 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Quit: Leaving) |
| 2021-04-05 23:28:06 | <Tritlo> | Is there any way to define Foldable or Traversable for non-generic structures? E.g. I have data A = A1 A A | A2 A A A | A3 A, and I want to be able to fold over A |
| 2021-04-05 23:28:23 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-05 23:29:05 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-05 23:29:17 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-05 23:30:01 | <hpc> | sounds like you might want it to be a semigroup? |
| 2021-04-05 23:30:19 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-05 23:30:55 | <infinisil> | Tritlo: Check out mono-traversable |
| 2021-04-05 23:31:22 | <infinisil> | It defines a common way to iterate over both things like `[a]` and `Text` |
| 2021-04-05 23:31:51 | → | wrunt joins (~ajc@vmx14030.hosting24.com.au) |
| 2021-04-05 23:32:03 | <infinisil> | https://hackage.haskell.org/package/mono-traversable-1.0.15.1/docs/Data-MonoTraversable.html#t:MonoFoldable |
| 2021-04-05 23:32:40 | <Tritlo> | infinisil: thanks! Exactly what I need! |
| 2021-04-05 23:32:45 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Client Quit) |
| 2021-04-05 23:35:26 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-05 23:35:46 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 2021-04-05 23:36:43 | → | tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 2021-04-05 23:38:20 | × | dinciorip quits (~dincio@5.170.104.221) (Quit: WeeChat 3.1) |
| 2021-04-05 23:39:15 | × | dcbdan quits (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-05 23:39:42 | <Axman6> | So I noticed in the latest VS Code release notes that it seems to support notebooks (I assume python notebooks). I wonder if iHaskell could work (and also, it would be very cool if HLS had iHaskell integration) |
| 2021-04-05 23:40:57 | → | dcbdan joins (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) |
| 2021-04-05 23:42:24 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-05 23:43:29 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-05 23:43:53 | × | royal_screwup216 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-05 23:43:53 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-05 23:44:13 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-05 23:44:17 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-05 23:44:21 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-05 23:45:15 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-05 23:46:58 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-05 23:47:35 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 265 seconds) |
| 2021-04-05 23:48:03 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 23:49:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-04-05 23:49:03 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-04-05 23:50:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-05 23:51:19 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 2021-04-05 23:52:51 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 245 seconds) |
| 2021-04-05 23:53:38 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-05 23:56:21 | → | tanner_ joins (~tanner@216.106.138.184) |
| 2021-04-05 23:59:19 | × | tanner_ quits (~tanner@216.106.138.184) (Client Quit) |
| 2021-04-05 23:59:39 | → | tanner_ joins (~tanner@216.106.138.184) |
| 2021-04-06 00:01:38 | <edwardk> | lens also offers 'each' in the case you might actually want to trade out As for Bs or some other limited subset |
| 2021-04-06 00:01:41 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-04-06 00:02:13 | × | tanner_ quits (~tanner@216.106.138.184) (Client Quit) |
| 2021-04-06 00:06:37 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-06 00:07:28 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-06 00:11:39 | <Tritlo> | edwardk: thanks! |
| 2021-04-06 00:12:58 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-06 00:13:09 | × | shailangsa quits (~shailangs@host86-186-177-164.range86-186.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2021-04-06 00:13:11 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-04-06 00:14:15 | → | tetrahedron joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-06 00:15:31 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-06 00:17:03 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-04-06 00:20:22 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-04-06 00:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-06 00:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-06 00:28:50 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-06 00:34:45 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-06 00:35:13 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds) |
| 2021-04-06 00:35:41 | × | turq quits (~electro@unaffiliated/turq) (Ping timeout: 240 seconds) |
| 2021-04-06 00:35:55 | → | shailangsa joins (~shailangs@host86-186-177-179.range86-186.btcentralplus.com) |
| 2021-04-06 00:36:46 | → | turq joins (~electro@138.197.8.173) |
| 2021-04-06 00:38:40 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ede4:25d6:732a:13e6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-06 00:42:53 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ede4:25d6:732a:13e6) |
| 2021-04-06 00:55:39 | → | ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-06 00:56:13 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
All times are in UTC.