我有一个函数(让我们称它为mkSome)，它用模板Haskell构造一些数据类型。它具有典型的签名Name -> Q [Dec]。在它的主体中的某个地方，我使用模式匹配来提取另一种类型的构造函数： DataD ctx nm tyVars mbKind cs derivs -> ...这些构造函数的类型cs会像这样实例化一些类： specialValue ::
浏览 5提问于2017-12-11得票数 1
回答已采纳
假设我有以下Haskell程序：import Data.Data
deriving但是，我不想使用实际的构造函数；我只被允许使用A和gunfold的Constr。实际上，如何使用gunfold来应用构造函数，同时为每个构造函数位置提供不同的参数？越小/越有效，越好。本质上，我们使用模板Haskel
浏览 0提问于2015-05-06得票数 4
从我在web上收集到的信息来看，monad M是类型T的类型构造函数，它至少提供以下操作：
std::unique_ptr模板用于构造
浏览 0提问于2019-07-22得票数 4
回答已采纳
Haskell允许使用类型构造函数和数据构造函数构造代数数据类型。例如,我们被告知这个数据构造函数(右圆)是在给定数据时构造一个圆的函数，例如x，y，radius。Circle :: Float -> Float -> Float -> Circle
具体而言，这个函数实际上是<em
浏览 0提问于2018-07-25得票数 18
我有一些haskell样板文件，看起来像这样： { confA :: Integer , confC:: (Config -> a) -> a -> Config -> Configy = setter confB但是我不知道如何构造这样的setter函数。这在(非模板) haskell中是可能
浏览 0提问于2011-12-15得票数 6
回答已采纳
我刚刚开始使用模板haskell。我已经编写了一个函数，该函数接受函数a -> [b]并为函数b -> a生成表达式 {-# OPTIONS_GHC -Wall -Wextra -Werror #-}import Language.Haskell.TH
surj :: (Show a, Show b, Bounded a, Enum areturn $ Matc
浏览 16提问于2020-03-29得票数 7
1回答
将模板实例化导出为C函数
、、、、
我正在为一个C库创建Haskell绑定。但是，我希望将库的调用约定调整为更适合Haskell的方式，因此我创建了一个模板类，它具有一个静态方法，当您按以下方式使用它时，该方法将调用正确的方法：
Wrap<decltype(&libraryFunction我甚至可以使用&运算符获取该函数的地址，因此它显然只是一个常规函数。但是，Haskell不能使用C++模板，所以我想要做的是为所需的函数显式实例
浏览 2提问于2014-04-16得票数 0
1回答
MyClass(const MyClass& a) : MyClass<T>(a) {}
};上面的代码会导致一个委托周期。
浏览 5提问于2022-09-27得票数 1
在面向对象的编程语言中，通常有多个构造函数来设置类的对象，例如，可以通过内置int或字符串构造MyInteger对象： int _value;
main = do
...增编：从Int和String创建一个“对象”仅仅是一个很小的例
浏览 0提问于2017-12-20得票数 2
我无法从用TemplateHaskell生成的表达式中调用一些东西。假设我想使用":“操作符来构造列表。我看到了语法'(:)，但它不适合我。TemplateHaskell #-}{-# LANGUAGE QuasiQuotes #-}import Language.Ha
浏览 5提问于2021-06-22得票数 0
我在模板Haskell的帮助下创建了数据。我用$(这里的代码)从另一个程序中使用它。
那么，我可以将数据转换为.hs文件吗？我想看看数据的结构。
浏览 1提问于2016-03-26得票数 1
回答已采纳
Fs在haskell程序中，没有空格、引号或额外的函数。
最后，我定义了35个构造函数，从Cbb到Bss。虽然这件事起了作用，也确实使事故发生得很好，但我对最多只能发生两起事故的限制感到不快。是否有一种方法可以像标题中指出的那样定义无限数量的构造函数，所以可以使用带有任意数量意外(如Cbbbb)的注释吗？模板haskell可能吗？，或者，我可以方便地在haskell程序中编写Cbbbb (没有引号、空格或额外的<em
浏览 3提问于2021-03-29得票数 0
在使用模板haskell的haskell项目中，我试图生成一个将类型注释作为幻影类型的表达式。GenMe (w :: Foo) = GenMe Int
我如何编写一个像genType这样的函数提升只是提升保存编译时间Foo值的变量？我不知道从中使用哪个构造函数来生成数据类型。
浏览 1提问于2017-10-12得票数 2
回答已采纳
我从大量的问题中可以看出，cpp是Haskell源代码的常用预处理程序，但它并不适合这项工作。还有其他选择吗？具体地说：
whitespace;' Haskell语法是新行敏感的，空间/缩进敏感的--与C不同，因此cpp只是践踏哈斯克尔中的字符文字，但也可能是标识符的一部分(在这种情况下，它不会被配对) --我正在尝试生成一个宏，以便根据instance类型的参数和相应的数据构造函数生成一个newtype。它需要生成实例头和约束以及方法绑定。只需将构造函数<
浏览 6提问于2022-09-18得票数 4
关于，我在考虑如何使用Haskell从Python中的Haskell表示无限的数据结构(其中没有任何非构造函数)。
不幸的是，我没有发现像左撇子的这个伟大的中那样优雅的东西。有没有类似的优雅方法来表示从Haskell到Python的无限数据结构？
浏览 7提问于2022-02-24得票数 -4
回答已采纳
1回答
我编译了一个Haskell源代码包，将FFI实现为一个(.so)动态库。我想在OCaml中调用通过FFI导出的函数。> ()其中，readEffects是通过FFI导出的Haskell源的Quelea.Shim模块中的一个函数，具有以下签名
foreign export ccall readEffects :: CString -
浏览 0提问于2016-11-27得票数 4
回答已采纳
1回答
它允许在计算或拼接一些元素的同时构造一个列表。evaluated
⇒ (1 2 3 9) ; (3 9) has been spliced into the list 我猜，在Haskell
浏览 27提问于2019-04-20得票数 4
3回答
(每次我打印时都会调用它)，而对于第二个，我打算将通常派生的show版本从构造函数名获取为字符串。当然，这不起作用(循环定义)，因为ghci不知道我对"show“这个词的单独含义，但我不知道如何让他知道区别，因为两个版本都需要命名show，第一个版本是print调用的，第二个版本是预定义的haskell函数，它可以从构造函数名中给出字符串。个构造函数组成
浏览 3提问于2012-10-10得票数 6
回答已采纳
在我的项目中，我创建了一个模板，这样我就可以从一个专门的类派生，但是包含了我自己的方法。现在我有一个问题，就是我不能调用构造函数，这对于我想要使用的每个类来说都是不同的。
浏览 2提问于2021-03-08得票数 1
回答已采纳
1回答
x来自模板中的for循环，即我无法从Haskell代码访问它。span>• Illegal variable name: ‘if’显然，#{...}解析器中没有实现Haskell
浏览 6提问于2018-08-31得票数 0
回答已采纳
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号