template-haskell 相关问题

模板Haskell是Haskell的GHC扩展,增加了编译时元编程工具。这允许用户编写在编译时生成或修改程序的程序:一种编译时宏。

Haskell语言读取文件

我有txt 客户信息中有= [客户{customerId = 1,firstName =“Charlotte”,lastName =“White”,年龄= 56,电子邮件=“[email protected]”,余额= 5645...

回答 1 投票 0

Haskell 模板中带单引号的名称

通常,当使用 Template Haskell 时,绑定和数据构造函数的名称通过在它们前面加上单引号来引用: showName, justName :: 名称 显示名称 = '显示 justName = '只是

回答 1 投票 0

有没有办法让 `cabal` 来检测非 Haskell 源文件的更改?

我正在使用模板 haskell 将非 Haskell 文件的内容包含在我的一些代码中,然后解析和使用该内容。我使用 cabal 作为构建工具时遇到的问题是

回答 1 投票 0

如何在Template Haskell中获取GADT的术语名称?

如果我有 GADT,例如: 数据包 (m::Msg) (d::Dir) 其中 GetResourcesPkt :: Pkt 'ResourcesM '询问 我的资源...

回答 1 投票 0

TemplateHaskell 的 addDependentFile 当文件不存在时不起作用

我希望在依赖文件更改时重新编译 TemplateHaskell 表达式,并且如果它不存在,请使用后备文件。但是一旦创建了依赖文件,我也想重新编译。

回答 1 投票 0

使用 Dump 库打印表达式失败

我想打印正在测试的属性以及导致失败的参数。因此,我尝试使用转储包中的 Debug.Dump 来解决问题的第二部分。这我...

回答 1 投票 0

如何捕获此 TH 代码创建的命名值

这是我的模板 Haskell 代码 objectGIDDeclaration :: String -> Integer -> Q [Dec] objectGIDDeclaration dnameSTR gid = pure fDec 在哪里 dname = dnameSTR <>“GID” fDec = [

回答 2 投票 0

如何捕获此 TH 代码创建的声明

这是我的模板 Haskell 代码 objectGIDDeclaration :: String -\> Integer -\> Q \[Dec\] objectGIDDeclaration dnameSTR gid = pure fDec 在哪里 dname = dnameSTR \<\> "GID" ...

回答 0 投票 0

Haskell 中编译时参数的混淆值

在我的 Haskell 应用程序中,我实现了以下将敏感信息传递给二进制文件的机制(不求助于 CLI 参数): 我使用 TemplateHaskell 机制来阅读

回答 1 投票 0

在模板Haskell中定义递归函数

我想为ADT(起初很简单)实现一个通用的递归运算符。 (简单意味着仅对于其参数类型为已定义参数的构造函数。)一般的想法是能够使用...

回答 1 投票 1

Haskell,Control.Lens:无法将类型“ [[Language.Haskell.TH.Syntax.Dec]””与“ Language.Haskell.TH.Syntax.Exp”

我想学习如何使用Control.Lens包。我尝试使用官方教程。首先,我没有Control.Lens.Tutorial包。重现示例是否重要?我开始了GHCi ...

回答 1 投票 1

HASKELL语言中我们自己的数据类型的最大值

假设我在haskell中将自己的数据类型设为:data List a = ListNode a(List a)| ListEnd如何实现自定义的最大值函数,以查找列表的最大值,例如:...

回答 2 投票 0

Haskell。返回一个数字列表,其中至少存在一个与“ n”

给出数字“ lst”和数字“ n”的列表。返回一个数字列表,其中至少有一个与“ n”相同的数字。数字系统被认为是十进制。该函数应...

回答 1 投票 0


用于通过haskell元编程进行跟踪/记录的提取上下文

在我们的haskell代码库中,业务逻辑与跟踪和日志记录代码交织在一起。这可能会使业务逻辑模糊,并使之难以理解和调试。我正在寻找有关如何...

回答 2 投票 6

使用Haskell模板生成TExp

我刚开始使用模板haskell。我已经编写了一个函数,该函数采用函数a-> [b]并为函数b-> a生成表达式:{-#OPTIONS_GHC -Wall -Wextra -Werror#...

回答 1 投票 6

如何将[TExp a]转换为TExp [a],或者以编程方式将fineTH应用于多个值?

最近,我一直在Haskell中将精炼用于精炼类型,并且遇到了主要的可用性问题。我不知道如何在编译时优化整个值列表。对于...

回答 2 投票 2

如何将[TExp a]转换为TExp [a],或者以编程方式将fineTH应用于多个值?

最近,我一直在Haskell中将精炼用于精炼类型,并且遇到了主要的可用性问题。我不知道如何在编译时优化整个值列表。对于...

回答 1 投票 2

在Haskell中计算N-Ary(具有不同类型的!!)笛卡尔积

我知道函数序列可以处理[[1,2],[3,4]]-> [[1,3],[1,4],[2,3],[2,4] ]问题。但是我认为真正的笛卡尔积应该处理([[1,2],['a','b'])-> [(...

回答 3 投票 7

如何检查我的生成无限列表的函数的实现?

编写一个使用函数f和数字n并返回列表[fn,f(n + 1),f(n + 2),f(n + 3),f(n + 4)的函数。 ]。这是我的解决方案:func f n = f n:func f(n + 1)但我是...

回答 1 投票 2

© www.soinside.com 2019 - 2024. All rights reserved.