构造函数的Purescript FFI类型定义

Question

我正在尝试使用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

Answer 1

您可以考虑使用Foreign库中的purescript-foreign类型作为参数类型，以及purescript-options库来构造相应的选项对象。

我已经编写了purescript-options库here的简短指南，项目存储库中还有另一个示例。