Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 605 606 607 608 609 610 611 612 613 614 615 .. 5022
— 502,152 events total
2020-10-13 04:19:48 → chenshen joins (~chenshen@2620:10d:c090:400::5:80e8)
2020-10-13 04:20:26 <Axman6> technically there's optimisations to be had from the uniqueness of the keys but yolo
2020-10-13 04:20:38 <Axman6> jackdk: happy?
2020-10-13 04:20:38 → conal joins (~conal@64.71.133.70)
2020-10-13 04:22:45 × dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 240 seconds)
2020-10-13 04:23:08 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-13 04:24:48 <jackdk> axman6: I broke out the monoidal-containers hammer https://www.irccloud.com/pastebin/atKmxOH8/Transpose.hs
2020-10-13 04:24:50 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-13 04:24:51 → conal joins (~conal@64.71.133.70)
2020-10-13 04:25:01 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-13 04:25:02 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-13 04:25:21 <jackdk> I think I like yours better
2020-10-13 04:25:28 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-13 04:25:56 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-13 04:26:17 → conal joins (~conal@64.71.133.70)
2020-10-13 04:26:37 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-13 04:27:00 <Axman6> :t let f mmp = M.fromListWith M.union $ do { (k1,vs) <- M.toList mmp; (k2,v) <- M.toList vs; pure (k2,M.singleton k1 v) } in f
2020-10-13 04:27:01 <lambdabot> (Ord k1, Ord k2) => M.Map k2 (M.Map k1 a) -> M.Map k1 (M.Map k2 a)
2020-10-13 04:28:03 → conal joins (~conal@64.71.133.70)
2020-10-13 04:28:14 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-13 04:28:15 <jackdk> yeah I thnk donotation is clearer
2020-10-13 04:30:09 → day_ joins (~Unknown@unaffiliated/day)
2020-10-13 04:30:18 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-10-13 04:30:49 → ironmarx joins (~ironmarx@184.75.221.179)
2020-10-13 04:31:15 <Axman6> @ :t let f mmp = M.fromListWith M.union $ do { (k1,vs) <- M.toList mmp; (k2,v) <- M.toList vs; [(k2,[(k1, v)])] } in f
2020-10-13 04:31:27 <Axman6> % :t let f mmp = M.fromListWith M.union $ do { (k1,vs) <- M.toList mmp; (k2,v) <- M.toList vs; [(k2,[(k1, v)])] } in f
2020-10-13 04:31:27 <yahb> Axman6: ; <interactive>:1:97: error:; * Couldn't match expected type `Map k3 a3' with actual type `[(a2, b1)]'; * In the expression: [(k1, v)]; In the expression: (k2, [(k1, v)]); In a stmt of a 'do' block: [(k2, [(k1, v)])]; * Relevant bindings include; v :: b1 (bound at <interactive>:1:73); vs :: Map k2 b1 (bound at <interactive>:1:48); k1 :: a2 (bound at <interact
2020-10-13 04:31:41 <Axman6> % :set -XOverloadedLists
2020-10-13 04:31:41 <yahb> Axman6:
2020-10-13 04:31:44 <Axman6> % :t let f mmp = M.fromListWith M.union $ do { (k1,vs) <- M.toList mmp; (k2,v) <- M.toList vs; [(k2,[(k1, v)])] } in f
2020-10-13 04:31:44 <yahb> Axman6: (Ord k1, Ord k2) => Map k2 (Map k1 a) -> Map k1 (Map k2 a)
2020-10-13 04:31:49 <Axman6> awww yiss
2020-10-13 04:32:45 → danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-13 04:32:48 <vincenz> How do I do something like:
2020-10-13 04:33:08 <vincenz> for all n: instance PartialOrd a => PartialOrd (Vector n a)
2020-10-13 04:33:10 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 246 seconds)
2020-10-13 04:33:10 day_ is now known as day
2020-10-13 04:33:45 → Sanchayan joins (~Sanchayan@106.201.37.251)
2020-10-13 04:34:45 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 240 seconds)
2020-10-13 04:35:40 → dan64 joins (~dan64@dannyadam.com)
2020-10-13 04:36:47 <Axman6> instance (KnownNat n, PartialOrd a) => PArtialOrd (Vector n a)?
2020-10-13 04:37:24 <vincenz> Thanks, I'll try tat!
2020-10-13 04:41:34 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 256 seconds)
2020-10-13 04:41:44 <vincenz> I'll go without fixed size for now to simplify, then I can always add it later I guess
2020-10-13 04:42:25 → alp joins (~alp@2a01:e0a:58b:4920:2ccf:c5eb:4256:63a6)
2020-10-13 04:45:11 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-13 04:45:11 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-13 04:45:51 → nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-13 04:46:25 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-13 04:46:56 <vincenz> How do I qualify an operator in binding position?
2020-10-13 04:47:09 <vincenz> instnace ... where .... x PartialOrd.<= y = ...
2020-10-13 04:49:51 <vincenz> Found it, I import only what I want from prelude and thus mask the <= in prelude
2020-10-13 04:52:44 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-10-13 04:53:59 → aqd joins (~aqd@87-92-145-87.rev.dnainternet.fi)
2020-10-13 04:58:38 → balbirs joins (~balbirs__@ozlabs.org)
2020-10-13 04:59:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-13 05:00:59 × sand_dull quits (~theuser@104.140.53.43) (Ping timeout: 258 seconds)
2020-10-13 05:02:53 × toorevitimirp quits (~tooreviti@117.182.180.0) (Ping timeout: 260 seconds)
2020-10-13 05:04:25 × renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 264 seconds)
2020-10-13 05:06:31 → plutoniix joins (~q@node-unw.pool-125-24.dynamic.totinternet.net)
2020-10-13 05:09:22 → toorevitimirp joins (~tooreviti@117.182.180.0)
2020-10-13 05:09:25 × jespada quits (~jespada@90.254.245.15) (Ping timeout: 240 seconds)
2020-10-13 05:12:04 → jespada joins (~jespada@90.254.245.15)
2020-10-13 05:12:10 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-10-13 05:13:09 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-13 05:13:27 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-13 05:13:28 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-13 05:13:28 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-13 05:16:47 × alp quits (~alp@2a01:e0a:58b:4920:2ccf:c5eb:4256:63a6) (Ping timeout: 272 seconds)
2020-10-13 05:17:03 → bitmagie joins (~Thunderbi@200116b806cb540040a9783a9ea970a9.dip.versatel-1u1.de)
2020-10-13 05:17:14 × bitmagie quits (~Thunderbi@200116b806cb540040a9783a9ea970a9.dip.versatel-1u1.de) (Client Quit)
2020-10-13 05:18:23 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-13 05:18:37 × ironmarx quits (~ironmarx@184.75.221.179) (Remote host closed the connection)
2020-10-13 05:19:59 × darjeeli1 quits (~darjeelin@122.245.216.36) (Ping timeout: 265 seconds)
2020-10-13 05:19:59 → ishutin_ joins (~Ishutin@178-164-207-98.pool.digikabel.hu)
2020-10-13 05:21:25 → darjeeli1 joins (~darjeelin@122.245.216.36)
2020-10-13 05:23:05 × ishutin quits (~Ishutin@193-110-63-54.cable-modem.hdsnet.hu) (Ping timeout: 240 seconds)
2020-10-13 05:23:18 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-13 05:24:28 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-13 05:28:47 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-10-13 05:29:21 × chenshen quits (~chenshen@2620:10d:c090:400::5:80e8) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2020-10-13 05:29:43 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-10-13 05:30:57 → nyd joins (~lpy@unaffiliated/elysian)
2020-10-13 05:33:10 → chele joins (~chele@5.53.222.202)
2020-10-13 05:33:23 × djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 244 seconds)
2020-10-13 05:33:25 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-13 05:34:40 → romtam joins (~romtam@s91904426.blix.com)
2020-10-13 05:35:18 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-13 05:38:12 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-13 05:38:23 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-13 05:38:23 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-13 05:38:23 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-13 05:38:44 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-13 05:45:00 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-13 05:45:23 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-13 05:45:45 × vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 256 seconds)
2020-10-13 05:46:17 → bliminse joins (~bliminse@host217-42-95-37.range217-42.btcentralplus.com)
2020-10-13 05:47:16 lep-delete is now known as Guest88073
2020-10-13 05:49:05 → sapek joins (1812cc74@c-24-18-204-116.hsd1.wa.comcast.net)
2020-10-13 05:49:33 × fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1)
←Prev  Next→
Page 1 .. 605 606 607 608 609 610 611 612 613 614 615 .. 5022

All times are in UTC.