腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
Mutable
Hastable
:
实例
中
非法
的
类型
同义词
和
家庭成员
应用程序
。
haskell
、
hashtable
、
type-families
、
type-synonyms
我正在尝试使用这个库
中
的
可变BasicHashTable:https://github.com/gregorycollins/hashtables {-# LANGUAGE GeneralizedNewtypeDerivingrunM :: StateT A IO a } deriving (Functor, Applicative, Monad, MonadIO, MonadState A ) 编译器抱怨我试图在一个
类型
类
实例
中使用
浏览 23
提问于2021-03-28
得票数 6
1
回答
Haskell重叠
实例
和
类型
函数
haskell
、
metaprogramming
、
typeclass
、
overlapping-instances
我有以下
类型
类,它模拟了一个类似SQL
的
查询优化: type Optimized q :: * optimize (Select (Select q _) p) = Select (optimize q) p 问题是我在优化
的
类型
函数上得到了错误"Conflicting family
实例
声明“。如果有
浏览 4
提问于2010-12-17
得票数 8
回答已采纳
2
回答
关联
类型
同义词
Data.Vector.Unbox
的
自动派生
haskell
、
template-haskell
、
type-families
、
deriving
我想让Zq成为
的
一个
实例
。我们目前正在使用大约50行普通代码手工派生Unbox,如上面的链接所建议
的
那样。我们将在代码
中
创建几个不同
类型
的
“Unbox”,因此为每种
类型
编写50行并不吸引人。[一个相关
的
问题:为什么 ( FlexibleInstances所暗示
的
一个扩展)不允许关联
的
类型
同义词
实例
?这是完全不同
的
野兽吗?]我目前解决这个问题<em
浏览 6
提问于2012-07-09
得票数 7
回答已采纳
4
回答
用
类型
同义词
定义
实例
haskell
、
types
、
instance
、
typeclass
、
type-synonyms
基本上,我已经定义了一个类,它
的
定义如下:type ResourceOpT r m a = StateT (ResourceCache r) m a
类型
同义词
'ResourceOpT‘应该有
浏览 5
提问于2021-04-07
得票数 4
回答已采纳
1
回答
警告: isset或空中
的
非法
偏移
类型
php
、
symfony
、
doctrine
我有两个理论实体:页面
和
同义词
。每个页面都包含对几个
同义词
的
引用,我希望确保没有
同义词
名被重复。因此,我创建了一个symfony命令,它在页面上
的
同义词
中
运行,检查副本: Symfony\Component\Debug\Exception\Contex
浏览 0
提问于2018-05-18
得票数 1
回答已采纳
1
回答
内部
类型
参数
的
类型
同义词
/
类型
同义词
的
模式匹配
haskell
、
types
、
pattern-matching
、
synonym
、
type-parameter
我
的
代码中有类似于这个类
的
内容。在Foo类
中
添加一个“作为另一个参数”对我
的
情况是没有意义
的
。~ D (DType a'), Integral (DType a'))问题是,我必须为特定
的
数据
类型
创建一个完整
的
类(
和
实例
),以表示(D )确定b
的
类型
同义词
/函数依赖关
浏览 4
提问于2013-01-24
得票数 4
回答已采纳
1
回答
如何避免在匹配此背包签名时需要一个辅助
的
newtype?
haskell
、
haskell-backpack
我正在使用新
的
背包模块系统
和
Cabal 2。Monad (Stream o m)instance MonadTrans (Stream o) 似乎
类型</e
浏览 4
提问于2017-08-12
得票数 2
回答已采纳
2
回答
Haskell:
类型
族
的
实例
定义
haskell
、
type-families
我们还可以在Int上定义函数,如下所示:f1 x = x * x但在这里,我要给出一个简化
的
例子。现在让我们尝试定义一个
实例
C X,就像我们对C Int所做
的
那样 g = 43
非法
类型
同义词
族应用
实例
:X 在'C X'
的
浏览 1
提问于2012-05-08
得票数 2
回答已采纳
2
回答
用特定
类型
重新定义
实例
haskell
我有这样
的
同义词
:其中CompilerError
和
CompilerWarning现在我知道了Functor
和
Applicative
的
实例
,但是Functor
的
实例
在元组(a,[CompilerWarning])上应用了fmap,我想重新定义这个
类型
同义词
的
实
浏览 3
提问于2016-08-05
得票数 0
回答已采纳
3
回答
嵌套
的
参数化
类型
的
实例
haskell
、
typeclass
假设我有这样
的
数据
类型
data B b = B bclass C c where现在C类需要一种
类型
的
* -> *,Btype AB b = A (B b) f
浏览 0
提问于2011-09-06
得票数 3
回答已采纳
1
回答
scala获取运行时类
的
实例
scala
、
reflection
、
casting
我正试图从scala
中
的
runtimeClass
实例
中
获取Class[_]
实例
。这将发生在我创建我
的
jar
应用程序
之前。1)下面是我使用旧java方法
的
简单示例,在这里我试图获取StringBuilder
的
实例
。(在我
的
实际代码库
中
,可能是一些类扩展了trait EventProcessor) scala> val clazz = Class.forName("sc
浏览 1
提问于2018-04-15
得票数 0
1
回答
如何在
实例
声明中使用
类型
同义词
?
haskell
我想为类约束建立
同义词
,如下面的示例(非常简化) data MyFunctor a = MyFunctor我应该能够做到这一点,因为说“.标准约束、元组
和
类型
同义词
在
实例
上下文
和
超类
中
是允许
的
”。我用
的
是GHC 7.6
浏览 1
提问于2014-06-25
得票数 1
回答已采纳
1
回答
关联
类型
家族抱怨‘`pred ::t a -> not’与"NB:‘t’是一个
类型
函数,可能不是内射函数“
haskell
、
types
、
type-families
为什么其中一个是错误
的
,另一个是正确
的
? 他们所说
的
“可能不是内射”是什么意思?如果连一对一都不允许,那又是什么样
的
功能呢?这与pred
的
类型
有什么关系?
浏览 0
提问于2018-05-03
得票数 3
回答已采纳
1
回答
“Show DecV”
的
非法
实例
声明
haskell
我试图为While语言
的
扩展编写一个解析器,这个扩展名为Proc,它接受输入(如x:=1 )并返回Ass "x" (N 1)。目前为止,我
的
代码如下:module Attempt whereimport Text.Megaparsec.StringCall " ++ pretty pname wrap c = [c] 但是,当我试图编译它时,我从行deri
浏览 0
提问于2017-04-15
得票数 1
回答已采纳
2
回答
在不可变
类型
中
重写==运算符
c#
、
.net
、
operator-overloading
、
immutability
、
equality
状态: 有人能解释一下大胆背后
浏览 5
提问于2010-12-28
得票数 6
回答已采纳
1
回答
具有功能依赖性
的
“
非法
类型
同义词
族
应用程序
实例
”
haskell
、
functional-dependencies
、
type-families
我有一个具有函数依赖性
的
多参数
类型
类型
:我还有一个简单
的
、非内射式
的
同义词
族:我想编写一个在第二个参数中使用Multi
的
Fam
实例
,如下所示:但是,此
实例
不被接受。我可以执行一个通常
的
技巧,将一个
类型
从
实例
头移出到一个相
浏览 9
提问于2017-07-27
得票数 34
1
回答
没有数据构造函数
的
数据声明。它能
实例
化吗?它为什么要编译?
haskell
、
types
data B = String 我还想知道,我
的
书中关于没有构造函数
的
数据
类型
的
声明是否指的是通过type或newtype关键字而不是由data声明
的
类型
。在type情况下,
类型
同义词
显然不使用数据构造函数,如下
浏览 2
提问于2017-07-29
得票数 7
回答已采纳
4
回答
类型
同义词
对
类型
类
实例
的
影响是什么?GHC
中
的
TypeSynonymInstances实用主义是做什么
的
?
typeclass
、
haskell
我正在阅读“真实世界”第151页,我已经盯着下面的短文看了一个多小时: 首先,这一切让我感到困惑,所
浏览 7
提问于2010-01-24
得票数 20
回答已采纳
3
回答
ArgMin
和
ArgMax
类型
同义词
在Data.Semigroup
中
的
用途是什么?
haskell
、
monoids
、
argmax
、
semigroup
、
type-synonyms
Haskell
中
的
库在中有以下
同义词
下面是指向哈德克
的
链接:
和
这里有一些额外
浏览 5
提问于2020-11-20
得票数 7
回答已采纳
1
回答
Haskell
类型
的
家庭,理解错误信息
haskell
、
type-families
引发编译错误,即: instance (NameRecord ~ a) => I a where编译得很好。我相信这个错误与GHC中标记为无效
的
票证有关。
实例
C (Fam Int) - (1)
实例
(Fam Int ~ famint) => C famint (2) 如果只有一个
实例
,这是可行<em
浏览 3
提问于2012-05-07
得票数 5
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
Rust中move、copy、clone、drop和闭包捕获
python默认参数中的陷阱
如何使用 WebAssembly 和 JS 构建高性能应用程序
C+存储类
Python 中的枚举类型
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券