purescript

5熱度

1回答

我在使用PureScript類型類時遇到了問題。我不得不說，我不是Haskell的專家，所以我很抱歉，如果這些都是明顯的錯誤。我嘗試了幾種不同的方法，併爲每個方法打了一堵牆。我基本上試圖爲圖的邊界定義一個show函數。一種方法是這樣的： module Foo where data Edge n = Edge { from :: n, to :: n } instance showEdge

3熱度

1回答

記錄PureScript

我不明白爲什麼這個工程： module Records where type Element e = { element :: String, label :: String | e } type Sel = (value :: Number, values :: [Number]) type Select = Element Sel 雖然這說Cannot unify # * wit

0熱度

1回答

加入做代碼塊，停止代碼執行

foreign import subscribeEventedOnPrime "function subscribeEventedOnPrime(n){ \ \ return function(fn){ \ \ return function(obj){ \ \ return function(){ \ \ obj.add

2熱度

1回答

purescript入門

我剛開始學習purescript後purescript by example，但我堅持在Chapter2 using grunt project templates結束。我按照說明進行操作，但是當我運行繁重的命令，我得到這個錯誤： /Users/chad/playground/purescript/tests/tmp/node_modules/Control.Monad.Eff.Random/i

3熱度

1回答

PureScript類型系統名稱

PureScript中使用的類型系統的正確學術名稱是什麼？我正在尋找有關這方面的文件，並證明它是正確的。特別是，當類型系統允許將異常解決爲隱藏通信通道問題時，當想要拋出一個私有異常類型的實例，並將其通過有效的計算傳遞給catch處理程序而不需要將該類型暴露給計算和在那裏捕捉它的可能性，這將很高興確認這是正確的。

1熱度

1回答

構造函數的Purescript FFI類型定義

我試圖用PureScripts外部函數接口來包裝鈦api的部分，但我遇到問題應該是函數的類型定義。 module Ti where foreign import data Window :: * foreign import window """ function (config) { return function() { return

1熱度

1回答

與Purescript

我正在通過Purescript示例教程，我有麻煩類型排隊使用左作爲這種摺疊匿名函數類型的問題左邊的摺疊是 Cannot unify Prim.Function u13116 with Data.Maybe.Maybe 我相信類型排隊，但我不能讓這個錯誤的正面或反面。此外，是否有可能清理匿名函數的語法讓 foldl(\acc i -> smallerFile(acc i)) Just(x) x

1熱度

1回答

purescript-鏡頭組成類型錯誤

我想用purescript-lens更新嵌套記錄的屬性。然而，當我撰寫的鏡頭獲得的財產，我得到以下類型的錯誤： Warning: Error at src/Main.purs line 150, column 38 - line 152, column 3: Error in declaration performAction Cannot unify { description :: u24