haskell - 使用 TemplateHaskell 将字符串编译为 Exp-6ren

haskell - 使用 TemplateHaskell 将字符串编译为 Exp

转载作者：行者123 更新时间：2023-12-02 00:02:21

24

4

我正在寻找一种方法将有效的 Haskell 表达式代码字符串编译为 TH Exp .

例如，如果存在适当的函数，我希望它的行为如下:

> $(theFunctionImLookingFor "\a -> a + 1") 2
3

我已经在寻找 quoteExp :: String -> Q Exp 的实现为基础 QuasiQuoter 的 [e|..|] ，但它似乎是魔术，没有。

最佳答案

您要找的函数是Language.Haskell.Meta.Parse.parseExp在 haskell-src-meta

关于haskell - 使用 TemplateHaskell 将字符串编译为 Exp，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/20557624/

24

4

0

文章推荐： types - Elisp 原子类型分类

文章推荐： cordova - Phonegap 支持 Indexeddb

文章推荐： scala - Akka 路由 : Reply's send to router ends up as dead letters

haskell - TemplateHaskell 编译时的内存使用情况
在我的 Haskell 项目之一的 RuzzSolver 中使用 TemplateHaskell 时，我遇到了内存消耗问题。 Sources of RuzzSolver are available o
haskell - TemplateHaskell 似乎没有报告需要导入什么功能
这个导入: import Data.Singletons.TH ( FalseSym0, FromEnum, MaxBound, MinBound,
haskell - 在 TemplateHaskell 中使用列表
Here's the tutorial I'm working from . 他有一个例子，tupleReplicate ，它返回一个函数，该函数接受一个值并复制它: tupleReplicate :
haskell - 如何获取 TemplateHaskell 命名变量的文字值
如果我有 Name 在 TemplateHaskell 中并想找出它命名的变量的值，前提是该变量被声明为文字，可以这样做吗？ var = "foo" -- Can `contentsOf` be de
haskell - 如何在 TemplateHaskell 引用中捕获类型变量
我正在尝试编写一个 Lift 实例，它不仅可以提升构造函数，还可以提升其类型变量。例如，以 Proxy a 为例。我需要一个 Lift 实例，这样当拼接 lift (Proxy @Int) 时，GHC
haskell - TemplateHaskell 和 IO
如果使用副作用，是否有任何适当的方法可以使 TH 的功能安全？说，我想要一个在编译时调用 git 并生成版本字符串的函数: {-# LANGUAGE TemplateHaskell #-} modul
haskell - 从 TemplateHaskell 中的文件中读取模块
因此，大多数 TemplateHaskell 的准引号都有一个选项，您可以从文件中读取准引号字符串，而不是像 [quoter|... some code ...|] 这样在括号中输入它。 . 我想知道
haskell - 使用 TemplateHaskell 列出命名空间中的所有名称
我想要一个 TemplateHaskell 函数 variablesInScope::Q [Name]，它返回范围内所有变量的 Name 列表。 TemplateHaskell 显然可以使用此信息来实
haskell - TemplateHaskell 未安装...那么它是
我正在用 Haskell 编写一个程序，它涉及很多括号。因此，为了清理这个丑陋的困惑局面，我使用了几次 $ 运算符以使其更易于阅读。例如: longFunc arg1 (anotherFunc (ye
c - 是否可以在运行时生成并运行 TemplateHaskell 生成的代码？
是否可以在运行时生成并运行 TemplateHaskell 生成的代码？使用 C，在运行时，我可以: 创建函数的源代码，调用 gcc 将其编译为 .so (linux)(或使用 llvm 等)，
haskell - 如何在相对于正在编译的文件的文件上使用 TemplateHaskell 的 addDependentFile？
我想要我的 TemplateHaskell 表达式，它使用 IO 并依赖于文件 MyDependency.txt , 在更改该文件时重新计算。因此我使用 addDependentFile "MyDe
haskell - 使用 TemplateHaskell 将字符串编译为 Exp
我正在寻找一种方法将有效的 Haskell 表达式代码字符串编译为 TH Exp . 例如，如果存在适当的函数，我希望它的行为如下: > $(theFunctionImLookingFor "\a -
haskell - 在 TemplateHaskell 中，我如何确定导入的模块已被重命名？
我正在编写一些 TemplateHaskell 来将 QuickCheck 样式规范串在一起。我要求每个包含属性的模块都导出一个名为“axiom_set”的符号。然后，我的 checkAxioms 函
haskell - 错误消息 "Perhaps you intended to use TemplateHaskell "
关闭。这个问题是not reproducible or was caused by typos .它目前不接受答案。这个问题是由于错别字或无法再重现的问题引起的。虽然类似的问题可能是on-topi
haskell - 为什么 TemplateHaskell 会导致 GHC 加载包？
我有一个简单的模板 Haskell 程序，它打印当前模块的名称(主要，这里): {-# LANGUAGE TemplateHaskell #-} module Main ( main ) where

首页

博学

6Ren·AI

商城

haskell - 使用 TemplateHaskell 将字符串编译为 Exp