Logs: liberachat/#haskell
| 2021-06-25 04:27:04 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 04:30:04 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 04:31:32 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-06-25 04:31:38 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 04:33:02 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-25 04:34:33 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 04:34:58 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-25 04:35:01 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-25 04:36:07 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 04:37:38 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-25 04:38:58 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 04:40:17 | <qrpnxz> | oh it doesn't have a length, only capacity. dang |
| 2021-06-25 04:40:32 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 04:40:34 | <qrpnxz> | guess i could implement another class that did it |
| 2021-06-25 04:42:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-06-25 04:43:13 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 04:44:47 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 04:47:39 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 04:49:06 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 256 seconds) |
| 2021-06-25 04:49:14 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 04:52:02 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 04:53:35 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 04:56:23 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 04:57:56 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:00:52 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:02:27 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:05:10 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:06:43 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:08:56 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-06-25 05:09:36 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:11:10 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:13:43 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:15:18 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:18:06 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:19:41 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:19:52 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-06-25 05:22:27 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:24:01 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:26:41 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-25 05:26:52 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:28:27 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:28:29 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-25 05:31:19 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:32:32 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2021-06-25 05:32:35 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-06-25 05:32:52 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:33:33 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 250 seconds) |
| 2021-06-25 05:34:25 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2021-06-25 05:34:30 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-25 05:35:00 | × | julyanna quits (~julyanna@180.190.158.122) (Quit: Leaving) |
| 2021-06-25 05:35:47 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:37:21 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:38:22 | → | dunkeln_ joins (~dunkeln@188.71.193.140) |
| 2021-06-25 05:40:15 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:40:26 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-25 05:41:48 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:42:13 | × | johnw quits (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 250 seconds) |
| 2021-06-25 05:42:13 | → | johnw_ joins (~johnw@2600:1700:cf00:db0:445f:c73e:90ff:5975) |
| 2021-06-25 05:42:50 | <hololeap> | I'm looking for something like Eq, but it passes on the information about which parts of the datastructure is the same and which parts are different. |
| 2021-06-25 05:44:34 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:45:37 | <c_wraith> | your keyword would be "diff" |
| 2021-06-25 05:45:45 | <c_wraith> | I'm sure there are several packages on hackage |
| 2021-06-25 05:46:08 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:48:17 | × | MorrowM quits (~MorrowM_@147.161.13.193) (Ping timeout: 250 seconds) |
| 2021-06-25 05:48:52 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:49:26 | × | zmt01 quits (~zmt00@user/zmt00) (Quit: Gone.) |
| 2021-06-25 05:50:27 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:53:04 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:54:38 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:56:12 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-25 05:56:25 | × | UpstreamSalmon quits (uid12077@id-12077.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-25 05:56:42 | × | dunkeln_ quits (~dunkeln@188.71.193.140) (Ping timeout: 240 seconds) |
| 2021-06-25 05:57:22 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 05:58:56 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 05:58:58 | × | nerdypepper quits (~nerdypepp@152.67.162.71) (Quit: bye) |
| 2021-06-25 05:59:37 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-06-25 06:01:44 | → | nerdypepper joins (~nerdypepp@152.67.162.71) |
| 2021-06-25 06:01:46 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 06:03:20 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 06:06:06 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 06:07:41 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 06:10:36 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 06:12:10 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 06:12:22 | × | slack1256 quits (~slack1256@181.203.79.103) (Ping timeout: 244 seconds) |
| 2021-06-25 06:14:55 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 06:15:08 | → | chele joins (~chele@user/chele) |
| 2021-06-25 06:16:29 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 06:19:03 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 06:20:39 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 06:23:27 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 06:25:02 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 06:25:40 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-25 06:27:53 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 06:27:55 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-25 06:28:25 | <Axman6> | hololeap: https://hackage.haskell.org/package/gdiff-1.1/docs/Data-Generic-Diff.html might be useful for you |
| 2021-06-25 06:29:26 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 06:30:53 | → | leeb_ joins (~leeb@KD111239153087.au-net.ne.jp) |
| 2021-06-25 06:32:05 | → | chomwitt joins (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-06-25 06:32:15 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 06:33:47 | × | leeb quits (~leeb@KD111239152196.au-net.ne.jp) (Ping timeout: 250 seconds) |
All times are in UTC.