Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 .. 5022
— 502,152 events total
2020-11-02 22:30:43 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 268 seconds)
2020-11-02 22:31:06 <jackdk> PerseusPlease: this one? https://hackage.haskell.org/package/binary-0.10.0.0/docs/Data-Binary-Get.html
2020-11-02 22:31:58 <PerseusPlease> yep. but could just as well apply as a question to any of the modules I've included so far, I've been able to guess on the others but they often don't make sense
2020-11-02 22:34:27 <jackdk> The package name is `binary`. If you click "Contents" in the top-right, it takes you to the top-level page for that package. The name also appears in the top-left of a module's documentation (`binary-0.10.0.0: Binary serialization for Haskell values using lazy ByteStrings`) and in the URL on hackage haddocks
2020-11-02 22:34:59 <PerseusPlease> thank you!
2020-11-02 22:35:10 <PerseusPlease> that will make life much easier.
2020-11-02 22:35:52 <jackdk> welcome
2020-11-02 22:37:06 → dustypacer joins (~pi@137-025-112-171.res.spectrum.com)
2020-11-02 22:38:20 <monochrom> The URL already contains the package name.
2020-11-02 22:38:48 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-02 22:39:10 → vacm joins (~vacwm@70.23.92.191)
2020-11-02 22:39:25 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-11-02 22:40:47 → hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-02 22:42:02 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 22:42:59 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-02 22:43:03 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-02 22:43:48 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-11-02 22:44:38 × son0p quits (~son0p@181.136.122.143) (Quit: leaving)
2020-11-02 22:45:59 × refried_ quits (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-11-02 22:47:00 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-02 22:47:27 → alx741 joins (~alx741@186.178.110.193)
2020-11-02 22:47:59 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-11-02 22:48:34 → refried_ joins (~textual@pool-108-20-26-90.bstnma.fios.verizon.net)
2020-11-02 22:49:08 <dibblego> foldr takes 1 parameter
2020-11-02 22:50:20 <PerseusPlease> monochrom, ah yes so it does, now that I know what I'm looking for.
2020-11-02 22:50:27 × mokulus quits (~mat@176.111.230.96) (Ping timeout: 268 seconds)
2020-11-02 22:52:07 → berberman joins (~berberman@unaffiliated/berberman)
2020-11-02 22:52:13 <koz_> Is there a way to get all transitive deps of a Hackage package?
2020-11-02 22:52:57 <N3RGY> koz_: maybe cabal-dependency-licenses ?
2020-11-02 22:53:02 × N3RGY quits (~N3RGY@65.141.87.122) ()
2020-11-02 22:53:12 <monochrom> Yikes haha
2020-11-02 22:53:53 <monochrom> But I use "cabal freeze" (but I have to first write a foo.cabal that has a build-depends line for the starting point)
2020-11-02 22:54:43 <monochrom> So yeah, basically hacks and hammers that solve a much bigger problem and get you the transitive closure as a side effect.
2020-11-02 22:54:54 <koz_> OK, a different question: I have a .prof that says a particular function is eating a lot of time. However, I assume it's being called _by_ something. Is there an easy way to tell what's calling said function? I can't quite make sense of the .prof layout.
2020-11-02 22:56:00 × berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 268 seconds)
2020-11-02 22:57:59 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-02 22:58:12 × refried_ quits (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-11-02 23:00:18 → refried_ joins (~textual@pool-108-20-26-90.bstnma.fios.verizon.net)
2020-11-02 23:01:32 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-02 23:01:39 × jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-02 23:03:05 → jedws joins (~jedws@101.184.150.81)
2020-11-02 23:04:59 hekkaidekapus{ is now known as hekkaidekapus
2020-11-02 23:05:26 × alp quits (~alp@2a01:e0a:58b:4920:ecfe:1146:fdb5:4e48) (Ping timeout: 264 seconds)
2020-11-02 23:05:37 × dbmikus_ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds)
2020-11-02 23:06:50 <hekkaidekapus> koz_: 1) Transitive deps as a graph: `cabal-plan dot`.
2020-11-02 23:07:08 <koz_> hekkaidekapus: Just as a list is fine.
2020-11-02 23:07:14 <hekkaidekapus> 2) .prof visualisation: <https://github.com/jaspervdj/profiteur>
2020-11-02 23:07:48 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-02 23:07:58 <hekkaidekapus> 3) Nowadays, GHC has so-called ‘events’, read more at <file:///home/tchouri/Downloads/eventful%20GHC-Alp%20Mestanogullari_2019-09-24.html>
2020-11-02 23:08:12 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-11-02 23:08:18 <hekkaidekapus> oops!
2020-11-02 23:08:22 <hekkaidekapus> <https://www.well-typed.com/blog/2019/09/eventful-ghc/>
2020-11-02 23:09:18 <monochrom> Oh, cabal-plan is a much better tool for this.
2020-11-02 23:09:30 <monochrom> I keep forgetting that it exists.
2020-11-02 23:09:30 <koz_> profiteur looks great!
2020-11-02 23:09:41 <koz_> (I am disappoint it wasn't named 'profiterole')
2020-11-02 23:09:43 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-02 23:09:46 × refried_ quits (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-11-02 23:10:17 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:dea6:32ff:fe5b:d45f) (Ping timeout: 260 seconds)
2020-11-02 23:10:34 × chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-11-02 23:10:52 <koz_> Let me try profiteur.
2020-11-02 23:11:26 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-11-02 23:12:14 → refried_ joins (~textual@pool-108-20-26-90.bstnma.fios.verizon.net)
2020-11-02 23:12:43 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-02 23:12:53 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-02 23:13:38 <koz_> hekkaidekapus: Is cabal-plan a separate thing?
2020-11-02 23:13:44 <koz_> Like, where do I get it?
2020-11-02 23:14:00 <hekkaidekapus> It’s part of phadej-verse :)
2020-11-02 23:14:20 <koz_> Lol, the Phadej Extended Universe.
2020-11-02 23:14:28 <hekkaidekapus> Rather haskellari-verse :P
2020-11-02 23:14:57 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-11-02 23:15:28 <Cheery> Is there a function to clear out ()s from a type?
2020-11-02 23:15:44 <Axma45768> ()'s are a type...
2020-11-02 23:15:50 <Axma45768> you can't just remove them
2020-11-02 23:15:57 <Cheery> eg. ((), a) -> a
2020-11-02 23:16:10 <Axma45768> @djinn ((), a) -> a
2020-11-02 23:16:10 <lambdabot> f (_, a) = a
2020-11-02 23:16:36 <Cheery> ok, then (((), a), ()) -> a
2020-11-02 23:16:42 × pacak quits (~pacak@bb116-14-220-91.singnet.com.sg) (Read error: Connection reset by peer)
2020-11-02 23:16:58 <hekkaidekapus> koz_: <https://github.com/haskell-hvr/cabal-plan> (Another oops! It’s hvr-verse actually.)
2020-11-02 23:17:00 <Cheery> I mean I'd want a routine that does this, so I don't need to.
2020-11-02 23:17:04 → pacak joins (~pacak@bb116-14-220-91.singnet.com.sg)
2020-11-02 23:17:14 <koz_> hekkaidekapus: Thank you so much!
2020-11-02 23:17:19 <hekkaidekapus> np
2020-11-02 23:18:57 <hekkaidekapus> (Both profiteur and cabal-plan are also on Hackage.)
2020-11-02 23:20:01 hackage hackage-security-HTTP 0.1.1.1 - Hackage security bindings against the HTTP library https://hackage.haskell.org/package/hackage-security-HTTP-0.1.1.1 (HerbertValerioRiedel)
2020-11-02 23:20:11 <Axma45768> Cheery: what would the type of the function you want be?
2020-11-02 23:21:32 <Cheery> well it could be (a -> Canon a), or Canon a b => a -> b
2020-11-02 23:21:36 → christo joins (~chris@81.96.113.213)
2020-11-02 23:21:46 × refried_ quits (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-11-02 23:22:34 <Axma45768> I think the answer to your question is "no", it doesn't currently exist, but it looks like you might have a way to get there (though what should happen in the ((),()) case)
2020-11-02 23:22:53 <Cheery> it should become ()
2020-11-02 23:24:05 → refried_ joins (~textual@pool-108-20-26-90.bstnma.fios.verizon.net)
2020-11-02 23:26:15 <Axma45768> should like it may be doable with a type family, but I'm unsure what the base case would be; since both () -> () and !() -> !() both need to be there
2020-11-02 23:26:23 <Axma45768> give it a go and see if you can make it work
2020-11-02 23:28:57 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-11-02 23:30:01 × conal quits (~conal@198.8.81.68) (Quit: Computer has gone to sleep.)
2020-11-02 23:31:09 × pta2002 quits (~quassel@104.248.23.110) (Ping timeout: 268 seconds)
2020-11-02 23:33:06 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-02 23:33:59 → pta2002 joins (~quassel@104.248.23.110)
←Prev  Next→
Page 1 .. 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 .. 5022

All times are in UTC.