purescript

0熱度

2回答

我很努力實現以下目標：我的API請求的輸入方式是返回一個期望的值，或者當狀態碼未指示成功時返回錯誤，或者身份驗證令牌已無效等：Either String r。現在，我不想關心它，當我的組件查詢eval。我只對快樂的路徑感興趣（預期的錯誤，如無效登錄嘗試被認爲是開心路徑，只是想讓意想不到的東西脫離它），並且錯誤應該在全球範圍內統一處理（向總線發送一些通知）。對於這一點，我已經創建變壓器堆棧： t

2熱度

1回答

如何解決此Purescript錯誤：無法與{...}匹配（...）？

我有一個狀態鹵素成分，包括像這樣的鏡頭： import Optic.Core (Lens', lens) type State = { userName :: String , password :: String , formError :: String } _userName :: Lens' State String _userName =

0熱度

1回答

統一記錄類型

作爲練習，我試圖定義一個NEWTYPE作爲功能的持有者，可以轉換Show -able值Eff學分，即： newtype ShEff a = ShEff (forall eff. Show a => a -> Eff eff Unit) 然而，這樣的： f :: forall a. ShEff a f = ShEff logShow 失敗，此錯誤編譯： Could not match ty

3熱度

1回答

獲取當前時間/日期purescript

這似乎是一個奇怪的問題，但我已經通過了purescript-datetime和purescript-js-date，我只是無法找到一種方法來獲得當前DateTime。有一些隱藏的庫函數嗎？還是必須通過FFI？

2熱度

1回答

如何在PureScript中使用單個生產者加入多個協同消費者？

我認爲我已經開始瞭解協同程序的生產者和消費者，但我最困難的時候是以有用的方式將消費者和生產聯繫在一起。如果我有這樣的製片人APIEvent ... type ID = String data APIEvent = Connecting | Fail String | Success String derive instance gAPIEvent :: Gen

4熱度

1回答

究竟是什麼被認爲是對PureScript庫的重大改變？

Rust社區對它們的語義版本解釋有一個fairly detailed description。的PureScript社區有this，其中包括：我們應該寫初學者semver教程，特別是其在PureScript使用，我們依靠〜-versions的方式。奇怪的是，看着65個隨機purescript庫的分類，他們都使用^ -versions而不是〜-versions，但我一直無法找到任何更新的文檔，

4熱度

2回答

在Purescript中的地道的Haskell RLE

所以，我試圖通過轉換我從99 Haskell Problems得到的Haskell代碼來學習Purescript，並且很快進入了一種我知道如何解決它的情況，但這只是太醜陋了™。這裏是問題10,11和12的哈斯克爾代碼;基本上一些RLE編碼和解碼功能： -- Problem 10 rle :: Eq α => [α] -> [(Int, α)] rle [] = [] rle (x:xs)

1熱度

1回答

PureScript「內部」量化類型

我認爲我得到了錯誤的術語 - 讓我知道我應該用什麼來代替下面的內容。在PureScript by Example, section 8.17 Mutable State，還有的runST類型的討論： runST :: forall a eff. (forall h. Eff (st :: ST h | eff) a) -> Eff eff a 這裏需要注意的一點是，區域類型h的括號內量化的功

1熱度

1回答

Error vs ErrorEvent - 在Purescript中使用catchException來處理異常

我試圖從Read PureScript by Example book複製一個示例。我收到此錯誤： Could not match type Error with type ErrorEvent 這是我一直在使用，試圖讓這個例子的POC代碼。 import Prelude import Control.Monad.Eff import Control.Mona

0熱度

1回答

一個新類型的外部導入超過一個記錄

如果我有一些javascript json數據，我可以foreign import那個數據超過一個用戶定義的newtype，但帶有一個子集的實際數據嗎？例如：在JavaScript ： exports.foo = {foo: "foo", bar: "bar"} 在purescript： newtype Foo = Foo {foo :: String} foreign import fo