文件名称：ghc-typelits-presburger:内置类型级自然变量的Presburger算术求解器
文件大小：48KB
文件格式：ZIP
更新时间：2024-04-02 07:32:33
haskell dependent-types solver ghc type-level-programming
ghc-typelits-presburger和singletons-presburger -GHC插件，用于使用Presburger算术求解器改进类型级别的天然singletons-presburger 使用Presburger算术求解器，此monorepo中的程序包增强了GHC中的类型级特性。 粗略地说，它在编译时自动解决由加法，常数因子乘法和（不）等式表示的约束。 从0.3.0.0开始，与软件包的集成被分离到另一个插件 。 如果您需要处理singletons包裹，请改用它。 用法 将此软件包添加到您的构建依赖项中，并在程序顶部添加以下编译指示。 {-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-} 从0.5开始，不需要在相关性上增加equational-reasoning 。 但是，如果要解决涉及equational-rea
【文件预览】：
ghc-typelits-presburger-master
----stack-9.0.1.yaml(406B)
----stack-8.6.5.yaml(138B)
----.dir-locals.el(164B)
----ghc-typelits-presburger()
--------Changelog.md(571B)
--------package.yaml(2KB)
--------ghc-typelits-presburger.cabal(3KB)
--------hie.yaml(283B)
--------test()
--------LICENSE(1KB)
--------src()
--------Setup.hs(46B)
--------examples()
--------.gitignore(1KB)
--------README.md(1KB)
----.github()
--------FUNDING.yml(718B)
--------workflows()
----stack.yaml(19B)
----stack-8.8.4.yaml(99B)
----.mergify.yml(387B)
----.gitignore(1KB)
----singletons-presburger()
--------Changelog.md(281B)
--------package.yaml(2KB)
--------hie.yaml(177B)
--------LICENSE(1KB)
--------src()
--------Setup.hs(46B)
--------examples()
--------singletons-presburger.cabal(3KB)
--------README.md(1KB)
----stack-8.10.4.yaml(119B)
----README.md(2KB)
----.hlint.yaml(38B)
----stack-8.10.3.yaml(108B)
----.vscode()
--------settings.json(394B)