1回答
因此，我使用类型族来设计我的AST (下面给出一个简单的例子)。如何告诉GHC我的类型族需要有Show (和Eq)实例？我尝试过使用StandaloneDeriving，但找不到如何定义依赖项/约束。
浏览 11提问于2020-09-29得票数 1
回答已采纳
1回答
然而，我的约束是，我事先不知道列族的列数据类型，即每个Json对象都有不同的结构和不同数据类型的字段。谢谢
浏览 0提问于2014-03-16得票数 1
我想创建一个在某个类型族上参数化的ADT，该类型族可用于更改字段的类型。我想派生Show/Eq/etc。对于这种类型，没有太多的样板文件。
如果您手动写出约束，则独立派生可以工作。但是，如果你有很多这样的字段，写出约束是很麻烦的。我的问题是，考虑到最近GHC中的所有新派生特性(策略、via等)有什么方法可以简明扼要地做到这一点吗？
浏览 7提问于2021-12-01得票数 1
1回答
当然，在函数签名中，我可以编写像(a ~ (a1, a2))这样的约束，即使在其他地方没有提到a1和a2时也是如此，但是我需要将它们放在实例函数签名中，这当然是由类决定的。在本例中，a不是实例本身的参数，只是实例函数，就像Functor只有f作为类参数，而不是a和b，所以我不能向实例子句添加额外的约束。
浏览 1提问于2016-09-21得票数 4
回答已采纳
1回答
许多约束看起来是结合在一起的。让我们把它们抽象出来。type MonadNumState a m = (MonadState a m, Num a)class Iterator t where next :: (MonadIter当然，我也可以使用类型族</
浏览 1提问于2013-06-06得票数 6
回答已采纳
4回答
我想知道如何将多个记录放入一个网格视图行中。看一下下面的例子。| | Evil | greenFamily列(如果有多个)将显示为一个单元格，每个相应的子类别显示为其各自的行。这样，当用户选择行时，将选择整行类型为FAMILY的行。每一行都是基于族的，因此无论组和颜色中有多少行，它仍然是一个族行。本
浏览 0提问于2013-02-27得票数 1
回答已采纳
我试图用类型文字、封闭类型族和一堆不同的东西来模拟我自己的枚举类型。(我知道GHC.Generics可能是一种更好的方法，但现在我想知道到底发生了什么。)for ‘it’:我认为我的第三个Embed实例上的类型相等约束应该处理这个问题注意这是一个内射类型
浏览 8提问于2018-02-08得票数 0
回答已采纳
我有一个具有函数依赖性的多参数类型类型：我还有一个简单的、非内射式的同义词族：我想编写一个在第二个参数中使用Multi我可以执行一个通常的技巧，将一个类型从实例头移出到一个相等约束中：这个例子被接受了！我找到了，它描述了类似的情况，但是类型类型不涉及函数依赖，所以票据被(正确地)关闭<
浏览 9提问于2017-07-27得票数 34
1回答
我开始接触GHC 7.4.2中的新类约束扩展，但我在运行一个小示例时遇到了一些问题。，它将允许我(给定值x)获得作为NextClass实例的所有类型的下一个值x。要使用+操作符，我需要Int的Num a类约束。=> a -> aIn an equation for `n': n v = next v提亚
浏览 3提问于2012-06-12得票数 3
回答已采纳
我有模块Data.FastSet，其中定义了这个类型类： return (StaticInfo me2 together)
正如您所看到的，我尝试使用ScopedTypeVariables扩展来告诉类型检查器两个集合的联合结果与集合本身具有相同的类型当我试图编译这段代码时，它给出了类型错误(不管我如何尝试给together变量赋
浏览 0提问于2016-02-15得票数 0
1回答
在我最近的一个问题中，我发现了一个使用类型类的。在HasNProxyK k中，k是第二个NProxyK参数。我希望使用来声明类型家族，如下所示： ToNProxyK为了使用类型家族，我必须知道类实例是满意的--希望在编译时捕获像ToNProxyK 3 True这样的声明。我也尝试过在成员类型(HasNProxyK Type => Type)中包含约束，
浏览 0提问于2019-05-20得票数 3
回答已采纳
5回答
闭型类
、、、
是否有可能创建一个不能再接纳新成员的类型类型(也许通过使用模块边界)？我可以拒绝导出一个完整的实例定义所需的函数，但只有当某个人生成一个无效的实例时，才会导致运行时错误。我能让它成为编译时的错误吗？
浏览 4提问于2013-07-25得票数 21
回答已采纳
1回答
对于所有约束
、、
例如，对于某些类型族F和G，如何编写forall约束可以使用Edward A.Kmett 包吗？如果是这样的话，可以提供一个小例子吗？
浏览 1提问于2016-08-15得票数 5
1回答
这个问题与这个问题的公认答案是相同的主题：
我希望匹配类型实例，即使我不确定第二个参数是对，然后强制第二个参数是对(如果这不成功，会导致编译错误)。
浏览 0提问于2016-02-16得票数 2
1回答
我曾经尝试过一些封闭类型的族，但不知何故，在没有指定类型的情况下，我总是对这样一个事实感到头疼：Num通常是不起作用的。
下面是一个例子。我认为对于正常的重叠类型类，这个难题可以通过使用IncoherentInstances PRAGMA来解决。无论如何，我想问一下，是否有一种方法可以在类型族中使用？
浏览 0提问于2014-03-14得票数 2
1回答
在处理类型族时，通常可以方便地使用相等约束，以避免在签名中重复某些类型函数的名称： type BulkyAssociatedType f :: * , Monoid b, Monoid (m b)即使在签名本身中没有出现缩写，这也是有效的，只在约束中出现在课堂上，这显然是不可能的；
class ( Foo f, b ~ BulkyAssoc
浏览 2提问于2014-01-21得票数 16
回答已采纳
1回答
分割视图控制器导航
、、、、
例如，我有一个显示树族的拆分视图控制器。左边的主框架显示了Hardwood，Evergreen等。如果我选择了常绿的细节披露按钮附件，我希望主视图被替换为长青的列表，选择一个特定的常绿将提供关于特定类型的树的详细信息。从主视图中的常绿树族导航回来，应该带我回到树族列表并清除详细视图，这样它就可以显示家庭主视图中选择的家族信息了。
我的家庭主人的看法很好。这是如何将segue设置到我遇到麻烦的第二级splitview。任何帮助或说明嵌套关系的教程将不胜感
浏览 1提问于2014-10-12得票数 1
回答已采纳
2回答
是否可以为参数化数据(如 )设置类型同义词族？Arg X a = Nat size => FSVec size a我尝试过几种解决方法，比如用newtype包装FSVec size a，或者使用约束同义词上下文+最小工作示例class OldA e where类型继承OldA我脑海中出现的最“自然”的事情是
浏览 5提问于2016-06-29得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
