Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 339 340 341 342 343 344 345 346 347 348 349 .. 5022
— 502,152 events total
2020-10-01 02:49:27 × theDon quits (~td@muedsl-82-207-238-146.citykom.de) (Ping timeout: 240 seconds)
2020-10-01 02:51:39 → theDon joins (~td@muedsl-82-207-238-122.citykom.de)
2020-10-01 02:52:35 → toorevitimirp joins (~tooreviti@117.182.181.38)
2020-10-01 02:53:16 × kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-10-01 02:56:46 <Turmfalke> Doesn't Data.Map have a function to combine two Maps with the same key but different value types?
2020-10-01 02:58:21 <dolio> It does.
2020-10-01 02:58:21 <ski> @hoogle (k -> v0 -> v1 -> v2) -> Map k v0 -> Map k v1 -> Map k v2
2020-10-01 02:58:22 <lambdabot> Data.Map.Internal intersectionWithKey :: Ord k => (k -> a -> b -> c) -> Map k a -> Map k b -> Map k c
2020-10-01 02:58:23 <lambdabot> Data.Map.Lazy intersectionWithKey :: Ord k => (k -> a -> b -> c) -> Map k a -> Map k b -> Map k c
2020-10-01 02:58:23 <lambdabot> Data.Map.Strict intersectionWithKey :: Ord k => (k -> a -> b -> c) -> Map k a -> Map k b -> Map k c
2020-10-01 03:00:01 × RandIter quits (~RandIter@193.56.252.210) ()
2020-10-01 03:01:33 <Turmfalke> Hhm, I'd need a union version of that
2020-10-01 03:03:44 <Turmfalke> Thinking about it, my second map is always a subset of the first, so I could just map with a lookup function
2020-10-01 03:04:17 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-01 03:05:08 → dorkside joins (~tdbgamer@208.190.197.222)
2020-10-01 03:06:00 <ski> @type M.mergeWithKey
2020-10-01 03:06:03 <lambdabot> Ord k => (k -> a -> b -> Maybe c) -> (M.Map k a -> M.Map k c) -> (M.Map k b -> M.Map k c) -> M.Map k a -> M.Map k b -> M.Map k c
2020-10-01 03:06:34 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 272 seconds)
2020-10-01 03:06:34 Lord_of_Life_ is now known as Lord_of_Life
2020-10-01 03:06:35 × vivekramaswamy quits (~vivekrama@49.207.206.176) (Quit: Sayonara. Long live Haskell)
2020-10-01 03:06:54 → HaskellYogi joins (~vivekrama@49.207.206.176)
2020-10-01 03:11:06 <Turmfalke> Oh, there's Data.Map.Merge
2020-10-01 03:11:59 <Turmfalke> Thanks for the pointer
2020-10-01 03:12:08 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-01 03:12:33 × machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 260 seconds)
2020-10-01 03:14:31 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-01 03:15:33 → kori joins (~kori@arrowheads/kori)
2020-10-01 03:17:39 → jgt joins (~jgt@188.239.64.32)
2020-10-01 03:19:03 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2020-10-01 03:19:31 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-01 03:20:05 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-10-01 03:21:47 × jgt quits (~jgt@188.239.64.32) (Ping timeout: 240 seconds)
2020-10-01 03:23:21 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-01 03:27:15 → Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.166)
2020-10-01 03:27:36 → jgt joins (~jgt@188.239.64.32)
2020-10-01 03:27:58 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2020-10-01 03:31:04 × kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-10-01 03:31:58 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-10-01 03:36:03 → jchia_ joins (~jchia@45.32.62.73)
2020-10-01 03:36:25 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-01 03:36:41 → kori joins (~kori@arrowheads/kori)
2020-10-01 03:36:59 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-01 03:37:59 × jchia_ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-01 03:38:46 → jchia_ joins (~jchia@58.32.37.220)
2020-10-01 03:39:52 × jgt quits (~jgt@188.239.64.32) (Ping timeout: 256 seconds)
2020-10-01 03:40:16 × falafel quits (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798) (Remote host closed the connection)
2020-10-01 03:41:08 × jespada quits (~jespada@90.254.241.6) (Ping timeout: 260 seconds)
2020-10-01 03:41:27 × jinblack quits (~JinBlack@2001:41d0:8:4b28::1) (Ping timeout: 260 seconds)
2020-10-01 03:41:43 → jinblack joins (~JinBlack@new.jinblack.it)
2020-10-01 03:42:11 × ransom quits (~c4264035@2601:285:201:6720:809a:299c:a667:8dfa) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-01 03:42:12 → jwynn6_ joins (~justin@050-088-122-078.res.spectrum.com)
2020-10-01 03:43:15 → edwtjo joins (~edwtjo@fsf/member/edwtjo)
2020-10-01 03:43:27 × rotaerk quits (rotaerk@2600:3c02::f03c:91ff:fe70:4a45) (Ping timeout: 240 seconds)
2020-10-01 03:43:43 → jespada joins (~jespada@90.254.241.6)
2020-10-01 03:43:45 → jgt joins (~jgt@188.239.64.32)
2020-10-01 03:44:15 → rotaerk joins (rotaerk@2600:3c02::f03c:91ff:fe70:4a45)
2020-10-01 03:46:47 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-01 03:48:46 → zacts joins (~zacts@dragora/developer/zacts)
2020-10-01 03:50:07 → ransom joins (~c4264035@2601:285:201:6720:809a:299c:a667:8dfa)
2020-10-01 03:51:12 <sim590> I'm trying to convert the type `ChronicleT c Identity a` to `ChronicleT c Maybe a`. I thought to use `hoist` and `generalize`, but `ChronicleT c` is not a MFunctor, so it doesn't work. Any idea?
2020-10-01 03:51:39 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:5470:d799:c2f1:7593) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-01 03:51:45 <sim590> :t generalize
2020-10-01 03:51:47 <lambdabot> error:
2020-10-01 03:51:47 <lambdabot> • Variable not in scope: generalize
2020-10-01 03:51:47 <lambdabot> • Perhaps you meant ‘generate’ (imported from Lambdabot.Plugin.Haskell.Eval.Trusted)
2020-10-01 03:52:40 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Quit: Lost terminal)
2020-10-01 03:52:50 <sim590> Can we import modules with this bot? Anyway, I'm talking about Control.Monad.Morph.{hoist,generalize}.
2020-10-01 03:53:24 → conal joins (~conal@64.71.133.70)
2020-10-01 03:55:54 → bitprophet1 joins (~bitprophe@178.162.204.238)
2020-10-01 04:00:03 × kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-10-01 04:00:07 × jgt quits (~jgt@188.239.64.32) (Ping timeout: 240 seconds)
2020-10-01 04:01:45 <jackdk> sim590: either unwrap/rewrap the ChronicleT manually (unwrapping will give you an `Identity (These c a)`), or PR `monad-chronicle` (`mmorph` has a very slim footprint, so I hope an `MFunctor` instance would not be controversial.
2020-10-01 04:01:47 <jackdk> )
2020-10-01 04:02:25 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-10-01 04:03:18 <jackdk> `ChronicleT . generalize . runChronicleT` (well, `generalize = pure . runIdentity`, so you don't need the `mmorph` dep at all: `ChronicleT . pure . runIdentity . runChronicleT`
2020-10-01 04:04:54 <sim590> hmmm. OK. Yeah I see. That's less complicated that I thought.
2020-10-01 04:06:45 → falafel joins (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798)
2020-10-01 04:07:11 × polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 244 seconds)
2020-10-01 04:07:19 <sim590> I guess that I could make a PR addressed to chronicle for an instance of MFunctor. It's simple and that'd be useful for others. I guess it's simple and one could argue that it's not worth, but I think that it's beneficial since it's standardizing the approach with mmorph and making things more concise.
2020-10-01 04:09:32 <sim590> jackdk: thanks for your explanation!
2020-10-01 04:13:18 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-01 04:17:50 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-01 04:17:58 hackage ease 0.1.0.2 - Robert Penner's easing equations https://hackage.haskell.org/package/ease-0.1.0.2 (fresheyeball)
2020-10-01 04:18:34 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-01 04:21:47 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2020-10-01 04:21:52 → kori joins (~kori@arrowheads/kori)
2020-10-01 04:22:43 → nckx joins (~nckx@tobias.gr)
2020-10-01 04:24:33 × falafel quits (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798) (Remote host closed the connection)
2020-10-01 04:25:23 → falafel joins (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798)
2020-10-01 04:26:15 → shafox joins (~shafox@106.51.234.111)
2020-10-01 04:27:19 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-01 04:28:02 × kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-10-01 04:30:17 → conal joins (~conal@64.71.133.70)
2020-10-01 04:31:26 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 272 seconds)
2020-10-01 04:32:01 → benjamin-l joins (~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60)
2020-10-01 04:32:33 × falafel quits (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798) (Remote host closed the connection)
2020-10-01 04:32:57 → falafel joins (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798)
2020-10-01 04:33:06 → s00pcan joins (~chris@107.181.165.217)
2020-10-01 04:34:58 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-01 04:35:25 → conal joins (~conal@64.71.133.70)
←Prev  Next→
Page 1 .. 339 340 341 342 343 344 345 346 347 348 349 .. 5022

All times are in UTC.