New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Typeclass Inheritance #43

Open

re-xyr opened this issue Jun 14, 2021 · 0 comments

Member

re-xyr commented Jun 14, 2021

Basically,

Use the same underlying structure as record inheritance
Auto search for the inherited typeclass's instance, hint user to give manually when >1 instances exist
Also introducing the parent typeclass instance into scope when child typeclass instance is in scope (e.g. Functor available when Applicative in scope)

ice1000 transferred this issue from aya-prover/aya-prover-proto

mio-19 mentioned this issue

Overhaul struct #386

Closed

# for free to join this conversation on GitHub. Already have an account? # to comment