Zulip Chat Archive
Stream: Is there code for X?
Topic: Getting instance from parent instance
Anton Lorenzen (Feb 09 2020 at 15:55):
If I have a class A and a class B that extends A as well as an instance value of B, how can I get an instance of A?
Mario Carneiro (Feb 09 2020 at 15:59):
Typeclass inference should find it, but the instance is called B.to_A
Last updated: May 02 2025 at 03:31 UTC