文件名称：gloss-idris:从Haskell到Idris的光泽度库的端口
文件大小：518KB
文件格式：ZIP
更新时间：2024-05-22 09:15:57
Idris
光泽鸢尾 基于版本1.11.1.1的光泽库从Haskell到Idris的端口。 经本·利普迈尔（Ben Lippmeier）的友好许可。 与Haskell版本的差异 仅PNG-目前仅支持PNG而不是BMP的加载（用于加载PNG文件的C绑定已经存在于因此我只是将其用于我的目的） 仅限GLEW-暂不支持GLUT，因为它已完全过时，应替换为GLEW。 不幸的是，我们失去了文本渲染功能。 请注意，GLUT仍用于字体渲染 原始的Haskell光泽度库本身分为光泽度和光泽渲染。 我将这两个库都集成到了该库中，因为我认为将其拆分给Idris没有意义。 同样，由于Idris缺乏像cabal这样的适当的软件包管理系统，项目中对第三方库的过多依赖也会变得很烦人。 如果将来确实需要分离光泽渲染功能，则可以很容易地做到这一点。 同样，原始的Haskell光泽度库具有大量的示例，这些示例均分布在光泽度示例库中。