2回答
我(相对)是Haskell的新手，我想编写一些数学代码。例如，交换群。arising from the second field of `ProductAbGrpEl'
(type `AbelianGroupElement g1') 这是有道理的；然而，我不确定我如何才能做到这一点。(这里可能不适合使用类型族；我最初使用MultiParamTypeClasses和FunctionalDependencies，但遇到了其他问题，得到的印象是类型族更好
浏览 30提问于2021-04-06得票数 3
2回答
ORACLE同义词表描述约束
、、、、
我希望看到表的同义词中定义的约束。SQL> DESCRIBE table_name;谢谢阿尔瓦罗。
有了@Aramillo的帮助，并使其适应我的需要，我想出了如何去做。我希望
浏览 3提问于2014-09-22得票数 1
回答已采纳
1回答
约束类型的同义词
、、、
我知道我可以为类型创建同义词，例如：我还读到约束类型仍然是一个类型，所以我想我也可以为此创建一个同义词：然而，GHC抱怨说：GHC支持约束类型</
浏览 5提问于2014-08-19得票数 2
回答已采纳
我只是一个不主修计算科学和工程的霍布比人。但是nabi是非类型化的，所以我想给它添加一个类型检查器。我的一个具体目标是实现一个基于haskell98的类型检查器，但它支持惟一的扩展“关联类型同义词”。
我正确地阅读了报纸，然后尝试创建约束-entailment函数({##**$}}-}-)。告诉我如何实现
浏览 3提问于2019-12-31得票数 2
回答已采纳
1回答
实例，我希望以这种方式关联a'。(和实例)，以表示(D )确定b的类型同义词/函数依赖关系。a' ~ D (DParam a'), Integral (DParam a'))或者甚至可以更好地表达这个约束，而不使用类型同义词似乎很傻，我应该被迫创建一个(打开)类，其类型同义词与单个实例的同义
浏览 4提问于2013-01-24得票数 4
回答已采纳
考虑到一些类型限制因素：import Data.Array.Unboxed(Ix,IArray,UArray)
如何找出哪些类型满足IntLike，即所有上述约束联合我可以将ghci的:info命令的输出中所需的信息
浏览 2提问于2014-10-29得票数 10
我需要为带有类型类约束的函数签名生成代码，例如：我使用以下签名构造函数：所以我需要生成一个类型。我的最佳猜测是使用以下构造函数：它对应于以下声明(如中所示)：但是Cxt只是Type列表的同义词，我找不到合适<e
浏览 0提问于2018-06-18得票数 3
回答已采纳
1回答
调用用户定义函数的唯一约束
、、、、
我想要做的是，如果synonym+gettypeforvalue(值)不是唯一的，就拒绝添加更多的同义词。+值的关联类型不是唯一的)。nvarchar(50)beginend但是，我在此Incorrect
浏览 1提问于2014-10-30得票数 2
2回答
在阅读有关的文章时，我看到了示例 type Elem ce insert :: Elem ce -> ce -> ce这对我来说是有意义的，因为我使用了我的(可能适得其反的) OOP隐喻- Collects的一个实例有一个关联的类型(同义词) Elem ce。我被关联数据族的例子弄糊涂了，因为它不适合那
浏览 0提问于2013-05-12得票数 4
回答已采纳
1回答
我有一个嵌套类型，我希望使用关联类型同义词部分指定它。fromIntegral $ f $ xCould not deduce (T (X m' Int) ~ Int)
我知道，将此约束添加到但是，我知道在我的程序(T (X arg1 arg2)) = arg2中，所以我试图弄清楚如何编写而不是必须编写这个约束。我的问题是:我能让Haskell意识
浏览 1提问于2012-07-15得票数 0
回答已采纳
我想定义这样一个类型的同义词在这里，sigs'变量没有在MonadSignal'类型同义词的标题中提到，但是它只是连接第一个约束和第二个约束，它是由头中提到的m唯一确定的。通常，我认为我可以在RHS上使用forall，但是由于
浏览 5提问于2016-03-25得票数 4
回答已采纳
我想为类约束建立同义词，如下面的示例(非常简化)
data MyFunctor a = MyFunctor我应该能够做到这一点，因为说“.标准约束、元组和类型同义词在实例上下文和超类中是允许的”。我用的是GHC 7.6
浏览 1提问于2014-06-25得票数 1
回答已采纳
2回答
是否在另一个约束中应用约束，以便{-# LANGUAGE KindSignatures #-}
module Test where
浏览 5提问于2020-12-21得票数 6
回答已采纳
3回答
我对在UML中如何正确地使用{XOR}约束有一些疑问。我明白它是如何工作的，有两种不同的方式。哪一个是对的？
xor约束适用于关联。(A类型的对象可能与C类型的1个对象相关联；或者:A类型的对象可能与0或1对象关联到B类型；或:对象A本身可以是因为我们在B附近有0.1)。xor
浏览 8提问于2016-11-29得票数 6
回答已采纳
2回答
随便换个标题吧，我只是没有足够的经验知道到底发生了什么。Eq a => Row a -> ...
所以我想，也许我可以把这个约束写进同义词的定义中，因为在我看来，应该不会更复杂，对吧？如果编译器可以在函数中处理这个问题，那么它应该是一个类型同义词。这里没有局部的应用，也没有什么或
浏览 3提问于2014-06-15得票数 5
回答已采纳
我有一个具有函数依赖性的多参数类型类型：我还有一个简单的、非内射式的同义词族：我想编写一个在第二个参数中使用Multi我可以执行一个通常的技巧，将一个类型从实例头移出到一个相等约束中：这个例子被接受了！然而，我开始思考，我开始怀疑为什么不能将这种转换
浏览 9提问于2017-07-27得票数 34
我需要为sequence.Could创建公共同义词，请建议如何为oracle11g中的序列创建同义词。修改脚本添加约束: Alter schema.table_name ADD(约束pk主键(PrimaryKey_ID))；
序列:创建序列table_name，从1开始；
浏览 3提问于2016-12-21得票数 0
回答已采纳
我对Haskell非常陌生，我想使用来自Control.Lens和类约束的Control.Lens和类约束以及类型同义词来使我的函数类型更加紧凑(可读性？)。：为了对类型构造函数使用的类型参数a强制类约束，我使用了一个智能构造函数：mkState问题
我目
浏览 2提问于2015-06-01得票数 6
回答已采纳
2回答
我有一个带有一系列约束的函数foo。当然，这些约束必须出现在使用foo的函数的签名中，所以我要做的是将foo约束包装在同义词FooCtx a b ... :: Constraint中。如果所有类型都公开了，这就很好了。但是，我使用函数依赖来生成约束列表中的某些类型，并且这些类型不会出现在foo的签名中。一个令人不满意的解决方案是
浏览 0提问于2015-03-03得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
