purescript

    2熱度

    2回答

    我試圖用FFI導入下面的JavaScript函數到PureScript映射0參數的JavaScript函數: function getGreeting() { return "Hi, welcome to the show." } ,但我不知道該類型應該是什麼。最近我得到的是這樣的: foreign import getGreeting :: Unit -> String 我想

    1熱度

    1回答

    我想我可能會錯過purescript-dom模塊中的一個關鍵功能,將其從節點轉換爲特定的元素類型。例如,如果我有一個Event,我可以使用DOM.Events.Events.target來獲取節點,但看起來像獲得特定元素的唯一方法是使用unsafeCoerce,例如, import DOM.Event.Event (target) import DOM.HTML.HTMLInputElement

    2熱度

    1回答

    我正在使用purescript-halogen,並且當子組件的消息被捕獲時我想滾動到div的底部。 但是,它似乎不存在,在鹵素滾動行動控制。 所以,我怎麼能 Scroll to bottom of div? 一個解決方案,我認爲是在事件捕獲的其他這一號召,不是鹵素,過程從主。 我不確定這個解決方案不壞。

    2熱度

    1回答

    我與一個類型級權限的系統試驗,我試圖以禁止不從相同的「源」來源值的分配,即: data A = A { a :: Value, b :: Value } modify :: A -> A modify (A v) = A $ v { a = v.a } -- should work modify (A v) = A $ v { a = v.b } -- should *NOT* work

    1熱度

    1回答

    我正在關注設置任務列表的各種Thermite教程。唯一有很多解釋的教程也相當不合時宜,所以我正在修改它以適應當前的Thermite。但是,我有一個不能使數據類型匹配的調用。 import Optic.Lens (lens) import Optic.Prism (prism) import Optic.Types (Prism', Lens') import Thermite as T

    2熱度

    2回答

    我是Purescript的新手,我正在嘗試編寫一個函數,它可以取得任何記錄值並迭代字段和值並構建 查詢字符串。 我想是這樣的: buildQueryString :: forall a. PropertyTraversible r => r -> String ,我想用這樣的: buildQueryString {name: "joe", age: 10} -- returns: "name

    1熱度

    1回答

    以下PureScript代碼: fibs 0 = 1 fibs 1 = 1 fibs n = fibs (n-1) + fibs (n-2) 編譯爲以下JavaScript: var fibs = function (v) { if (v === 0) { return 1; }; if (v === 1) { return 1;

    1熱度

    1回答

    試圖走出purescript FFI,並按照「Purescript按示例」一書中,我創建了一個JS文件,以獲得一個數組的頭: exports.head = function(arr) { return arr[0]; }; 而且在purescript我宣佈一個新的Undefined數據頭的類型簽名,以表示undefined時返回數組是空的: foreign import data

    0熱度

    1回答

    我有以下purescript代碼: class Node a where parentNode :: forall b. (Node b) => a -> b 但是當編譯這個我得到以下錯誤: A cycle appears in the definition of type synonym Node Cycles are disallowed because they can le

    0熱度

    1回答

    我基本上需要知道如何寫這樣的功能... joinCommands :: forall e1 e2 e3 . Union e1 e2 e3 => Eff e1 Unit -> Eff e2 Unit -> Eff e3 Unit joinCommands fn1 fn2 = do fn1 fn2 不工作的一個聯盟。我得到這個錯誤: [