coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] multiple typeclass instance question

From: Jonathan Leivent <jonikelee AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] multiple typeclass instance question
Date: Wed, 9 Mar 2016 16:38:31 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jonikelee AT gmail.com; spf=Pass smtp.mailfrom=jonikelee AT gmail.com; spf=None smtp.helo=postmaster AT mail-qg0-f47.google.com
Ironport-phdr: 9a23:204p6h+VKgAkYP9uRHKM819IXTAuvvDOBiVQ1KB91O4cTK2v8tzYMVDF4r011RmSDdqdu6wP0rGL+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStGU35r8jrvvs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+nh7aBSCL+3FUBm4Ri19DBxXPxBD8RJb49CXg4LlTwi6faO/xS7koWT2kp4NmSQHljjtPYzw+9mDUh8h9gYpUpRugo1p0xIuCM9LdD+Z3Yq6IJYBSfmFGRMsEEnUZWo4=

Suppose one has multiple typeclass instances of the same exact class (same exact parameterization). Is there a way to get to more of them other than just the most recently declared one with the highest priority?

-- Jonathan

[Coq-Club] multiple typeclass instance question, Jonathan Leivent, 03/09/2016
- Re: [Coq-Club] multiple typeclass instance question, Vadim Zaliva, 03/10/2016
  - Re: [Coq-Club] multiple typeclass instance question, Jonathan Leivent, 03/10/2016
    - Re: [Coq-Club] multiple typeclass instance question, Matthieu Sozeau, 03/10/2016
      - Re: [Coq-Club] multiple typeclass instance question, Jonathan Leivent, 03/10/2016
        
        Re: [Coq-Club] multiple typeclass instance question, Jonathan Leivent, 03/10/2016
        
        Re: [Coq-Club] multiple typeclass instance question, Jason Gross, 03/10/2016
        
        Re: [Coq-Club] multiple typeclass instance question, Jonathan Leivent, 03/10/2016
        Re: [Coq-Club] multiple typeclass instance question, Jason Gross, 03/10/2016
        Re: [Coq-Club] multiple typeclass instance question, Jonathan Leivent, 03/10/2016
        Re: [Coq-Club] multiple typeclass instance question, Jonathan Leivent, 03/10/2016