Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 .. 5022
— 502,152 events total
2020-11-23 01:19:02 → Feuermagier joins (~Feuermagi@213.178.26.41)
2020-11-23 01:19:39 → conal joins (~conal@66.115.157.141)
2020-11-23 01:19:39 × conal quits (~conal@66.115.157.141) (Remote host closed the connection)
2020-11-23 01:20:35 → Fractalis joins (~Fractalis@2601:987:280:8d40:389d:748e:cbb9:62)
2020-11-23 01:21:08 <dolio> Lots more workers, too.
2020-11-23 01:23:26 → JWS joins (8d54455c@141.84.69.92)
2020-11-23 01:25:13 → incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com)
2020-11-23 01:27:05 × mirrorbird quits (~psutcliff@89.45.7.148) (Ping timeout: 240 seconds)
2020-11-23 01:29:27 × Fractalis quits (~Fractalis@2601:987:280:8d40:389d:748e:cbb9:62) (Ping timeout: 260 seconds)
2020-11-23 01:31:40 → jedws joins (~jedws@101.184.150.93)
2020-11-23 01:35:12 → Lord_of_Life joins (~Lord@46.217.221.12)
2020-11-23 01:35:37 × Lord_of_Life_ quits (~Lord@46.217.221.152) (Ping timeout: 264 seconds)
2020-11-23 01:36:31 × JWS quits (8d54455c@141.84.69.92) (Remote host closed the connection)
2020-11-23 01:45:28 × incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-23 01:45:47 → incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com)
2020-11-23 01:46:15 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-23 01:46:30 × dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection)
2020-11-23 01:46:48 → dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e)
2020-11-23 01:48:26 × stu002 quits (77120261@119-18-2-97.771202.syd.nbn.aussiebb.net) (Remote host closed the connection)
2020-11-23 01:50:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-11-23 01:53:37 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 264 seconds)
2020-11-23 01:54:36 → sdrodge joins (~sdrodge@unaffiliated/sdrodge)
2020-11-23 01:57:36 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 265 seconds)
2020-11-23 01:58:34 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-23 01:58:57 × incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-23 02:00:19 × Entertainment quits (~entertain@104.246.132.210) (Ping timeout: 246 seconds)
2020-11-23 02:01:03 → incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com)
2020-11-23 02:02:08 → cosimone joins (~user@5.171.24.24)
2020-11-23 02:03:22 × cosimone quits (~user@5.171.24.24) (Client Quit)
2020-11-23 02:05:24 → cosimone joins (~user@5.171.24.24)
2020-11-23 02:06:30 → incertia_ joins (~incertia@d4-50-26-103.nap.wideopenwest.com)
2020-11-23 02:06:37 × cosimone quits (~user@5.171.24.24) (Remote host closed the connection)
2020-11-23 02:06:42 → tv- joins (~tv@unaffiliated/tv-)
2020-11-23 02:07:00 × dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection)
2020-11-23 02:07:18 → dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e)
2020-11-23 02:08:01 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-23 02:08:22 × incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (Ping timeout: 260 seconds)
2020-11-23 02:09:40 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-23 02:11:39 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-11-23 02:11:58 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2020-11-23 02:13:15 → christo joins (~chris@81.96.113.213)
2020-11-23 02:14:40 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds)
2020-11-23 02:17:05 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-23 02:18:27 × renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 260 seconds)
2020-11-23 02:19:10 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-23 02:20:17 → Sarma joins (~Amras@unaffiliated/amras0000)
2020-11-23 02:24:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-23 02:28:55 → boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-23 02:29:02 <boxscape> :o are there no operator sections on the type level?
2020-11-23 02:29:26 <boxscape> % :kind (+ 4) 6
2020-11-23 02:29:26 <yahb> boxscape: ; <interactive>:1:2: error: Operator applied to too few arguments: +
2020-11-23 02:30:03 <boxscape> I can see why it's not a thing for type families (since we don't have unsaturated ones yet) but it seems like it should work for type constructors at least
2020-11-23 02:30:16 <boxscape> but it's syntax error from what I can tell :(
2020-11-23 02:32:54 <monochrom> There is no type-level lambda, therefore no type operator sections.
2020-11-23 02:33:00 hackage sr-extra 1.85 - Module limbo https://hackage.haskell.org/package/sr-extra-1.85 (DavidFox)
2020-11-23 02:34:22 <monochrom> OK, one of them is OK, (Int :+:) is just (:+:) Int, uncontroversial. I guess no one got around to implement it.
2020-11-23 02:34:29 × jedws quits (~jedws@101.184.150.93) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-23 02:35:07 <boxscape> hm, maybe I'll look into it once we have unsaturated type families, which I think might make it worth it
2020-11-23 02:35:15 × xff0x quits (~fox@2001:1a81:53fc:6700:2ab6:9c1b:8ed5:c7e5) (Ping timeout: 272 seconds)
2020-11-23 02:35:19 × solonarv quits (~solonarv@astrasbourg-653-1-156-4.w90-6.abo.wanadoo.fr) (Ping timeout: 246 seconds)
2020-11-23 02:36:04 → sleblanc joins (~sleblanc@unaffiliated/sebleblanc)
2020-11-23 02:36:34 → xff0x joins (~fox@2001:1a81:5237:b800:d8c8:bfa0:43f3:b736)
2020-11-23 02:36:55 <sleblanc> I like XMonad's approach to configuration, where it "recompiles" itself when you update your configuration file. How does XMonad do it?
2020-11-23 02:40:16 × Iceland_jack quits (~user@31.124.48.169) (Ping timeout: 240 seconds)
2020-11-23 02:40:25 → jedws joins (~jedws@101.184.150.93)
2020-11-23 02:41:11 → toorevitimirp joins (~tooreviti@117.182.183.18)
2020-11-23 02:41:16 × jedws quits (~jedws@101.184.150.93) (Client Quit)
2020-11-23 02:43:36 × mozzarella quits (~sam@unaffiliated/sam113101) (Ping timeout: 272 seconds)
2020-11-23 02:46:01 → mozzarella joins (~sam@unaffiliated/sam113101)
2020-11-23 02:47:36 × dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection)
2020-11-23 02:48:30 → justan0theruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-23 02:49:56 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds)
2020-11-23 02:50:21 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-23 02:50:55 <sim590> I have this code: https://paste.debian.net/1173920/ which makes use of lenses. It is a multi constructor data type. One of which doesn't have private key, hence using (view privateKey) asks me to put the Monoid constraint on my function. How can I solve that?
2020-11-23 02:51:05 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-11-23 02:51:24 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-11-23 02:51:32 → dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e)
2020-11-23 02:52:28 × Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 272 seconds)
2020-11-23 02:52:56 <sim590> Is there a way to call some Lens magic functions that would return (Maybe v) instead of the plain (view privateKey) ?
2020-11-23 02:53:26 × kupi quits (uid212005@gateway/web/irccloud.com/x-fgjaulxwhgglmlzx) (Quit: Connection closed for inactivity)
2020-11-23 02:53:26 → Cthalupa joins (~cthulhu@47.186.47.75)
2020-11-23 02:55:55 <dibblego> you'd use a Traversal
2020-11-23 02:58:02 ← LostCanvas parts (~iharper@75-108-155-188.chstcmtk01.res.dyn.suddenlink.net) ("Leaving")
2020-11-23 02:58:53 <sim590> dibblego: hmmmmmm. OK.
2020-11-23 02:59:00 <sim590> I'm a bit new to lenses.
2020-11-23 02:59:43 → acidjnk_new joins (~acidjnk@p200300d0c719ff94358934eb0dfd70c0.dip0.t-ipconnect.de)
2020-11-23 02:59:53 <dibblego> _StartUpRemoteUser :: Prism' (UserInfo v b) (v, b)
2020-11-23 03:00:03 <dibblego> _StartUpRemoteUser_privateKey :: Traversal' (UserInfo v b) v
2020-11-23 03:03:25 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-11-23 03:04:19 <sim590> OK. I didn't understand the types you wrote... I'm sorry. However, I found that I can use (^?) instead of view. I really need to a good course on lenses.
2020-11-23 03:04:24 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-23 03:04:29 <sim590> I've watched and read already, but not enough.
2020-11-23 03:05:20 → Fractalis joins (~Fractalis@2601:987:280:8d40:eda9:f9e1:2072:cea7)
2020-11-23 03:06:02 <dibblego> or use preview
2020-11-23 03:06:08 → christo joins (~chris@81.96.113.213)
2020-11-23 03:08:07 → jedws joins (~jedws@101.184.150.93)
2020-11-23 03:08:10 × Lowl3v3l quits (~Lowl3v3l@dslb-090-186-186-201.090.186.pools.vodafone-ip.de) (Ping timeout: 265 seconds)
2020-11-23 03:09:49 <dibblego> https://gist.github.com/tonymorris/1bbc3aff874a97722d78cb9a9154c494
2020-11-23 03:10:35 × christo quits (~chris@81.96.113.213) (Ping timeout: 265 seconds)
2020-11-23 03:12:37 <sim590> So that's what makePrisms and makeLenses expand to (partly)?
←Prev  Next→
Page 1 .. 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 .. 5022

All times are in UTC.