Logs: liberachat/#haskell
| 2021-07-31 06:53:46 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-07-31 06:55:12 | × | anandprabhu quits (~anandprab@45.83.220.206) (Quit: Leaving) |
| 2021-07-31 06:55:28 | × | Guest9 quits (~Guest9@43.241.144.40) (Ping timeout: 256 seconds) |
| 2021-07-31 06:56:21 | <aegon> | yep! thanks |
| 2021-07-31 06:56:44 | <sm> | @Patrick18:libera.chat: figured it out ? |
| 2021-07-31 06:56:44 | <lambdabot> | Unknown command, try @list |
| 2021-07-31 07:00:51 | → | mattil joins (~mattilinn@78-27-98-194.bb.dnainternet.fi) |
| 2021-07-31 07:01:25 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-31 07:01:25 | × | vicfred__ quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-07-31 07:03:26 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-31 07:03:59 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-31 07:05:56 | → | Guest65 joins (~Guest65@188.27.128.31) |
| 2021-07-31 07:09:28 | MidAutumnMoon90 | is now known as MidAutumnHotaru |
| 2021-07-31 07:10:47 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-31 07:11:19 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-31 07:14:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-31 07:16:54 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 07:17:45 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 2021-07-31 07:18:28 | × | mastarija_ quits (~mastarija@31.217.8.174) (Quit: Leaving) |
| 2021-07-31 07:18:45 | → | mastarija joins (~mastarija@31.217.8.174) |
| 2021-07-31 07:20:23 | <mastarija> | So, I've enabled GADTs and Constraint kinds and I still get "Not in scope: type constructor or class `Constraint'" when trying to define this `type NoCo = (() :: Constraint) |
| 2021-07-31 07:20:23 | <mastarija> | ` |
| 2021-07-31 07:20:59 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-07-31 07:21:00 | <mastarija> | Not sure what I'm doing wrong |
| 2021-07-31 07:21:47 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-31 07:22:16 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-07-31 07:22:27 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-07-31 07:22:29 | <mastarija> | Oh... I'm an idiot. I had to import them from Data.Kind |
| 2021-07-31 07:22:40 | <mastarija> | I thought this was not necessary |
| 2021-07-31 07:22:41 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-31 07:23:56 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-07-31 07:24:52 | → | retroid_ joins (~retro@5ec19a54.skybroadband.com) |
| 2021-07-31 07:27:53 | <tomsmeding> | mastarija: you'll find that you also have to import Type from Data.Kind :) |
| 2021-07-31 07:28:01 | <mastarija> | Yes |
| 2021-07-31 07:28:04 | <mastarija> | Did that :D |
| 2021-07-31 07:30:03 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-07-31 07:30:47 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-31 07:34:44 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-31 07:35:29 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-07-31 07:35:42 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 256 seconds) |
| 2021-07-31 07:36:28 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 07:39:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-31 07:40:41 | <mastarija> | Do we have something like an "empty" constraint in the base, something in the lines of "class EmptyC x" "instance EmptyC x"? |
| 2021-07-31 07:41:30 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-07-31 07:43:14 | <tomsmeding> | isn't that () |
| 2021-07-31 07:43:24 | <mastarija> | No, that is ()::Constraint |
| 2021-07-31 07:43:36 | <mastarija> | tomsmeding, I'm looking for x -> Constraint |
| 2021-07-31 07:43:42 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-07-31 07:43:44 | <tomsmeding> | ooooh |
| 2021-07-31 07:43:57 | <mastarija> | Yes, my bad |
| 2021-07-31 07:44:17 | <mastarija> | Calling it empty wasn't the best choice of words :D |
| 2021-07-31 07:44:23 | × | stenvold quits (~stenvold@2001:a61:25f1:6701:a993:a914:786f:a6f5) (Quit: Client closed) |
| 2021-07-31 07:44:43 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-31 07:46:44 | → | acidjnk joins (~acidjnk@p200300d0c72b9576e9974425ad52911e.dip0.t-ipconnect.de) |
| 2021-07-31 07:47:10 | → | Nahra joins (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-07-31 07:48:13 | <tomsmeding> | mastarija: I grepped the source code of 'base' on ^class and all the 82 results (only 82!) are non-empty :) |
| 2021-07-31 07:48:33 | <tomsmeding> | mastarija: https://paste.tomsmeding.com/H2uxebLC |
| 2021-07-31 07:48:58 | <mastarija> | Ah.. oh well :D |
| 2021-07-31 07:51:06 | → | fendor joins (~fendor@91.141.37.142.wireless.dyn.drei.com) |
| 2021-07-31 07:53:50 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 07:56:03 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-07-31 08:00:23 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-31 08:01:30 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 2021-07-31 08:02:09 | → | azeem joins (~azeem@176.201.34.159) |
| 2021-07-31 08:05:26 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2021-07-31 08:05:53 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-07-31 08:06:54 | × | azeem quits (~azeem@176.201.34.159) (Ping timeout: 265 seconds) |
| 2021-07-31 08:07:24 | → | azeem joins (~azeem@176.200.191.24) |
| 2021-07-31 08:07:52 | × | aegon quits (~mike@174.127.249.180) (Ping timeout: 265 seconds) |
| 2021-07-31 08:07:54 | × | dagit quits (~dagit@2601:1c2:1b7f:9fa0:ad74:311a:d89a:e0b1) (Ping timeout: 250 seconds) |
| 2021-07-31 08:08:32 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-31 08:10:27 | → | stenvold joins (~stenvold@2001:a61:25f1:6701:a993:a914:786f:a6f5) |
| 2021-07-31 08:11:32 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 08:14:59 | → | vysn joins (~vysn@user/vysn) |
| 2021-07-31 08:16:34 | × | azeem quits (~azeem@176.200.191.24) (Ping timeout: 265 seconds) |
| 2021-07-31 08:16:42 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-07-31 08:17:48 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-31 08:17:48 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-31 08:17:51 | allbery_b | is now known as geekosaur |
| 2021-07-31 08:18:34 | <mastarija> | Btw, is there a way to check if an argument to a type family is of a certain type class? |
| 2021-07-31 08:19:00 | <mastarija> | Basically, I want to determine the resulting type depending on type class that a type is an instance of |
| 2021-07-31 08:20:09 | → | azeem joins (~azeem@176.200.191.24) |
| 2021-07-31 08:25:08 | × | azeem quits (~azeem@176.200.191.24) (Ping timeout: 272 seconds) |
| 2021-07-31 08:28:20 | → | azeem joins (~azeem@176.200.191.24) |
| 2021-07-31 08:28:53 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Ping timeout: 252 seconds) |
| 2021-07-31 08:32:02 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 265 seconds) |
| 2021-07-31 08:33:09 | × | cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-07-31 08:36:29 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-31 08:39:22 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 08:39:53 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-07-31 08:40:28 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 08:41:36 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-07-31 08:41:48 | → | zeenk joins (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) |
| 2021-07-31 08:41:54 | <mastarija> | Is it possible to use type application to apply type variables defined in the class instance to functions within instance definition? |
| 2021-07-31 08:42:01 | <mastarija> | instance forall k. Applicative (Wrong k) where |
| 2021-07-31 08:42:01 | <Drew[m]> | mastarija: would you want to do this for more than one type class? |
| 2021-07-31 08:42:09 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-31 08:42:13 | <mastarija> | Only one for now |
| 2021-07-31 08:42:17 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 08:42:19 | <mastarija> | Drew[m], why? |
All times are in UTC.