Logs: freenode/#haskell
| 2021-05-20 00:52:32 | <lambdabot> | error: parse error on input ‘=’ |
| 2021-05-20 00:52:51 | <a6a45081-2b83> | :t lens = \get set f s -> fmap (set s) $ f (get s) |
| 2021-05-20 00:52:51 | <lambdabot> | error: parse error on input ‘=’ |
| 2021-05-20 00:52:57 | × | regakakobigman quits (~regakakob@c-73-174-187-176.hsd1.pa.comcast.net) (Quit: regakakobigman) |
| 2021-05-20 00:53:03 | <a6a45081-2b83> | :t \get set f s -> fmap (set s) $ f (get s) |
| 2021-05-20 00:53:04 | <lambdabot> | Functor f => (t1 -> t2) -> (t1 -> a -> b) -> (t2 -> f a) -> t1 -> f b |
| 2021-05-20 00:53:37 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-20 00:53:43 | <a6a45081-2b83> | getter is t1 -> t2; setter is t1 -> a -> b; lens modifier is t2 -> f a; initial value is t1; final functor value is f b |
| 2021-05-20 00:53:47 | <a6a45081-2b83> | is that right? |
| 2021-05-20 00:53:59 | ← | safinaskar parts (~user@109.252.90.136) () |
| 2021-05-20 00:54:51 | <Axman6> | (Sorry, in a quick meeting, brb 5 min) |
| 2021-05-20 00:54:56 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-20 00:56:09 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-20 00:56:40 | → | kewa joins (~kewa@85.174.200.147) |
| 2021-05-20 00:57:04 | <penttrioctium> | Does anyone have experience with `gi-gtk-declarative`, or maybe just `gi-gtk`? I'm just starting out trying to do GUIs and whatnot in Haskell. |
| 2021-05-20 00:57:05 | <penttrioctium> | If I have an SVG image as a String, how do I convert it to an Image widget so I can put it in a window? |
| 2021-05-20 00:57:05 | <penttrioctium> | (I tried setting up a temporary file to write to and read from, which almost works, but when the file changes the image doesn't.) |
| 2021-05-20 00:57:11 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 240 seconds) |
| 2021-05-20 00:57:31 | × | c_wraith quits (~c_wraith@adjoint.us) (Quit: Bye) |
| 2021-05-20 01:00:03 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@199.116.118.248) (Quit: Leaving) |
| 2021-05-20 01:00:14 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-05-20 01:00:59 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-20 01:01:37 | × | dcoutts_ quits (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 252 seconds) |
| 2021-05-20 01:05:42 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-20 01:05:44 | × | Iroha quits (~Dykomii@kyoto.mii.moe) (Quit: !) |
| 2021-05-20 01:06:16 | <sm[m]> | mniip: https://mniip.com/freenode.txt is great, the first one I've seen describing the data involved. Thanks to you and the any other ops still here for your service |
| 2021-05-20 01:06:36 | → | Iroha joins (~Dykomii@2607:5300:60:336a::1) |
| 2021-05-20 01:07:49 | × | Iroha quits (~Dykomii@2607:5300:60:336a::1) (Client Quit) |
| 2021-05-20 01:08:27 | → | Iroha joins (~Dykomii@kyoto.mii.moe) |
| 2021-05-20 01:09:11 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-20 01:09:13 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-20 01:10:39 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-20 01:10:40 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-05-20 01:11:16 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-20 01:12:08 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 246 seconds) |
| 2021-05-20 01:12:12 | × | russruss quits (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-20 01:14:07 | × | stux|RC-- quits (stux2@grid9.quadspeedi.net) (Quit: Aloha!) |
| 2021-05-20 01:14:52 | → | stux|RC joins (stux2@grid9.quadspeedi.net) |
| 2021-05-20 01:14:56 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-05-20 01:15:06 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-20 01:15:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-20 01:15:36 | <Axman6> | a6a45081-2b83: looks about right |
| 2021-05-20 01:16:13 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-20 01:17:05 | × | plutoniix quits (~q@node-ujl.pool-125-24.dynamic.totinternet.net) (Ping timeout: 260 seconds) |
| 2021-05-20 01:18:53 | × | Guest75370 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-20 01:19:10 | × | Iroha quits (~Dykomii@kyoto.mii.moe) (Quit: !) |
| 2021-05-20 01:19:13 | × | Guest87676 quits (~laudiacay@67.176.215.84) (Quit: WeeChat 3.0) |
| 2021-05-20 01:19:29 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-20 01:19:32 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer) |
| 2021-05-20 01:19:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-05-20 01:19:44 | → | Iroha joins (~Dykomii@kyoto.mii.moe) |
| 2021-05-20 01:19:47 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-20 01:19:52 | tim | is now known as Guest53805 |
| 2021-05-20 01:20:41 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) |
| 2021-05-20 01:21:26 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 2021-05-20 01:22:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-20 01:23:02 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-zkhysnfurvbvfxvv) (Quit: Connection closed for inactivity) |
| 2021-05-20 01:24:14 | → | geekosaur42 joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-20 01:26:03 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-20 01:26:32 | geekosaur42 | is now known as geekosaur |
| 2021-05-20 01:30:41 | × | kewa quits (~kewa@85.174.200.147) (Ping timeout: 240 seconds) |
| 2021-05-20 01:31:25 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-20 01:31:40 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 2021-05-20 01:34:32 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-20 01:35:44 | ← | waleee-cl parts (uid373333@gateway/web/irccloud.com/x-mvvtsrqoeqztdvzb) () |
| 2021-05-20 01:40:32 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-05-20 01:42:33 | × | nick_h quits (sid319833@gateway/web/irccloud.com/x-delbcuuwgtpqxrew) () |
| 2021-05-20 01:44:11 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-20 01:45:19 | × | Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Quit: Chai-T-Rex) |
| 2021-05-20 01:45:37 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-05-20 01:46:02 | ← | sm parts (~user@li229-222.members.linode.com) ("ERC (IRC client for Emacs 27.0.50)") |
| 2021-05-20 01:46:23 | <dmwit> | a6a45081-2b83: You might find this interesting, some Monad laws: `m >>= return . f = fmap f m`. Starting from your definition, `do { let v = get s; b <- f v; let t = set s b; return t }`, if we desugar (inline let's and turn the `<-` into a `>>=`), we get `f (get s) >>= \b -> return (set s b)`. So the monad law turns that into `fmap (set s) (f (get s))`. |
| 2021-05-20 01:46:39 | × | xff0x quits (~xff0x@2001:1a81:53d3:5400:e4da:58b3:28e2:200d) (Ping timeout: 245 seconds) |
| 2021-05-20 01:46:42 | <dmwit> | a6a45081-2b83: So your `Monad`-answer was actually right, you just spelled it in a way that required Monad instead of Functor. |
| 2021-05-20 01:48:33 | → | xff0x joins (~xff0x@2001:1a81:520e:9000:d27c:8f8e:b95c:c44f) |
| 2021-05-20 01:49:04 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-20 01:49:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-20 01:49:28 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Client Quit) |
| 2021-05-20 01:49:33 | → | sajith joins (~sajith@fsf/member/nonzen) |
| 2021-05-20 01:49:42 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-05-20 01:49:56 | <a6a45081-2b83> | dmwit: got it |
| 2021-05-20 01:50:31 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 2021-05-20 01:51:56 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-xkaxzrytxzvrlsos) |
| 2021-05-20 01:52:09 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-20 01:52:14 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) |
| 2021-05-20 01:53:43 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Client Quit) |
| 2021-05-20 01:54:18 | → | jai9 joins (~textual@cpe-74-72-114-231.nyc.res.rr.com) |
| 2021-05-20 01:56:29 | × | Iroha quits (~Dykomii@kyoto.mii.moe) (Quit: !) |
| 2021-05-20 01:56:33 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) |
| 2021-05-20 01:57:04 | → | Iroha joins (~Dykomii@kyoto.mii.moe) |
| 2021-05-20 02:00:00 | → | Alleria joins (~textual@2603-7000-3040-0000-a497-0429-cb38-32a7.res6.spectrum.com) |
| 2021-05-20 02:00:25 | Alleria | is now known as Guest83427 |
| 2021-05-20 02:02:01 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-20 02:02:18 | × | sdrodge quits (~sdrodge@unaffiliated/sdrodge) (Quit: WeeChat 3.1) |
| 2021-05-20 02:04:40 | × | Guest83427 quits (~textual@2603-7000-3040-0000-a497-0429-cb38-32a7.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-05-20 02:04:43 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-20 02:05:18 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-20 02:06:23 | × | boxscape quits (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-05-20 02:07:11 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-05-20 02:08:50 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
All times are in UTC.