Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 931 932 933 934 935 936 937 938 939 940 941 .. 5022
— 502,152 events total
2020-10-29 10:56:48 <dminuoso> % let m :: IM.IntMap (IM.IntMap (IM.IntMap String)); m = [(1, [(11, [(111, "foo"), (112, "bar")])])]
2020-10-29 10:56:48 <yahb> dminuoso: ; <interactive>:242:52: warning: [-Wname-shadowing] This binding for `m' shadows the existing binding defined at <interactive>:240:52
2020-10-29 10:56:53 <dminuoso> m ^.. folded.folded.folded
2020-10-29 10:56:57 <dminuoso> % m ^.. folded.folded.folded
2020-10-29 10:56:58 <yahb> dminuoso: ["foo","bar"]
2020-10-29 10:58:28 hackage wai-saml2 0.2.1.2 - SAML2 assertion validation as WAI middleware https://hackage.haskell.org/package/wai-saml2-0.2.1.2 (mbg)
2020-10-29 11:00:15 → Tario joins (~Tario@201.192.165.173)
2020-10-29 11:00:29 <dminuoso> % let m3 :: IM.IntMap (IM.IntMap (IM.IntMap Int)); m3 = [(1, [(11, [(111, 10), (112, 20)]), (12,[(121, 30), (122, 40)])])]
2020-10-29 11:00:29 <yahb> dminuoso:
2020-10-29 11:00:38 <dminuoso> % foldMapOf (folded.folded.folded) Product m3
2020-10-29 11:00:38 <yahb> dminuoso: Product {getProduct = 240000}
2020-10-29 11:01:58 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 11:02:38 → christo joins (~chris@81.96.113.213)
2020-10-29 11:02:51 × carlomagno quits (~cararell@148.87.23.8) (Ping timeout: 268 seconds)
2020-10-29 11:03:15 → acidjnk_new2 joins (~acidjnk@p200300d0c7226033a9f8e60d1c4e3d2a.dip0.t-ipconnect.de)
2020-10-29 11:04:37 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 11:04:52 → christo joins (~chris@81.96.113.213)
2020-10-29 11:06:04 × alp_ quits (~alp@2a01:e0a:58b:4920:48bc:fb07:c437:122b) (Ping timeout: 240 seconds)
2020-10-29 11:06:47 <thblt> I just need to understand how to bifold :)
2020-10-29 11:07:29 × seanparsons quits (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-29 11:07:31 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-29 11:08:24 <dminuoso> thblt: with lens you can just fuse different folds with summing
2020-10-29 11:08:35 <thblt> wow
2020-10-29 11:08:38 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 11:08:58 → christo joins (~chris@81.96.113.213)
2020-10-29 11:10:23 → seanparsons joins (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2020-10-29 11:11:44 × alx741 quits (~alx741@186.178.110.246) (Ping timeout: 240 seconds)
2020-10-29 11:11:47 → carlomagno joins (~cararell@148.87.23.8)
2020-10-29 11:12:38 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-29 11:12:38 × idhugo quits (~idhugo@users-1190.st.net.au.dk) (Ping timeout: 264 seconds)
2020-10-29 11:13:14 <dminuoso> thblt: Oh heh in case of lens it's just (<>) in fact
2020-10-29 11:14:08 × brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-29 11:15:07 <thblt> I don't have this in Data.Lens?
2020-10-29 11:15:58 <dminuoso> % ([1,2,3], [4,5,6]) ^.. (_1.folded <> _2.folded) :: [Int] -- thblt
2020-10-29 11:15:58 <yahb> dminuoso: [1,2,3,4,5,6]
2020-10-29 11:16:31 <Uniaika> thblt: it's the traditional semigroup binary operator
2020-10-29 11:16:33 Arahael is now known as amateurarahael
2020-10-29 11:17:37 <thblt> That's what I got from ghci indeed.
2020-10-29 11:18:05 <dminuoso> thblt: note this might not be the same as bifold though
2020-10-29 11:18:29 × ft quits (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 256 seconds)
2020-10-29 11:18:42 <dminuoso> (because the order is completely different)
2020-10-29 11:19:08 amateurarahael is now known as arahaelHour
2020-10-29 11:19:11 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 11:19:58 <dminuoso> or it might be, so it could require some careful thought
2020-10-29 11:20:05 <dminuoso> (you might have to shift the (<>) in a bit)
2020-10-29 11:20:06 <dminuoso> say
2020-10-29 11:21:44 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 272 seconds)
2020-10-29 11:22:38 → m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-29 11:22:38 <dminuoso> % [(1,2), (3,4)] ^.. (folded._1 <> folded._2) :: [Integer]
2020-10-29 11:22:40 <dminuoso> % [(1,2), (3,4)] ^.. (folded._1 <> folded._2) :: [Integer]
2020-10-29 11:22:40 <yahb> dminuoso: [1,3,2,4]
2020-10-29 11:22:46 <dminuoso> % [(1,2), (3,4)] ^.. folded.(_1 <> _2) :: [Integer]
2020-10-29 11:22:46 <yahb> dminuoso: [1,2,3,4]
2020-10-29 11:22:58 → ft joins (~ft@shell.chaostreff-dortmund.de)
2020-10-29 11:23:12 × nschoe quits (~quassel@2a01:e0a:3c4:c7b0:c945:6e87:b509:d89a) (Ping timeout: 268 seconds)
2020-10-29 11:23:38 × kish quits (~oracle@unaffiliated/oracle) (Quit: Leaving)
2020-10-29 11:24:59 → alx741 joins (~alx741@181.196.68.193)
2020-10-29 11:28:01 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-29 11:28:56 → wretchswollen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-29 11:30:09 → kish joins (~oracle@unaffiliated/oracle)
2020-10-29 11:31:56 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-29 11:32:24 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-29 11:33:10 → machinedgod joins (~machinedg@142.169.78.88)
2020-10-29 11:33:33 → fendor joins (~fendor@078132040188.public.t-mobile.at)
2020-10-29 11:33:38 × wretchswollen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds)
2020-10-29 11:34:08 <dminuoso> % [(1,2)] ^.. folded._1 :: [Int]
2020-10-29 11:34:08 <yahb> dminuoso: ; <interactive>:284:20: error:; * Couldn't match type `Int' with `Integer'; arising from a functional dependency between:; constraint `Field1 (Integer, Integer) (Integer, Integer) Int Int' arising from a use of `_1'; instance Field1 (a, b) (a', b) a a' at <no location info>; * In the second argument of `(.)', namely `_1'; In the second argument of `(^..)', namely
2020-10-29 11:34:10 <dminuoso> What's going on here?
2020-10-29 11:35:02 × vicfred_ quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-29 11:35:15 <dminuoso> If I give `1` a type ascription, it typechecks.
2020-10-29 11:36:52 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-29 11:37:20 → xsperry joins (~as@unaffiliated/xsperry)
2020-10-29 11:37:44 × Jonkimi727406120 quits (~Jonkimi@119.123.241.90) (Ping timeout: 240 seconds)
2020-10-29 11:38:04 → thir joins (~thir@pd9e1bd8a.dip0.t-ipconnect.de)
2020-10-29 11:39:05 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-10-29 11:40:07 → raichoo joins (~raichoo@213.240.178.58)
2020-10-29 11:40:14 × fendor quits (~fendor@078132040188.public.t-mobile.at) (Ping timeout: 264 seconds)
2020-10-29 11:40:30 → christo joins (~chris@81.96.113.213)
2020-10-29 11:41:38 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-29 11:42:25 × thir quits (~thir@pd9e1bd8a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-29 11:44:57 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-29 11:45:23 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-29 11:46:52 → wallacer3 joins (~quassel@ns3134113.ip-37-187-4.eu)
2020-10-29 11:48:02 → akad_ joins (~akad@109107030050.radomsko.vectranet.pl)
2020-10-29 11:48:45 × jespada quits (~jespada@90.254.243.98) (Ping timeout: 240 seconds)
2020-10-29 11:51:23 → jespada joins (~jespada@90.254.243.98)
2020-10-29 11:53:23 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-29 11:53:27 hackage mmsyn2 0.3.0.0 - The library that can be used for multiple (Ord a) => a -> b transformations https://hackage.haskell.org/package/mmsyn2-0.3.0.0 (OleksandrZhabenko)
2020-10-29 11:53:49 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-10-29 11:54:31 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-29 11:54:33 → Chi1thangoo joins (~Chi1thang@87.112.60.168)
2020-10-29 11:55:59 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-29 11:57:02 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 264 seconds)
2020-10-29 11:58:58 × acidjnk_new2 quits (~acidjnk@p200300d0c7226033a9f8e60d1c4e3d2a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-29 11:59:05 → nschoe joins (~quassel@2a01:e0a:3c4:c7b0:c945:6e87:b509:d89a)
2020-10-29 12:00:01 × wright quits (~wright@154.13.1.56) ()
2020-10-29 12:02:40 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 268 seconds)
2020-10-29 12:03:08 → urodna joins (~urodna@unaffiliated/urodna)
2020-10-29 12:03:24 × nschoe quits (~quassel@2a01:e0a:3c4:c7b0:c945:6e87:b509:d89a) (Ping timeout: 240 seconds)
2020-10-29 12:05:44 → invaser joins (~Thunderbi@31.148.23.125)
←Prev  Next→
Page 1 .. 931 932 933 934 935 936 937 938 939 940 941 .. 5022

All times are in UTC.