构造函数的纯脚本 FFI 类型定义

Purescript FFI type definitions for constructor functions

本文关键字：类型 定义 FFI 脚本 构造函数      更新时间：2023-09-26

我正在尝试使用 PureScripts 外部函数接口包装钛 api 的一部分，但我在确定函数的类型定义应该是什么时遇到了麻烦。

module Ti where
  foreign import data Window :: *
  foreign import window
    """ function (config) {
      return function () {
        return Ti.UI.createWindow(config);
      }
    } """ :: ??? -> Window
    foreign import open
    """ function (window) {
      return function () {
        window.open();
        return window;
      }
    } """ :: Window -> Window
    main = do
      w <- window ???
      open w

您可以考虑使用 purescript-foreign 库中的 Foreign 类型作为参数类型，并与 purescript-options 库一起构造适当的选项对象。

我在这里写了一个关于purescript-options库的简短指南，项目存储库中还有另一个示例。

相关文章：