Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 685 686 687 688 689 690 691 692 693 694 695 .. 5022
— 502,152 events total
2020-10-16 23:35:52 <monochrom> "This instance is only usable if the constructor MkNT is in scope."
2020-10-16 23:36:16 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-16 23:36:39 → conal joins (~conal@64.71.133.70)
2020-10-16 23:37:31 → mimi_vx joins (mimi1vx@nat/suse/x-mbferublenzmdqyh)
2020-10-16 23:37:51 <earldouglas> L29Ah: Do you mean `Data.Coerce (coerce)`? I'm not sure how to use that.
2020-10-16 23:38:09 <monochrom> Yes. And unusable as said.
2020-10-16 23:39:16 → slack1256 joins (~slack1256@181.203.95.77)
2020-10-16 23:39:32 × son0p quits (~son0p@181.136.122.143) (Quit: leaving)
2020-10-16 23:40:27 <earldouglas> monochrom: Ah, I see that now. Yeah, coerce fails with "The data constructor ... of newtype ... is not in scope"
2020-10-16 23:41:37 → renzhi joins (~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-16 23:41:38 <earldouglas> I'm probably doing something wrong, but this feels like a bug. Is it even possible to use requestAccept? https://hackage.haskell.org/package/cgi-3001.5.0.0/docs/Network-CGI.html#v:requestAccept
2020-10-16 23:41:39 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-16 23:42:02 <earldouglas> I can't import Accept, which is hidden in Network.CGI.Accept, then re-exprted in Network.CGI
2020-10-16 23:42:35 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-16 23:42:37 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-16 23:43:17 × anik quits (~anik@103.23.207.151) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-16 23:43:47 → chris joins (~chris@81.96.113.213)
2020-10-16 23:44:10 chris is now known as Guest96118
2020-10-16 23:45:48 <monochrom> Use negotiate?
2020-10-16 23:46:30 × Guest96118 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-16 23:49:30 <earldouglas> That should work. Thanks!
2020-10-16 23:51:14 → GyroW_ joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-16 23:51:14 × GyroW_ quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-16 23:51:14 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-16 23:52:23 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-16 23:53:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-16 23:54:20 → Alleria_ joins (~AllahuAkb@2604:2000:1484:26:4c41:7084:aa7f:3802)
2020-10-16 23:55:37 → anik joins (~anik@103.23.207.151)
2020-10-16 23:56:11 → larou joins (5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183)
2020-10-16 23:56:12 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-16 23:58:09 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:f977:bb39:9180:7f9c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-16 23:58:26 <larou> do constraints in smart constructors work at type level?
2020-10-16 23:58:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-17 00:00:02 × netsoundW1 quits (~netsoundW@84.39.116.180) ()
2020-10-17 00:01:18 × karanlikmadde quits (~karanlikm@2a01:c23:6037:1800:955:6189:d72:9daf) (Quit: karanlikmadde)
2020-10-17 00:04:38 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 260 seconds)
2020-10-17 00:08:08 × unlink2 quits (~unlink2@p57b852f3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-17 00:08:20 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 00:09:57 hackage minio-hs 1.5.3 - A MinIO Haskell Library for Amazon S3 compatible cloudstorage. https://hackage.haskell.org/package/minio-hs-1.5.3 (AdityaManthramurthy)
2020-10-17 00:11:55 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 258 seconds)
2020-10-17 00:15:11 <larou> hmm, it seems like it works!
2020-10-17 00:15:19 <larou> thats quite interesting
2020-10-17 00:15:27 <larou> i didnt think constraints at type level would work
2020-10-17 00:15:37 <larou> but apparently this is a workaround! woop!
2020-10-17 00:15:56 <larou> https://pastebin.com/raw/R1YH9J7e
2020-10-17 00:16:20 <larou> so apparently, you can provide constraints at type level using smart constructors
2020-10-17 00:17:00 <larou> this gives the "place in syntax" where the constraint goes, since it would be an error if it appeared in a kind...
2020-10-17 00:17:17 <larou> i think... unless some recent extension like standalone kind signatures enables this
2020-10-17 00:17:20 × mirrorbird quits (~psutcliff@m83-187-163-53.cust.tele2.se) (Quit: Leaving)
2020-10-17 00:17:28 <larou> anyone know if it does?
2020-10-17 00:19:07 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-vrmickywrfnlobks) (Quit: Connection closed for inactivity)
2020-10-17 00:20:15 → halogenandtoast joins (~halogenan@072-176-116-031.res.spectrum.com)
2020-10-17 00:20:31 <halogenandtoast> If I have an instance like this deriving anyclass instance (IsInvestigator investigator) => HasModifiersFor env investigator Asset is there anyway to have another instance with a different constraint?
2020-10-17 00:20:44 → jedws joins (~jedws@121.209.161.98)
2020-10-17 00:21:00 <halogenandtoast> Just changing the constraint will give a duplicate instance error.
2020-10-17 00:22:35 × isovector1 quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Remote host closed the connection)
2020-10-17 00:23:39 → polyrain joins (~polyrain@130.102.13.188)
2020-10-17 00:26:36 → conal joins (~conal@64.71.133.70)
2020-10-17 00:27:03 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-17 00:27:37 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-17 00:28:00 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-10-17 00:29:51 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-17 00:31:00 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-17 00:32:58 → thir joins (~thir@p200300f27f02580074cf2a3fa9ab5ee7.dip0.t-ipconnect.de)
2020-10-17 00:33:38 <larou> halogenandtoast: would it be possible to provide an extra parameter that could "label" these instances?
2020-10-17 00:34:14 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-17 00:34:24 <larou> your essentially trying to match on constraints
2020-10-17 00:37:52 × thir quits (~thir@p200300f27f02580074cf2a3fa9ab5ee7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-17 00:37:53 × dmwit quits (~dmwit@pool-108-18-228-100.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-17 00:39:58 × klardotsh quits (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) (Quit: WeeChat 2.8)
2020-10-17 00:40:56 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 272 seconds)
2020-10-17 00:41:37 → dmwit joins (~dmwit@pool-108-18-228-100.washdc.fios.verizon.net)
2020-10-17 00:43:44 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2020-10-17 00:44:26 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-17 00:45:06 <halogenandtoast> larou: ooh interesting, the answer is assuredly yes, I could
2020-10-17 00:45:31 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-17 00:45:31 <larou> i think thats the best way to do that
2020-10-17 00:46:07 → conal joins (~conal@64.71.133.70)
2020-10-17 00:46:38 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-17 00:46:56 <halogenandtoast> larou: thanks, I may try that if my current route (just removing the polymorphism) doesn't work out for me.
2020-10-17 00:47:48 <larou> if you do, you can create a sum datatype with constructors that dont take arguments (like Bool)
2020-10-17 00:48:09 <larou> with one of each of these "labels" to disambiguate the instances
2020-10-17 00:48:25 × alp_ quits (~alp@2a01:e0a:58b:4920:8c10:5fbc:1459:e068) (Ping timeout: 272 seconds)
2020-10-17 00:49:00 → klardotsh joins (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net)
2020-10-17 00:49:51 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-17 00:49:57 → conal joins (~conal@64.71.133.70)
2020-10-17 00:50:18 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:c99f:20b5:4775:2afa)
2020-10-17 00:52:28 × slack1256 quits (~slack1256@181.203.95.77) (Ping timeout: 260 seconds)
2020-10-17 00:54:33 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:c99f:20b5:4775:2afa) (Client Quit)
2020-10-17 00:55:14 → slack1256 joins (~slack1256@191.125.41.183)
2020-10-17 00:55:38 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-17 00:57:10 → conal joins (~conal@64.71.133.70)
2020-10-17 00:57:33 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-17 00:58:32 <monochrom> Today I begin to learn the Yoneda lemma. Interesting.
2020-10-17 00:59:01 → conal joins (~conal@64.71.133.70)
2020-10-17 00:59:07 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-17 00:59:56 <monochrom> It currently feels like setting up a lot of machinery to conclude very little. But I haven't applied it to really interesting things.
2020-10-17 01:01:26 × polyrain quits (~polyrain@130.102.13.188) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-17 01:01:29 <monochrom> (Namely, I have only tried applying it to forgetful functors. Yeah I know, lame, heh.)
2020-10-17 01:01:30 → conal joins (~conal@64.71.133.70)
←Prev  Next→
Page 1 .. 685 686 687 688 689 690 691 692 693 694 695 .. 5022

All times are in UTC.