回答情况：
提问时间：
问题标签：
我试图使用DerivingVia为一个具有函数依赖关系的多参数类型类削减实例定义的样板。StandaloneDeriving #-}{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE DerivingVia
浏览 1修改于2021-06-26得票数 5
回答已采纳
pure x = Both mempty x由于Both与(a,b)同构，所以我想知道是否可以使用DerivingVia
浏览 11提问于2022-02-21得票数 4
回答已采纳
1回答
{-# LANGUAGE AllowAmbiguousTypes #-}{-# LANGUAGE DerivingVia #-}
{-
浏览 6修改于2021-06-26得票数 5
回答已采纳
以下是其他人给我的解决方案：{-# LANGUAGE GeneralizedNewtypeDeriving #-}{-# LANGUAGE AllowAmbiguousTypes #-}{-# LANGUAGE FlexibleContexts #
浏览 17修改于2022-01-01得票数 0
回答已采纳
1回答
这似乎与DerivingVia和GeneralisedNewtypeDeriving相似，但两者似乎都只针对newtype或强制类型。
浏览 1修改于2019-05-03得票数 5
回答已采纳
你需要添加{-# language UndecidableInstances #-}
newtype NP a = NP {unNP::a}
浏览 1修改于2021-06-26得票数 5
回答已采纳
我可以手动coerce每个字段，但我想一次coerce整个数据类型(这是DerivingVia工作所必需的)。
浏览 46提问于2020-05-17得票数 10
回答已采纳
现在，我知道我可以写一个相关的类型 convertPurely :: a -> b
然后使一个类成为另一个类的超类，并/或使用DerivingVia
浏览 5修改于2022-11-25得票数 6
我想使用DerivingVia为任何数据类型提供Effect的实例，这些数据类型是GenericK的实例(来自Hackage上的kind-generics库)。
浏览 29提问于2019-06-26得票数 2
回答已采纳
searchYear 1974)我尝试实现我在使用Monoid之前看到的模式，{-# LANGUAGE DerivingVia
浏览 6修改于2021-06-27得票数 0
回答已采纳
1回答
> {-# LANGUAGE FlexibleInstances, UndecidableInstances #-}
> {-# LANGUAGE ConstraintKinds, DerivingVia
浏览 1修改于2021-06-26得票数 2
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号