Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 982 983 984 985 986 987 988 989 990 991 992 .. 18030
— 1,802,903 events total
2021-07-17 07:30:58 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-17 07:31:04 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-17 07:33:03 × hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection)
2021-07-17 07:33:10 → agua joins (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100)
2021-07-17 07:33:39 → hololeap joins (~hololeap@user/hololeap)
2021-07-17 07:35:33 × pesada quits (~agua@2804:18:48:588b:1:0:277e:35b0) (Ping timeout: 255 seconds)
2021-07-17 07:35:39 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-07-17 07:39:41 <arahael> I'm trying to learn how to use "Arrows" (aka HXT), in order to have an 'elegant' way to convert my data types to XML. To do this, I've tried to define a type class that defines `class ToXml a where xml :: IOStateArrow s a XmlTree`, but I don't think I'm doing it right and I would need a phantom-type anyway to use a type class like that. How should I be doing this?
2021-07-17 07:41:09 <arahael> I want to allow my "toXml" routines to potentially use state as they may need to obtain more informatio than what is captured in my values. (Eg, to look up and resolve stuff from a database)
2021-07-17 07:42:31 × bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-17 07:43:15 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-17 07:46:05 → acidjnk joins (~acidjnk@p200300d0c72b9530b41c89c6d6c03a30.dip0.t-ipconnect.de)
2021-07-17 07:47:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-17 07:49:18 → dragestil joins (~znc@user/dragestil)
2021-07-17 07:50:17 <arahael> I'm thinking of avoiding arrows entirely, and just define xml like so: `xml :: a -> State s XmlTree`
2021-07-17 07:50:31 <arahael> (Well, XmlTrees, really)
2021-07-17 07:50:38 × dunkeln quits (~dunkeln@94.128.224.230) (Ping timeout: 265 seconds)
2021-07-17 07:51:05 <c_wraith> "avoid them entirely" has been my experience with arrows
2021-07-17 07:52:35 <arahael> Heh. Thing is, arrows _sound_ like they'd be nice for what is largely xml transformations.
2021-07-17 07:54:35 × benin0369 quits (~benin@183.82.204.139) (Ping timeout: 258 seconds)
2021-07-17 07:56:39 → fendor joins (~fendor@77.119.192.173.wireless.dyn.drei.com)
2021-07-17 07:57:47 × _xor quits (~xor@74.215.232.67) (Quit: WeeChat 3.2)
2021-07-17 07:58:55 → _xor joins (~xor@74.215.232.67)
2021-07-17 07:59:31 → mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-07-17 07:59:50 → benin0369 joins (~benin@183.82.206.198)
2021-07-17 08:00:21 × HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Remote host closed the connection)
2021-07-17 08:00:53 → Pickchea joins (~private@user/pickchea)
2021-07-17 08:01:47 × GIANTWORLDKEEPR_ quits (~pjetcetal@128-71-13-182.broadband.corbina.ru) (Quit: EXIT)
2021-07-17 08:02:37 → HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-07-17 08:02:53 × HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Remote host closed the connection)
2021-07-17 08:04:20 <arahael> Yeah, I can't even find an example for this, I'm going to give up on using arrows for transforming to xml.
2021-07-17 08:05:27 → chomwitt joins (~Pitsikoko@athedsl-32487.home.otenet.gr)
2021-07-17 08:07:11 → hendursa1 joins (~weechat@user/hendursaga)
2021-07-17 08:09:45 × hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-07-17 08:10:59 → dunkeln_ joins (~dunkeln@94.128.224.230)
2021-07-17 08:13:56 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-17 08:15:45 × favonia quits (~favonia@user/favonia) (Ping timeout: 250 seconds)
2021-07-17 08:17:13 <arahael> Yep, I think I should definitely just use the `xml :: a -> State MyState XmlTrees` design. Less flexible, but more sane.
2021-07-17 08:17:35 → allbery_b joins (~geekosaur@xmonad/geekosaur)
2021-07-17 08:17:38 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-07-17 08:18:30 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-07-17 08:21:31 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-07-17 08:23:11 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-17 08:26:16 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-07-17 08:26:24 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
2021-07-17 08:28:09 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2021-07-17 08:28:15 → eggplant_ joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-17 08:29:33 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
2021-07-17 08:29:36 Lord_of_Life_ is now known as Lord_of_Life
2021-07-17 08:30:06 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-07-17 08:30:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-17 08:32:42 × eggplant_ quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2021-07-17 08:35:42 → Deide joins (~Deide@217.155.19.23)
2021-07-17 08:35:42 × Deide quits (~Deide@217.155.19.23) (Changing host)
2021-07-17 08:35:42 → Deide joins (~Deide@user/deide)
2021-07-17 08:38:04 → Ouroborosie joins (~pjetcetal@128-71-13-182.broadband.corbina.ru)
2021-07-17 08:39:21 → zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3)
2021-07-17 08:42:23 → Voxelman joins (~Voxelman@185.254.75.32)
2021-07-17 08:46:01 <arahael> Actually I'm weirdly stumped, I've fallen into a deep hole: How do I print XML? I've been parsing with HXT for most of my programs, so ideally I'd like to use the same data types, but how do I print it?
2021-07-17 08:46:28 <arahael> This page has some examples: https://hackage.haskell.org/package/hxt-9.3.1.22/docs/Text-XML-HXT-Arrow-WriteDocument.html
2021-07-17 08:46:51 → sagax joins (~sagax@213.138.71.146)
2021-07-17 08:47:13 <arahael> But... They don't work, at all, when using the sample XmlTree: foo = Ntree (XTag (mkName "foo") []) []
2021-07-17 08:47:21 <arahael> The writeDocument just does nothing at all.
2021-07-17 08:47:36 <arahael> *NTree
2021-07-17 08:49:33 <arahael> So I'm completely stumped as to why this doesn't work: runX (arr (const foo) >>> writeDocument [] "")
2021-07-17 08:49:45 <arahael> (It compiles and runs, though(!))
2021-07-17 08:51:04 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-07-17 08:52:55 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-17 08:54:18 × azeem quits (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) (Ping timeout: 240 seconds)
2021-07-17 08:54:42 × hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-17 08:54:42 <arahael> I think I need to give up on this HXT, it seems seriously badly documented. :( Maybe I should try something like xml-hamlet.
2021-07-17 08:55:01 → azeem joins (~azeem@176.200.202.21)
2021-07-17 08:56:41 × superbil quits (~superbil@1-34-176-171.HINET-IP.hinet.net) (Quit: WeeChat 3.1)
2021-07-17 08:58:20 × mcfrdy quits (uid507892@user/mcfrdy) ()
2021-07-17 08:59:26 × Erutuon quits (~Erutuon@user/erutuon) (Quit: WeeChat 2.8)
2021-07-17 08:59:29 <arahael> Oh, wow, just got output.
2021-07-17 09:01:48 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-07-17 09:03:45 × Pickchea quits (~private@user/pickchea) (Ping timeout: 255 seconds)
2021-07-17 09:04:24 <arahael> Yep, seems the only thing I was missing was the root node. HXT just silently ignores that.
2021-07-17 09:06:15 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-07-17 09:07:33 × dunkeln_ quits (~dunkeln@94.128.224.230) (Quit: leaving)
2021-07-17 09:10:26 × azeem quits (~azeem@176.200.202.21) (Read error: Connection reset by peer)
2021-07-17 09:10:42 → azeem joins (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it)
2021-07-17 09:13:23 × xff0x quits (~xff0x@2001:1a81:5219:9d00:b696:f328:1841:5724) (Ping timeout: 255 seconds)
2021-07-17 09:14:17 → xff0x joins (~xff0x@2001:1a81:5219:9d00:3d14:ef54:1c92:a192)
2021-07-17 09:18:14 → superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net)
2021-07-17 09:18:20 × acidjnk quits (~acidjnk@p200300d0c72b9530b41c89c6d6c03a30.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2021-07-17 09:18:27 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-17 09:18:57 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-17 09:21:34 × fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds)
2021-07-17 09:23:06 → mcfrdy joins (~mcfrdy@user/mcfrdy)
2021-07-17 09:23:17 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 255 seconds)
2021-07-17 09:28:10 → fef joins (~thedawn@user/thedawn)
2021-07-17 09:29:40 → Feuermagier joins (~Feuermagi@user/feuermagier)
2021-07-17 09:31:21 → amanr joins (~therojjha@20.204.87.0)
2021-07-17 09:32:14 × _xor quits (~xor@74.215.232.67) (Quit: brb)
2021-07-17 09:32:28 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-07-17 09:33:09 × Codaraxis quits (~Codaraxis@user/codaraxis) (Remote host closed the connection)
2021-07-17 09:33:34 → Codaraxis joins (~Codaraxis@user/codaraxis)
2021-07-17 09:42:26 → _xor joins (~xor@74.215.232.67)
←Prev  Next→
Page 1 .. 982 983 984 985 986 987 988 989 990 991 992 .. 18030

All times are in UTC.