Logs: freenode/#haskell
| 2020-11-17 19:58:25 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 2020-11-17 20:01:46 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds) |
| 2020-11-17 20:02:11 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:94c2:72b2:8a99:7096) |
| 2020-11-17 20:03:34 | × | vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-17 20:04:31 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-11-17 20:04:35 | → | raichoo joins (~raichoo@dslb-178-009-065-096.178.009.pools.vodafone-ip.de) |
| 2020-11-17 20:07:18 | → | dead10cc joins (~rg@2607:fea8:2c40:307:78ba:7ae3:3565:1092) |
| 2020-11-17 20:08:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2020-11-17 20:12:47 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2020-11-17 20:12:48 | × | v_m_v_ quits (~vm_v@31-10-157-87.cgn.dynamic.upc.ch) (Remote host closed the connection) |
| 2020-11-17 20:14:25 | × | servo quits (servo@41.141.56.25) (Ping timeout: 240 seconds) |
| 2020-11-17 20:15:50 | → | v_m_v_ joins (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a) |
| 2020-11-17 20:15:51 | → | ntqz joins (ntqz@75.175.141.156) |
| 2020-11-17 20:17:28 | → | bgamari_ joins (~bgamari@2001:470:e438::1) |
| 2020-11-17 20:18:27 | × | doitux|mob quits (~doitux|mo@195.206.169.184) (Remote host closed the connection) |
| 2020-11-17 20:18:41 | ← | dead10cc parts (~rg@2607:fea8:2c40:307:78ba:7ae3:3565:1092) ("Konversation terminated!") |
| 2020-11-17 20:19:19 | → | vacm joins (~vacwm@70.23.92.191) |
| 2020-11-17 20:21:46 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2020-11-17 20:23:36 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-17 20:26:40 | → | Franciman joins (~francesco@host-82-56-223-169.retail.telecomitalia.it) |
| 2020-11-17 20:28:01 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-17 20:29:45 | × | jamestmartin quits (~james@jtmar.me) (Quit: ZNC 1.8.1+deb1 - https://znc.in) |
| 2020-11-17 20:30:27 | × | nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Remote host closed the connection) |
| 2020-11-17 20:30:51 | → | nados joins (~dan@69-165-210-185.cable.teksavvy.com) |
| 2020-11-17 20:30:55 | → | knupfer joins (~Thunderbi@200116b8248c3e000ccc3cfffed69552.dip.versatel-1u1.de) |
| 2020-11-17 20:30:55 | × | knupfer quits (~Thunderbi@200116b8248c3e000ccc3cfffed69552.dip.versatel-1u1.de) (Client Quit) |
| 2020-11-17 20:31:13 | → | knupfer joins (~Thunderbi@200116b8248c3e00587246ff6e545e09.dip.versatel-1u1.de) |
| 2020-11-17 20:31:29 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-17 20:32:51 | → | Alex1 joins (~Alex@185.163.110.116) |
| 2020-11-17 20:33:03 | × | v_m_v_ quits (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a) (Remote host closed the connection) |
| 2020-11-17 20:34:18 | → | jamestmartin joins (james@jtmar.me) |
| 2020-11-17 20:35:23 | × | vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-17 20:36:46 | → | zephyz joins (~zephyz@4e69715d.skybroadband.com) |
| 2020-11-17 20:36:55 | × | jamestmartin quits (james@jtmar.me) (Client Quit) |
| 2020-11-17 20:37:11 | → | jamestmartin joins (james@jtmar.me) |
| 2020-11-17 20:40:03 | → | sdx23 joins (~sdx23@unaffiliated/sdx23) |
| 2020-11-17 20:41:13 | × | britva quits (~britva@2a02:aa13:7240:2980:7da5:a1a0:c038:90b4) (Quit: This computer has gone to sleep) |
| 2020-11-17 20:42:37 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2020-11-17 20:43:23 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds) |
| 2020-11-17 20:43:57 | <nut> | why do people derive Generic? |
| 2020-11-17 20:44:25 | × | jamestmartin quits (james@jtmar.me) (Quit: ZNC 1.8.2+deb1 - https://znc.in) |
| 2020-11-17 20:44:41 | → | jamestmartin joins (~james@jtmar.me) |
| 2020-11-17 20:45:03 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2020-11-17 20:45:08 | <merijn> | Because handwriting sucks? :p |
| 2020-11-17 20:45:42 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2020-11-17 20:46:13 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-17 20:46:14 | <nut> | I see this after deriving Generic: instance NFData Implementation |
| 2020-11-17 20:46:31 | <nut> | is it related to this instance? for the data Implementation |
| 2020-11-17 20:46:50 | <nut> | I mean Generic and NFData instance, are they related? |
| 2020-11-17 20:47:08 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 2020-11-17 20:47:54 | <nut> | The data 'Implementation', is just a normal algebraic type without fancy data entries |
| 2020-11-17 20:48:08 | × | jamestmartin quits (~james@jtmar.me) (Client Quit) |
| 2020-11-17 20:48:24 | → | jamestmartin joins (james@jtmar.me) |
| 2020-11-17 20:48:34 | <tomjaguarpaw> | If the NFData instance doesn't have a body then yes, I guess it is filled in with defaults from Generic. |
| 2020-11-17 20:49:22 | × | knupfer quits (~Thunderbi@200116b8248c3e00587246ff6e545e09.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2020-11-17 20:49:40 | × | jamestmartin quits (james@jtmar.me) (Client Quit) |
| 2020-11-17 20:49:56 | → | jamestmartin joins (~james@jtmar.me) |
| 2020-11-17 20:50:08 | <nut> | I see, tomjaguarpaw , indeed it doens't have a body |
| 2020-11-17 20:50:18 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 260 seconds) |
| 2020-11-17 20:51:08 | × | jamestmartin quits (~james@jtmar.me) (Client Quit) |
| 2020-11-17 20:51:09 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2020-11-17 20:51:19 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 2020-11-17 20:51:25 | → | jamestmartin joins (~james@jtmar.me) |
| 2020-11-17 20:51:42 | × | Alleria_ quits (~AllahuAkb@2604:2000:1484:26:217f:16b3:ceaa:d387) (Ping timeout: 260 seconds) |
| 2020-11-17 20:53:17 | <tomjaguarpaw> | It will be filled in the with default implementation you see at http://hackage.haskell.org/package/deepseq-1.4.4.0/docs/Control-DeepSeq.html#v:rnf (the one with Generic in the signature) |
| 2020-11-17 20:55:30 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-17 20:55:30 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-17 20:55:31 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2020-11-17 20:55:45 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-17 20:56:04 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-17 20:56:16 | × | ntqz quits (ntqz@75.175.141.156) (Remote host closed the connection) |
| 2020-11-17 20:59:28 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-11-17 21:00:01 | × | Alex1 quits (~Alex@185.163.110.116) () |
| 2020-11-17 21:02:38 | × | jamestmartin quits (~james@jtmar.me) (Quit: ZNC 1.8.2+deb1 - https://znc.in) |
| 2020-11-17 21:02:54 | → | jamestmartin joins (james@jtmar.me) |
| 2020-11-17 21:04:36 | × | bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2020-11-17 21:06:21 | → | vacm joins (~vacwm@70.23.92.191) |
| 2020-11-17 21:07:31 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-11-17 21:09:57 | → | knupfer joins (~Thunderbi@i59F7FFD9.versanet.de) |
| 2020-11-17 21:12:01 | × | u0_a298 quits (~user@47.206.148.226) (Remote host closed the connection) |
| 2020-11-17 21:12:28 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-17 21:12:29 | → | mirrorbird joins (~psutcliff@89.40.182.158) |
| 2020-11-17 21:14:37 | × | chaosmasttter quits (~chaosmast@p200300c4a73c52013d9d8982c174fa36.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 2020-11-17 21:14:37 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-17 21:14:45 | → | abrar joins (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) |
| 2020-11-17 21:14:54 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-17 21:16:56 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-17 21:17:02 | × | abrar quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Client Quit) |
| 2020-11-17 21:17:14 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-17 21:18:30 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 265 seconds) |
| 2020-11-17 21:19:06 | × | dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9) |
| 2020-11-17 21:19:45 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2020-11-17 21:19:55 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-11-17 21:21:56 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-17 21:21:56 | → | havenwood1 joins (~havenwood@185.204.1.185) |
| 2020-11-17 21:22:13 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-17 21:24:51 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-17 21:28:28 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 272 seconds) |
| 2020-11-17 21:28:43 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 2020-11-17 21:29:03 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
All times are in UTC.