Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-03-04 21:54:08 × Nahra quits (~Nahra@unaffiliated/nahra) (Quit: leaving)
2021-03-04 21:56:15 × crobbins quits (~crobbins@2600:1700:48eb:8490:9416:7f26:bb22:cc55) (Ping timeout: 240 seconds)
2021-03-04 21:56:32 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-04 21:57:04 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds)
2021-03-04 21:57:34 neiluj joins (~jco@91-167-203-101.subs.proxad.net)
2021-03-04 21:57:34 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host)
2021-03-04 21:57:34 neiluj joins (~jco@unaffiliated/neiluj)
2021-03-04 21:58:49 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 245 seconds)
2021-03-04 21:58:59 × bobiusbillius quits (~bobiusbil@2a02:c7d:51c4:7000:1037:bcdb:7c3:6458) (Ping timeout: 258 seconds)
2021-03-04 22:00:11 crobbins joins (~crobbins@2600:1700:48eb:8490:9416:7f26:bb22:cc55)
2021-03-04 22:00:20 ollierees joins (~ollierees@2a02:c7f:a8a8:fb00:7bfd:a909:fc9a:92c6)
2021-03-04 22:00:40 justan0theruser is now known as justanotheruser
2021-03-04 22:01:20 <ollierees> :t mapM
2021-03-04 22:01:21 <lambdabot> (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
2021-03-04 22:01:46 alx741 joins (~alx741@186.178.108.237)
2021-03-04 22:02:24 bobiusbillius joins (~bobiusbil@2a02:c7d:51c4:7000:1037:bcdb:7c3:6458)
2021-03-04 22:02:34 × malumore quits (~malumore@151.62.127.36) (Ping timeout: 245 seconds)
2021-03-04 22:03:00 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-04 22:03:06 <ph88> how can i go from a list of [[(FieldName, DataValue)]] to [DataRow] ? https://hackage.haskell.org/package/hvega-0.11.0.0/docs/Graphics-Vega-VegaLite.html#v:dataRow i just get this function which i think i need to apply continiously
2021-03-04 22:03:48 × kiweun quits (~kiweun@dsl-173-206-6-91.tor.primus.ca) (Remote host closed the connection)
2021-03-04 22:05:13 <monochrom> Start with [] :: [DataRow] as your starter?
2021-03-04 22:05:47 <ph88> yes sure
2021-03-04 22:06:06 <monochrom> "What you add to Vega, stays in Vega". >:)
2021-03-04 22:06:29 × elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-03-04 22:06:33 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-03-04 22:06:40 <ph88> but i can not call dataRow every time because i don't know how many times i would need to do that
2021-03-04 22:06:48 <ph88> but i can't simply map it either
2021-03-04 22:06:56 elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-04 22:07:15 <ph88> if it was dataRow :: [(FieldName, DataValue)] -> [DataRow] i could just map and that's that
2021-03-04 22:07:52 <ollierees> [DataRow] is just [[[(FieldName, DataValue)]] -> [DataRow] -> [DataRow]], where [] is the leaf of DataRow...
2021-03-04 22:07:58 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:31cc:7f5d:4d57:b77) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-04 22:08:16 <monochrom> I'm sure you'll figure out you actually have many options.
2021-03-04 22:08:17 <ph88> here in the example documentation they call dataRow manually for each element https://hackage.haskell.org/package/hvega-0.11.0.0/docs/Graphics-Vega-VegaLite.html#v:dataFromRows
2021-03-04 22:08:42 <ph88> i guess the many options are confusing me o_O
2021-03-04 22:08:46 <ph88> is there an idiomatic option ? like a short function or so
2021-03-04 22:09:23 × bobiusbillius quits (~bobiusbil@2a02:c7d:51c4:7000:1037:bcdb:7c3:6458) (Ping timeout: 272 seconds)
2021-03-04 22:09:46 <ph88> one thing that came to mind is foldr (. dataRow) id [..myList..] but it seems rather ugly
2021-03-04 22:10:15 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-04 22:10:21 × lieven quits (~mal@unaffiliated/lieven) (Quit: WeeChat 1.6)
2021-03-04 22:10:46 evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
2021-03-04 22:10:46 × heatsink quits (~heatsink@2600:1700:bef1:5e10:b42a:6451:2211:3708) (Remote host closed the connection)
2021-03-04 22:10:50 <monochrom> OK here are the options off the top of my head.
2021-03-04 22:11:13 usr25 joins (~usr25@unaffiliated/usr25)
2021-03-04 22:11:35 <monochrom> map (\x -> dataRow x []) --- there you go, can't say "can't just map over", I just did
2021-03-04 22:12:11 <monochrom> dataRow (xs ++ ys ++ zs) [] -- if xs, ys, zs :: [(FieldName, DataValue)]
2021-03-04 22:12:47 <monochrom> dataRow zs (dataRow ys (dataRow xs [])) -- I don't know whether it's the right order by surely you can try
2021-03-04 22:13:01 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 265 seconds)
2021-03-04 22:13:05 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-04 22:13:19 <monochrom> I don't know which one does what you really need because I don't know what you really need.
2021-03-04 22:13:35 <monochrom> But these are all counterexamples to refute all bold "can't" claims.
2021-03-04 22:14:01 <monochrom> And these are all from just basic FP techniques.
2021-03-04 22:14:32 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-04 22:16:37 <ph88> map (\x -> dataRow x []) this is not sufficient i think i would get [[DataRow]] but i need [DataRow] ??
2021-03-04 22:17:43 <monochrom> There was a wise beginner who realized: "If not for IRC, I would have figured it out myself".
2021-03-04 22:17:48 <ph88> [xs, ys, zs] :: [[(FieldName, DataValue)]]
2021-03-04 22:17:50 <monochrom> I recommend you go that route.
2021-03-04 22:17:55 × jespada quits (~jespada@90.254.243.187) (Ping timeout: 240 seconds)
2021-03-04 22:18:27 <ph88> dataRow zs (dataRow ys (dataRow xs [])) this doesn't work because i don't know in front how many ys, ys and ys i have ..
2021-03-04 22:18:49 <ph88> zs, ys and xs i mean
2021-03-04 22:18:59 <monochrom> It's just an example.
2021-03-04 22:19:21 bobiusbillius joins (~bobiusbil@2.221.197.231)
2021-03-04 22:19:23 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-03-04 22:19:36 × erayo quits (c0ab6c77@119.108.171.192.pba.apn.pmt.pf) (Quit: Connection closed)
2021-03-04 22:19:54 kibo joins (~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net)
2021-03-04 22:20:22 jespada joins (~jespada@90.254.243.187)
2021-03-04 22:21:15 hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-03-04 22:21:57 lieven joins (~mal@unaffiliated/lieven)
2021-03-04 22:22:56 × ubert1 quits (~Thunderbi@p200300ecdf25d9e2e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-03-04 22:24:04 × bobiusbillius quits (~bobiusbil@2.221.197.231) (Ping timeout: 260 seconds)
2021-03-04 22:24:24 stampirl joins (~stampirl@195-154-112-77.rev.poneytelecom.eu)
2021-03-04 22:24:25 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2021-03-04 22:24:33 aidecoe joins (~aidecoe@unaffiliated/aidecoe)
2021-03-04 22:24:35 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-04 22:24:51 jpds joins (~jpds@gateway/tor-sasl/jpds)
2021-03-04 22:25:14 × apache801 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 260 seconds)
2021-03-04 22:25:16 apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-04 22:25:24 jdwidari2 joins (~jdwidari@173.38.117.76)
2021-03-04 22:25:37 <ph88> maybe i didn't explain the problem well enough
2021-03-04 22:26:09 <myShoggoth> heck-to-the-gnom: Sorry, didn't see your question earlier. We read through the code trying to understand how it works, elaborate on what's going on, some kibitzing by experts, etc.
2021-03-04 22:26:34 <myShoggoth> It is dense, we'll do it again at the same time next week.
2021-03-04 22:26:57 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 264 seconds)
2021-03-04 22:27:02 <myShoggoth> Video at https://www.twitch.tv/videos/936984769
2021-03-04 22:27:42 bahamas joins (~lucian@unaffiliated/bahamas)
2021-03-04 22:28:22 systemhalted joins (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
2021-03-04 22:28:50 qih joins (~pi@210-54-120-166.adsl.xtra.co.nz)
2021-03-04 22:28:59 olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-04 22:29:35 cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-04 22:30:10 <qih> Morning o/
2021-03-04 22:30:12 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-04 22:30:22 × jdwidari2 quits (~jdwidari@173.38.117.76) (Quit: WeeChat 3.0.1)
2021-03-04 22:30:47 kiweun joins (~kiweun@2607:fea8:2a62:9600:8160:4d43:4a85:f4b8)
2021-03-04 22:32:09 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 245 seconds)
2021-03-04 22:34:07 × Tops2 quits (~Tobias@dyndsl-095-033-090-077.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-03-04 22:34:39 × systemhalted quits (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Ping timeout: 245 seconds)
2021-03-04 22:34:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-04 22:35:43 Tario joins (~Tario@201.192.165.173)
2021-03-04 22:36:23 romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-04 22:40:34 × stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-04 22:41:46 <ph88> monochrom, i have this now let datas = (foldr (\a b -> b . (dataRow a)) id $ catMaybes $ map issueToDataRow issues) [] which seems to be ok ... but i have difficulties to read back my own code .. maybe there is a function to capture this behaviour ?
2021-03-04 22:41:56 <swarmcollective> Hello qih

All times are in UTC.