如何解决在没有UndecidableInstances的实例头中使用芭比娃娃的AllBF
import Barbies
import Barbies.Constraints
class MyClass a where
instance (ConstraintsB b,AllBF MyClass f b) => MyClass (Barbie b f) where
由于隐藏的种类多态性,此操作失败。 Simon says:
•变量
k
的出现频率更高 在约束AllBF MyClass f b
中 比实例头MyClass (Barbie b f)
(使用UndecidableInstances
允许)
在这里我想避免使用UndecidableInstances
。我尝试过的一件事是使我的实例具有f
的形式:
instance (ConstraintsB b,AllBF MyClass (f :: Type -> Type) b) => MyClass (Barbie b f) where
但是,这将导致另一个错误:
•非法嵌套约束
AllBF MyClass f b
(使用UndecidableInstances
允许这样做
天真的,我尝试内联AllBF
的定义,但这并没有任何改变:
instance (ConstraintsB b,AllB (ClassF MyClass (f :: Type -> Type)) b) => MyClass (Barbie b f) where
•非法嵌套约束
AllB (ClassF MyClass f) b
(使用UndecidableInstances
允许)
是否可以在不打开UndecidableInstances
的情况下创建此实例?
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。