purescript

    1熱度

    1回答

    我是purescript的新手。這是我正在學習的書Leanpub-purescript。我不明白什麼是翻轉功能。這與交換概念相似嗎? > :type flip forall a b c. (a -> b -> c) -> b -> a -> c 這意味着a value goes to b, then b to a, then c is itself??。我對此感到震驚。請解釋翻頁概念,如果我

    0熱度

    1回答

    我試圖從Phil Freeman的PureScript書的第6.7節完成練習5。練習要我爲以下類型編寫一個Foldable實例。 data NonEmpty a = NonEmpty a (Array a) 我已經寫了這個實例,通過執行foldMap。 instance foldableNonEmpty :: Foldable a => Foldable NonEmpty where

    2熱度

    1回答

    試圖使用(.)作爲函數組合,但它不起作用。在PureScript import Data.String (length, trim) trimmedLength :: String -> Int trimmedLength = length . trim

    0熱度

    1回答

    我試圖解決看起來像這樣的問題,需要一個地址字符串: "Street, City, State" ,並把它分割成["Street", "City", "State"],爲了做到這一點,我試圖用elemIndex,如: elemIndex "," "a, b, c" ,但我意識到這違反了類型簽名 elemIndex :: String -> List String -> Maybe Int

    2熱度

    1回答

    我試圖基於數據的陣列上創建一個記錄來創建記錄,該功能是這樣的: type Address = { street :: String, city :: String, state :: String } convertToAddress :: Array String -> Maybe Address convertToAddress [street, city

    1熱度

    1回答

    經過一段時間的搜索後,我在追蹤模塊DOM.HTML.History中發現數據類型爲DocumentTitle。這種類型很可能與功能一起使用 replaceState :: ∀ e. Foreign -> DocumentTitle -> URL -> History -> Eff (history :: HISTORY | e) Unit 然而,爲了改變頁面的document.tit

    9熱度

    2回答

    我在閱讀Purescript通過示例並介紹了讀者單元的部分。示例如下: createUser :: Reader Permissions (Maybe User) createUser = do permissions <- ask if hasPermission "admin" permissions then map Just newUser els

    0熱度

    1回答

    語境 makeAff ∷ ∀ eff a. ((Either Error a → Eff eff Unit) → Eff eff (Canceler eff)) → Aff eff a https://github.com/slamdata/purescript-aff/blob/master/src/Control/Monad/Aff.purs#L365 問題 Either Error a

    0熱度

    1回答

    我的目標是調用遠程api以便在啓動時填充Purescript Thermite組件,爲此我需要(我認爲)組件不是直接的事件處理程序可在鋁熱劑,而是由低級別暴露的反應綁定Purescript反應的 所以我嘗試使用createReactSpec功能添加componentDidMount事件偵聽器,但我得到涉及剛性類型的類型不匹配變量,我沒有明白(我對purescript/haskell相當陌生)。 感

    0熱度

    1回答

    我正在嘗試attempt和Aff計算。請看下面的代碼: result <- pool # withPool \connection -> do execute_ ("insert into user (email, password) values ('" <> unwrap userInfo.email <> "', '" <> unwrap userInfo