Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 261 262 263 264 265 266 267 268 269 270 271 .. 5022
— 502,152 events total
2020-09-28 00:28:45 × hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 240 seconds)
2020-09-28 00:31:28 → hololeap joins (~hololeap@unaffiliated/hololeap)
2020-09-28 00:31:53 <hololeap> has anyone tried both grapefruit-ui and brick? which one is your preference? i have used brick a bit and think it's well done, but i'm curious about grapefruit-ui..
2020-09-28 00:35:14 × catkiki quits (~catkiki@m90-134-157-227.cust.tele2.hr) (Remote host closed the connection)
2020-09-28 00:35:58 <Axman6> I've used brick, and liked it a lot. it's been a long time though do don't have anything other to add other than pleasant memories
2020-09-28 00:44:14 <glguy> Brick is actively maintained and extensively documented
2020-09-28 00:45:18 <Axman6> what does ghcup use?
2020-09-28 00:45:24 <hololeap> the brick docs are amazing
2020-09-28 00:45:57 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:d73:23e6:f24c:978a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 00:46:29 <koz_> @pl \x y -> x >>= (@?= y)
2020-09-28 00:46:29 <lambdabot> (. flip (@?=)) . (>>=)
2020-09-28 00:46:34 <koz_> Lol.
2020-09-28 00:47:44 <Axman6> Anyone know if pl will use (=<<) if it makes things clearer/avoids flips?
2020-09-28 00:49:34 <koz_> @pl \f -> join . fmap f
2020-09-28 00:49:34 <lambdabot> (=<<)
2020-09-28 00:49:47 × darjeeling_ quits (~darjeelin@122.245.121.113) (Ping timeout: 240 seconds)
2020-09-28 00:50:53 <jackdk> @botsnack
2020-09-28 00:50:54 <lambdabot> :)
2020-09-28 00:51:10 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:8991:a473:a01a:60b2)
2020-09-28 00:53:01 → machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-09-28 00:53:34 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-28 00:54:38 <hololeap> wow, that's pretty neat
2020-09-28 00:54:41 <sm[m]> hololeap: are those comparable ? Does grapefruit do TUIs?
2020-09-28 00:55:35 → gorthx1 joins (~gorthx@84.39.116.180)
2020-09-28 00:57:03 <hololeap> sm[m]: that seems like a strange question to me. grapefruit doesn't have a TUI component but it is still for building UIs, which is also true for brick.
2020-09-28 00:58:02 × rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo)
2020-09-28 00:59:27 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 240 seconds)
2020-09-28 01:00:59 <sm[m]> we don't get asked to recommend a TUI vs a WUI too often.. usually people require one or the other
2020-09-28 01:01:28 <sm[m]> I haven't seen any apps built with grapefruit, I'd like to know too
2020-09-28 01:01:50 <hololeap> oh, well this isn't for a specific job or anything, just making a utility of sorts :)
2020-09-28 01:03:18 → Klumben joins (Nsaiswatch@gateway/shell/panicbnc/x-lfgojlskrxejewoq)
2020-09-28 01:03:26 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-28 01:05:46 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-28 01:07:28 → mpereira joins (~mpereira@2a02:810d:f40:d96:294e:473a:4b53:edb9)
2020-09-28 01:10:07 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-09-28 01:17:02 × jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 01:21:56 × evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-28 01:22:31 → evanjs joins (~evanjs@075-129-188-019.res.spectrum.com)
2020-09-28 01:23:05 → inerkick joins (~rohit@117.230.131.2)
2020-09-28 01:26:05 × pengjiz quits (~user@2601:547:901:fab0::2) (Quit: ERC (IRC client for Emacs 27.1))
2020-09-28 01:27:00 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:8991:a473:a01a:60b2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 01:27:46 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 01:29:43 → SolarAquarion joins (SolarAquar@gateway/shell/panicbnc/x-qhbkvprsewvzxtnd)
2020-09-28 01:29:45 × revprez_stg quits (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2020-09-28 01:30:22 → revprez_stg joins (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-09-28 01:31:53 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e)
2020-09-28 01:32:37 × acidjnk_new quits (~acidjnk@p200300d0c723788910a692a0a73cc94d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-28 01:32:47 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-28 01:34:05 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-28 01:34:20 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-28 01:34:53 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-28 01:35:13 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-28 01:35:42 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-28 01:36:31 × inerkick quits (~rohit@117.230.131.2) (Quit: Leaving)
2020-09-28 01:44:27 hackage foldl 1.4.9 - Composable, streaming, and efficient left folds https://hackage.haskell.org/package/foldl-1.4.9 (GabrielGonzalez)
2020-09-28 01:47:59 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 01:48:53 → MattMareo joins (~mattl@unaffiliated/mattmareo)
2020-09-28 01:51:20 → xff0x joins (~fox@2001:1a81:537a:5700:351c:d0c9:2f80:c9c7)
2020-09-28 01:51:39 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 01:51:45 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e)
2020-09-28 01:53:02 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 01:54:46 × xff0x_ quits (~fox@port-92-195-106-234.dynamic.as20676.net) (Ping timeout: 256 seconds)
2020-09-28 02:01:50 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-28 02:02:42 <hololeap> anyone know of a way for an IO action to fire when a TVar gets updated?
2020-09-28 02:03:08 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 02:08:42 <hololeap> the overarching problem is to write a brick widget around a data type wrapped in a TVar. if another thread modifies it, i would like for the UI to update to reflect this.
2020-09-28 02:10:17 × Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-131-108.cust.tzulo.com) (Quit: Leaving)
2020-09-28 02:10:31 → inerkick joins (~rohit@117.230.131.2)
2020-09-28 02:11:11 <ski> could you make a thread that retries, if it sees the same value as last time ?
2020-09-28 02:12:32 <ski> i suppose that requires some kind of equality comparision on the value, though
2020-09-28 02:13:17 <hololeap> TVar has an Eq instance, although i'm not sure if it compares its contents
2020-09-28 02:13:51 <hololeap> but, that sounds like a good idea
2020-09-28 02:13:52 <ski> it ought not
2020-09-28 02:14:03 <dolio> It can't do that.
2020-09-28 02:14:22 <hololeap> right... it would have to be a -> a -> STM Bool
2020-09-28 02:14:28 <hololeap> ish...
2020-09-28 02:15:08 <hololeap> but my data type has an Eq instance, so that could work
2020-09-28 02:15:38 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-09-28 02:15:54 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-28 02:16:04 <ski> i was thinking of having another `Bool' state, that you have set to `False' initially. then, in the transaction, if it's `False' you `retry' (after taking the value of the `TVar'), but make sure it's `True' the next time, so that you succeed when it's modified .. but i don't think you can make that kind of backtrackable state in `STM' ..
2020-09-28 02:16:05 → irc_user joins (uid423822@gateway/web/irccloud.com/x-ewbniufkvljwkyrj)
2020-09-28 02:17:42 → drbean joins (~drbean@TC210-63-209-63.static.apol.com.tw)
2020-09-28 02:20:32 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 246 seconds)
2020-09-28 02:22:28 <hololeap> \a0 tvar -> readTVar tvar >>= \a -> if a0 == a then retry else pure a
2020-09-28 02:22:40 <hololeap> would that work?
2020-09-28 02:23:52 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-09-28 02:25:17 <ski> and then pass `a' as `a0', next time
2020-09-28 02:26:11 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 02:27:04 lagothrix is now known as Guest2714
2020-09-28 02:27:04 × Guest2714 quits (~lagothrix@unaffiliated/lagothrix) (Killed (tolkien.freenode.net (Nickname regained by services)))
2020-09-28 02:27:10 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-09-28 02:27:45 × inerkick quits (~rohit@117.230.131.2) (Ping timeout: 265 seconds)
2020-09-28 02:29:33 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-mpevcdkaddwfqaxn) (Quit: Connection closed for inactivity)
2020-09-28 02:33:54 <hololeap> cool. sounds doable. thanks ski
2020-09-28 02:35:00 <ski> hm. i wonder whether one could make a zero-capacity channel or something, for this
2020-09-28 02:35:11 <ski> (rendez-vous)
2020-09-28 02:35:35 <hololeap> i'm not sure what zero-capacity channel means
2020-09-28 02:35:35 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 02:35:49 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-ufxmssfsrzweqpvh)
2020-09-28 02:36:02 → mu_ joins (~mu@unaffiliated/mu)
←Prev  Next→
Page 1 .. 261 262 263 264 265 266 267 268 269 270 271 .. 5022

All times are in UTC.