Logs: liberachat/#haskell
| 2021-06-14 03:55:52 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-14 03:57:15 | <DigitalKiwi> | https://github.com/NixOS/nixpkgs/pull/74830 |
| 2021-06-14 03:58:13 | <DigitalKiwi> | https://github.com/NixOS/nixpkgs/issues/76625 |
| 2021-06-14 04:00:04 | <DigitalKiwi> | have also used it for finding bugs in kicad |
| 2021-06-14 04:00:20 | <DigitalKiwi> | (not even nix bugs in kicad but like kicad bugs) |
| 2021-06-14 04:03:23 | <eflister> | hi, using an xml-conduit cursor i want to filter out nodes that have a child <LineString> -- i think i need to use one of the check* functions here: https://hackage.haskell.org/package/xml-conduit-1.9.1.1/docs/Text-XML-Cursor.html#g:4 |
| 2021-06-14 04:03:40 | × | alx741 quits (~alx741@181.196.69.243) (Quit: alx741) |
| 2021-06-14 04:03:51 | <eflister> | my guess is something like: check (\c -> "LineString" `notElem` (c $/ nameLocalName . elementName)) |
| 2021-06-14 04:04:40 | <eflister> | but that doesn't type check: Couldn't match type ‘T.Text’ with ‘[[Char]]’ |
| 2021-06-14 04:06:37 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-14 04:07:31 | → | ddellacosta joins (~ddellacos@89.45.224.126) |
| 2021-06-14 04:07:58 | × | sheepduck quits (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-06-14 04:08:07 | <DigitalKiwi> | (oh and if anyone is wondering; the bug i said that i haven't fixed is actually a completely different (though very rhymy, possibly regression) one) |
| 2021-06-14 04:08:19 | → | sheepduck joins (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-06-14 04:08:56 | → | sheepduck_ joins (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-06-14 04:09:06 | × | sheepduck quits (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Client Quit) |
| 2021-06-14 04:11:04 | <DigitalKiwi> | xmonad is supposed to be my window manager (xmonad+plasm5 session) but for some reason kwin decides that it should launch too and then coredumps and breaks plasma shell |
| 2021-06-14 04:11:19 | → | hololeap joins (hololeap@user/hololeap) |
| 2021-06-14 04:12:18 | × | ddellacosta quits (~ddellacos@89.45.224.126) (Ping timeout: 264 seconds) |
| 2021-06-14 04:12:23 | <DigitalKiwi> | head -n1 ~/.config/plasma-workspace/env/set_window_manager.sh |
| 2021-06-14 04:12:24 | <DigitalKiwi> | export KDEWM=/run/current-system/sw/bin/xmonad |
| 2021-06-14 04:13:57 | <DigitalKiwi> | is the work around from the wiki (it shouldn't be needed; didn't used to be needed) the session manager is supposed to handle that |
| 2021-06-14 04:18:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-14 04:19:33 | → | sekun joins (~sekun@180.190.222.37) |
| 2021-06-14 04:20:35 | × | hexeme quits (~hexeme@ec2-54-188-57-39.us-west-2.compute.amazonaws.com) (Changing host) |
| 2021-06-14 04:20:35 | → | hexeme joins (~hexeme@user/hexeme) |
| 2021-06-14 04:23:26 | <eflister> | anyone around that knows xml-conduit cursors? |
| 2021-06-14 04:23:32 | → | slack1256 joins (~slack1256@191.125.227.90) |
| 2021-06-14 04:23:45 | × | slack1256 quits (~slack1256@191.125.227.90) (Remote host closed the connection) |
| 2021-06-14 04:24:35 | <DigitalKiwi> | the reason that's a workaround and not solution is then you can't use the session chooser to, you know, actually choose to use kwin (rare that it's desired i know but it happens) |
| 2021-06-14 04:28:48 | → | slack1256 joins (~slack1256@191.125.227.90) |
| 2021-06-14 04:29:19 | <slack1256> | Is there a standard pattern to organize code on IHaskell/Jupyter notebooks? |
| 2021-06-14 04:29:41 | <slack1256> | I never thought I would say this but I miss the haskell module system... |
| 2021-06-14 04:32:44 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-06-14 04:39:52 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
| 2021-06-14 04:41:42 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds) |
| 2021-06-14 04:42:04 | → | ddellacosta joins (~ddellacos@83.143.246.105) |
| 2021-06-14 04:43:40 | × | beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds) |
| 2021-06-14 04:46:19 | × | ddellacosta quits (~ddellacos@83.143.246.105) (Ping timeout: 244 seconds) |
| 2021-06-14 04:47:52 | → | chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) |
| 2021-06-14 04:53:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-14 05:00:46 | × | slack1256 quits (~slack1256@191.125.227.90) (Ping timeout: 272 seconds) |
| 2021-06-14 05:02:01 | <eflister> | anyone around have time to help me w/ my xml-conduit cursor problem? :) |
| 2021-06-14 05:05:09 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-14 05:06:46 | <DigitalKiwi> | i was thinking maybe you could annotate it or pack/unpack it or maybe {-# LANGUAGE OverloadedStrings #- |
| 2021-06-14 05:11:06 | <eflister> | DigitalKiwi: i don't think it's a string/text thing, i do have overloadedstrings on... i think it's that i don't see how to get at element names from inside a cursor. |
| 2021-06-14 05:13:00 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-14 05:14:26 | <DigitalKiwi> | do you have a runnable code |
| 2021-06-14 05:17:40 | <eflister> | i'll make a paste, it'll take a few |
| 2021-06-14 05:20:03 | → | Obo joins (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) |
| 2021-06-14 05:20:21 | → | ddellacosta joins (~ddellacos@86.106.143.113) |
| 2021-06-14 05:20:33 | <DigitalKiwi> | i haven't used any conduit and am not very good but i'm bored and have time to swing the hammer |
| 2021-06-14 05:25:30 | × | ddellacosta quits (~ddellacos@86.106.143.113) (Ping timeout: 264 seconds) |
| 2021-06-14 05:28:02 | × | sheepduck_ quits (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Quit: Leaving) |
| 2021-06-14 05:28:39 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-06-14 05:28:39 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-06-14 05:28:39 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-14 05:28:40 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-14 05:31:30 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-14 05:31:40 | × | haskller quits (~haskeller@2601:643:897f:561d:f1b9:73f1:b827:9693) (Ping timeout: 268 seconds) |
| 2021-06-14 05:36:15 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-14 05:39:36 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-14 05:45:58 | → | sheepduck joins (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-06-14 05:47:58 | × | sheepduck quits (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-06-14 05:50:35 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-06-14 05:50:53 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-14 05:52:30 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2021-06-14 05:55:47 | <eflister> | DigitalKiwi: awesome, thanks! here's the paste: https://paste.tomsmeding.com/2Yr7Xo7w |
| 2021-06-14 05:56:14 | <eflister> | i may have missed some imports, let me know if doesn't work. you'll need some packages (i annotated the imports) |
| 2021-06-14 05:58:07 | → | ddellacosta joins (~ddellacos@89.45.224.204) |
| 2021-06-14 05:58:12 | <eflister> | a lot of the code is just for downloading and unzipping a .kmz, you can ignore that part. inside, it's just xml. the `elem` function is where i need to filter out nodes that have <LineString> children |
| 2021-06-14 06:01:45 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-14 06:02:04 | <eflister> | DigitalKiwi: i missed some imports, here's updated paste: https://paste.tomsmeding.com/FxFOw6LO |
| 2021-06-14 06:02:26 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-14 06:02:40 | → | qbt joins (~edun@user/edun) |
| 2021-06-14 06:03:12 | × | aerona quits (~aerona@2600:6c54:4600:f300:44ca:5279:6dc:be77) (Quit: Leaving) |
| 2021-06-14 06:03:28 | × | ddellacosta quits (~ddellacos@89.45.224.204) (Ping timeout: 272 seconds) |
| 2021-06-14 06:06:45 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-14 06:07:30 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-14 06:09:02 | → | beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
| 2021-06-14 06:09:44 | × | hemlock quits (~hemlock@ip72-203-188-10.tu.ok.cox.net) (Remote host closed the connection) |
| 2021-06-14 06:09:54 | → | hemlock joins (~hemlock@ip72-203-188-10.tu.ok.cox.net) |
| 2021-06-14 06:11:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-14 06:11:23 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-14 06:12:53 | zaquest_ | is now known as zaquest |
| 2021-06-14 06:19:25 | <eflister> | cursors are discussed here: https://www.yesodweb.com/book/xml#xml_cursor, and i think this is the only stackoverflow question (with xml-conduit's author's reply) that hints at how to use `check`: https://stackoverflow.com/questions/51605604/how-to-check-on-nodes-content-in-text-xml-cursor |
| 2021-06-14 06:21:00 | × | Sgeo_ quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-06-14 06:21:45 | <eflister> | in another context, i was able to use `checkElement` to filter based on a node's attribute values, but i don't see how to look at a node's childrens' names... |
| 2021-06-14 06:21:47 | <eflister> | checkElement (maybe False (not . T.isInfixOf "Spanish") . M.lookup "ows_Document" . X.elementAttributes) |
| 2021-06-14 06:25:08 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-06-14 06:27:23 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-14 06:28:32 | → | bfrk joins (~bfrk@200116b8451b0900bae0ed5ddd267e3d.dip.versatel-1u1.de) |
| 2021-06-14 06:29:22 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2021-06-14 06:32:42 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-14 06:32:48 | × | eflister quits (~eflister@2601:1c0:5501:c150:a9cd:cab7:e080:34d4) (Quit: Client closed) |
| 2021-06-14 06:33:37 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-06-14 06:35:13 | → | ddellacosta joins (~ddellacos@86.106.143.126) |
| 2021-06-14 06:37:42 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:c6a2:6b31:b38d:d90c) |
| 2021-06-14 06:37:54 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-06-14 06:38:43 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
All times are in UTC.