由于在Haskell中使用‘a0’而产生的(显示打印)没有实例

文章/答案/技术大牛

发布

1回答

haskell、types

我是新来Haskell的。该主题来自Learn you Haskell一书“递归数据结构”data List a = Empty | Cons a (List a) deriving (Show, Read,`Cons` Empty print $ 3 `Cons` (4 `Cons` (5 `Cons` Empty)) 下面是我得到的错误信息No instance for (Show a0) ar

浏览 2提问于2017-02-16得票数 3

回答已采纳

1回答

如果条件抛出错误，为什么下面的数字是负数？

haskell

我正在看“Haskell基本面1”在Pluralsight中。在第二章中，作者给出了一个非常简单的函数，如果在中使用。当我尝试它时，每当我尝试负数函数时，我都会出错。这是函数 if x >= 0 else "Negative" 当我尝试使用正数的方法时，它工作得很好，但是当我用负数调用该方法时“(显

浏览 1提问于2014-09-21得票数 2

回答已采纳

2回答

如何QuickCheck任意函数

haskell

我是Haskell的新手，我正在试着检查我的一个功能。函数的类型为 treeValidate :: forall a. Ord a => BST a -> Bool 我如何验证这一点？我尝试过quickChekc treeValidate，但收到此错误：·由于使用‘quickCheck’而产生的(Arbitrary (BST a0))没有实例编辑修复了错误消息

浏览 12提问于2020-10-13得票数 2

回答已采纳

1回答

Haskell错误“(Eq a0)没有因使用.而产生的实例”

haskell

有人知道为什么下面的代码在"matchListWith eq [] []“中失败吗？) arising from a use of `matchListWith' Possible fix: addmatchListWith eq [1] [1, 3]); .... } 奇怪的是，如果

浏览 0提问于2013-12-02得票数 4

1回答

(显示a0)没有因使用“shouldBe”而产生的实例

haskell、hspec

我是哈斯克尔的新手，同时我也在努力学习。，但是0元素的测试失败了。No instance for (Show a0) arising from a use of ‘shouldBe’Note:shouldBe` ([], []) }’ it "0 elements" $ do { halve [] `shouldBe` ([], [])

浏览 6提问于2014-11-16得票数 2

2回答

Haskell没有出现(分数阶a0)的实例

haskell

我在Haskell中有以下代码：powmod base exp m | even exp = mod (pow2 * pow2) m上加载代码时没有任何问题。当我试图将函数part1调用为：我得到：没有(分数a0)因使用it' The type variablea0‘而产生的实例是模棱两可的注

浏览 0提问于2016-05-10得票数 0

2回答

lambda函数的Haskell型推理(图中)

haskell、lambda、type-inference

示例1f :: Eq t => (t,t) -> Bool -- omiting this line will result in an error另一方面，在使用map的函数中使用相同的lambda函数可以工作，而不会产生错误：(举个例子：g [(3,4),(5,5),(7,6)]将产生[Fa

浏览 2提问于2016-05-11得票数 1

1回答

没有因使用“a0”而产生(Eq ==)的实例

haskell

我对haskell很陌生，我正在尝试解决这个haskell问题，。为了验证结果，我使用Test.QuickCheck模块创建了一些测试。Elem 3, Elem 4], Elem 5]]) == [1,2,3,4,5])flatten实现是正确的，‘a0’ is ambiguous inst

浏览 3提问于2014-07-09得票数 1

回答已采纳

1回答

在Haskell中实现维纳算法-没有(RealFrac a0)因使用“Wiener”而产生的实例

haskell、cryptography

我试图在Haskell实现Wiener的算法，来自于“密码学:理论与实践”，第三版。以下是我到目前为止所写的内容： where euclid = euclidean e n尝试wiener 238123333 293719721给了我： No instance for (RealFrac a0that fixes t

浏览 3提问于2014-01-04得票数 0

回答已采纳

1回答

为什么哈斯克尔抱怨当我试图混合地板，除法和加法？

haskell

这些潜在实例存在:在“RealFrac”实例RealFrac浮点中定义的实例--在“GHC.Float”...plus中定义的涉及范围外类型的实例(使用-fprint-潜能-实例查看它们的所有类型)·表达式中的表达式这些潜在的实例存在:实例Num -在‘GH

浏览 5提问于2020-04-25得票数 1

1回答

没有因使用“it”而产生(分数a0)的实例

haskell

有人知道为什么这个代码在GHCI中失败吗？[(x^pow) / product[1.. pow] | pow <- [0.. 9]] No instance for (Fractional a0) arising from a use of ‘it’ The type variable ‘a0’ is ambiguous

浏览 4提问于2016-01-07得票数 0

回答已采纳

1回答

Haskell中的空列表没有在函数中运行，即使我有一个基本大小写检查空列表。

haskell、quicksort、empty-list

： Main.hs:29:11: error：.由于使用“qsort”而产生的类型变量‘a0’会阻止约束(Ord A0)‘被解决。可能修复:使用类型注释来指定‘a0’应该是什么。这些潜在的实例存在:实例Ord排序--在‘GHC.Classes’实例Ord整数中定义--定义在‘INTEGP-GMP-1.0.3.

浏览 6提问于2022-09-18得票数 0

回答已采纳

1回答

(Ord a0)没有因使用mymerge而产生的实例

haskell

我正在研究“Haskell中的编程”，并试图合并两个排序列表。) arising from a use of ‘mymerge’Relevant bindings include t72 :.plus 26 othersIn an equation for ‘t72’: t72 = mymerge [] [] 我怀疑这是在试图告诉我，没有足够<em

浏览 1提问于2016-12-18得票数 3

回答已采纳

1回答

使用Haskell的“可能”，输入声明[初学者的问题]

haskell、nothing、option-type、type-signature

我已经开始用Haskell做实验了，有个问题。qqq是一个功能，如果用"Nothing“调用，应该打印一个字符串，如果用”Nothing“调用，则打印其他内容。." >> print x main = qqq (Just 43) 当我试图使main = qqq (Nothing)失败时，它失败了(“约束中的”模棱两可的类型变量‘a0’：(显示a0)由于<

浏览 3提问于2011-07-16得票数 6

回答已采纳

1回答

Haskell错误:不存在(Num [[a0]]因使用“No”而产生的实例

haskell

在测试此函数时，我遇到了一个错误：let ps (x:xs) = case x of otherwise -> ps xs++ map (x:) (ps xs)这是一个完整的错误：In a statement of an

浏览 1提问于2015-10-17得票数 0

回答已采纳

1回答

Int、Double和Integer类型实例之间选择的Haskell规则

haskell

我想知道在GHCi表达式1 .+. 2中计算时，Haskell总是使用什么规则来决定Integer实例而不是其他实例The type variable ‘a0’ is ambiguous Relevant bindingsinclude x ::

浏览 10提问于2015-09-13得票数 4

回答已采纳

1回答

没有因使用‘`max’而产生的(Ord a0)的实例

haskell、operand

我是haskell的新手，我正在尝试使用operand。strangeMaths = f . g . h 但这给了我一个错误： The type variable `a0</e

浏览 3提问于2017-10-31得票数 0

1回答

因使用“a0”而产生的模糊类型变量“Ex.catch”

haskell、exception-handling

我一直在和Haskell打交道，试图理解错误处理。在这样做的时候，我试图掌握如何读取和理解GHC的输出，以便更好地调试类型错误。show (getNum i))) (\err -> putStrLn (show err)) args <- getArgs这将引发以下错误：由于使用“a0”而产生的模糊类型变量“Ex.catch”会阻止解决约束(Ex.

浏览 1提问于2016-08-26得票数 2

回答已采纳

1回答

使用文本会导致错误，即使编译器建议这样做

haskell、yesod

我可能误解了编译器的建议，但是当我试图向它传递一个Text值时，它会报错。race_No instance for (websockets-0.9.7.0:Network.WebSockets.Types.WebSock

浏览 0提问于2016-10-25得票数 1

4回答

(显示(IO ()没有因使用“打印”而产生的实例

haskell

为了学习，我在我的控制台WinGHCi上这样做了：那么，如果这样做：输出是明显的x(很明显，我不知道为什么)tail ls在一个交互式GHCi命令的</

浏览 5提问于2016-05-09得票数 6

回答已采纳

点击加载更多