Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4371 4372 4373 4374 4375 4376 4377 4378 4379 4380 4381 .. 5022
— 502,152 events total
2021-04-12 14:15:08 <merijn> Well, fmap can't work, because Student doesn't have a type variable
2021-04-12 14:15:11 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-12 14:15:30 → ram19890_ joins (~ram@49.207.130.109)
2021-04-12 14:15:33 <lyxia> thblt: modifyClasses f s@(Student _ c) = s { classes = f c }
2021-04-12 14:15:34 <merijn> You could, theoretically fix that, though
2021-04-12 14:15:44 <merijn> But yeah, lyxia's suggestion is common
2021-04-12 14:16:10 <thblt> merijn: lyxia: thank you both!
2021-04-12 14:16:30 → ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-04-12 14:17:25 ram19890_ is now known as ram19890_1
2021-04-12 14:19:00 × ram19890_1 quits (~ram@49.207.130.109) (Client Quit)
2021-04-12 14:19:41 → son0p joins (~ff@181.136.122.143)
2021-04-12 14:21:13 → Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-12 14:22:54 → ram19890_ joins (~ram@49.207.130.109)
2021-04-12 14:22:57 × ram19890_ quits (~ram@49.207.130.109) (Remote host closed the connection)
2021-04-12 14:22:57 × ram19890 quits (~ram@49.207.130.109) (Quit: Leaving)
2021-04-12 14:23:18 → ram19890 joins (~ram@49.207.130.109)
2021-04-12 14:23:18 × ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-04-12 14:23:37 × xff0x quits (~xff0x@2001:1a81:52af:1400:26ad:e192:c14b:a6d5) (Ping timeout: 250 seconds)
2021-04-12 14:24:32 → xff0x joins (~xff0x@2001:1a81:52af:1400:ec8a:b59a:161d:e7ba)
2021-04-12 14:24:49 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-12 14:25:41 × ram19890 quits (~ram@49.207.130.109) (Remote host closed the connection)
2021-04-12 14:26:02 → ram19890 joins (~ram@49.207.130.109)
2021-04-12 14:26:59 <kuribas> thblt: sounds like lenses
2021-04-12 14:27:44 <kuribas> thblt: over classesLens f student
2021-04-12 14:27:52 → Tops2 joins (~Tobias@dyndsl-091-249-083-203.ewe-ip-backbone.de)
2021-04-12 14:27:57 <kuribas> where classesLens is a lens that targets the classes field.
2021-04-12 14:28:43 <kuribas> a lens is a traverse, rather than a fmap.
2021-04-12 14:29:21 → rj joins (~x@gateway/tor-sasl/rj)
2021-04-12 14:31:00 → minoru_shiraeesh joins (~shiraeesh@109.166.57.218)
2021-04-12 14:31:50 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Quit: Leaving.)
2021-04-12 14:35:14 × malumore quits (~malumore@151.62.112.168) (Quit: Leaving)
2021-04-12 14:35:31 × rj quits (~x@gateway/tor-sasl/rj) (Quit: rj)
2021-04-12 14:35:39 × ram19890 quits (~ram@49.207.130.109) (Quit: Leaving)
2021-04-12 14:36:01 → ram19890 joins (~ram@49.207.130.109)
2021-04-12 14:36:04 × ram19890 quits (~ram@49.207.130.109) (Read error: Connection reset by peer)
2021-04-12 14:36:13 → malumore joins (~malumore@151.62.112.168)
2021-04-12 14:36:24 → ram19890 joins (~ram@49.207.130.109)
2021-04-12 14:36:30 × gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-04-12 14:36:30 × ram19890 quits (~ram@49.207.130.109) (Read error: Connection reset by peer)
2021-04-12 14:37:46 <thblt> kuribas: thank you! I thought lenses when I was writing the question, but I'm not comfortable enough with them for now :)
2021-04-12 14:38:04 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2021-04-12 14:39:11 <merijn> thblt: lyxia's modifyClasses is basically a highly specialise lens :p
2021-04-12 14:39:46 → ram19890 joins (~ram@49.207.130.109)
2021-04-12 14:42:33 → dpl joins (~dpl@77-121-78-163.chn.volia.net)
2021-04-12 14:44:13 × ram19890 quits (~ram@49.207.130.109) (Client Quit)
2021-04-12 14:44:33 → ram19890 joins (~ram@49.207.130.109)
2021-04-12 14:44:56 × ram19890 quits (~ram@49.207.130.109) (Max SendQ exceeded)
2021-04-12 14:46:12 → ram19890 joins (~ram@49.207.130.109)
2021-04-12 14:46:52 → rj joins (~x@gateway/tor-sasl/rj)
2021-04-12 14:48:04 × ram19890 quits (~ram@49.207.130.109) (Client Quit)
2021-04-12 14:48:20 → ram19890 joins (~ram@49.207.130.109)
2021-04-12 14:49:38 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-04-12 14:50:42 × oleks_ quits (~oleks@188.166.34.97) (Quit: leaving)
2021-04-12 14:50:58 → oleks joins (~oleks@188.166.34.97)
2021-04-12 14:51:10 × ram19890 quits (~ram@49.207.130.109) (Client Quit)
2021-04-12 14:52:07 × zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-12 14:52:27 → zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr)
2021-04-12 14:54:56 × minoru_shiraeesh quits (~shiraeesh@109.166.57.218) (Ping timeout: 246 seconds)
2021-04-12 14:55:43 × poscat quits (~poscat@114.245.106.173) (Ping timeout: 252 seconds)
2021-04-12 14:55:59 → dyeplexer joins (~lol@unaffiliated/terpin)
2021-04-12 14:56:33 → poscat joins (~poscat@114.245.106.173)
2021-04-12 14:56:51 × dcbdan quits (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Quit: leaving)
2021-04-12 14:57:33 × mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-04-12 14:58:44 → kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt)
2021-04-12 15:00:29 → minoru_shiraeesh joins (~shiraeesh@109.166.57.218)
2021-04-12 15:01:46 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-04-12 15:04:21 × acidjnk_new quits (~acidjnk@p200300d0c72b950365222184c91f1222.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-04-12 15:04:32 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-12 15:05:00 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-12 15:06:24 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-12 15:08:54 → usr25 joins (~usr25@unaffiliated/usr25)
2021-04-12 15:10:21 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-12 15:12:28 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-12 15:16:14 × johnw quits (~johnw@haskell/developer/johnw) (Remote host closed the connection)
2021-04-12 15:24:06 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-12 15:24:25 → Deide joins (~Deide@217.155.19.23)
2021-04-12 15:24:41 × pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-12 15:27:17 → fendor_ joins (~fendor@e244-003.eduroam.tuwien.ac.at)
2021-04-12 15:27:51 → myShoggoth joins (~myShoggot@75.164.73.93)
2021-04-12 15:29:05 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-12 15:29:10 → kiweun joins (~kiweun@2607:fea8:2a62:9600:fd49:971:910:f13a)
2021-04-12 15:32:34 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-04-12 15:32:34 × jpe90 quits (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-04-12 15:34:00 × kiweun quits (~kiweun@2607:fea8:2a62:9600:fd49:971:910:f13a) (Ping timeout: 258 seconds)
2021-04-12 15:35:11 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 260 seconds)
2021-04-12 15:35:22 → idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-12 15:35:44 → ram19890 joins (~ram@49.207.130.109)
2021-04-12 15:36:33 × APic quits (apic@apic.name) (Ping timeout: 240 seconds)
2021-04-12 15:40:35 × mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-04-12 15:41:05 → mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net)
2021-04-12 15:41:22 → neiluj joins (~jco@91-167-203-101.subs.proxad.net)
2021-04-12 15:41:22 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host)
2021-04-12 15:41:22 → neiluj joins (~jco@unaffiliated/neiluj)
2021-04-12 15:41:24 × mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit)
2021-04-12 15:41:30 → meinhof joins (4eb96741@78.185.103.65)
2021-04-12 15:41:55 → mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net)
2021-04-12 15:42:12 × mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit)
2021-04-12 15:43:48 → APic joins (apic@apic.name)
2021-04-12 15:45:33 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-04-12 15:45:58 → Tario joins (~Tario@200.119.184.160)
←Prev  Next→
Page 1 .. 4371 4372 4373 4374 4375 4376 4377 4378 4379 4380 4381 .. 5022

All times are in UTC.