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: Dec 20 2023 at 11:08 UTC