purescript

3熱度

1回答

我正在使用Affjax和launchAff這個簡單的程序。 import Network.HTTP.Affjax as Affjax import Control.Monad.Aff (launchAff) test1 = launchAff $ do Affjax.get "/api" 這給了我下面的錯誤 58 test1 = launchAff $ do Affjax.get "/a

15熱度

3回答

如何在手稿中表達這一點？

比方說，我有一個接口A： interface A { foo: number bar: string } 而且我有一個泛型類型Option： type Option<T> = { map:() => T } 然後我從A和Option創建一個新的接口B： interface B { foo: Option<number> bar: Opt

1熱度

1回答

爲什麼我的效果被調用兩次？

我有用Eff s和Aff s編寫的以下程序。按預期運行。這是它打印出給定的Int，它做了異步計算。 type JsonResponse = AffjaxResponse Json access :: forall e m. Aff (ajax :: AJAX | e) (Either Error JsonResponse) access = attempt $ get "http://loca

2熱度

1回答

定義常量函數的習慣用法

免責聲明：我是purescript的新手，還沒有找到令人驚歎但有點壓倒性的類型系統。說我想要一個忽略它的參數並始終返回相同值的函數。手動定義這是一個匿名函數是沒有問題的： (\_ -> 42) <$> [true, false] -- => [42, 42] 但我不知道是否有這樣做的更地道（和簡潔）的方式。 Data.Const可能涉及，但我還沒有弄清楚如何使用它。類似(getConst

1熱度

1回答

如何使用類型約束與已存在

data Foo a = Foo a 我可以創造的Existshttps://github.com/purescript/purescript-exists [(mkExists (Foo 0)), (mkExists (Foo "x"))] 如何使用類型類的數組？我想["0", "x"] getStrings :: Array (Exists Foo) -> Array String

0熱度

2回答

我可以使用一些`map`或`apply`來濃縮這個表達式嗎？

我有這樣的代碼，我想這凝結 runFn someFn $ toArray a1 $ toArray a2 $ toArray a3 $ toArray a4 我會想象像 runFn someFn <$> fmap toArray [a1, a2, a3, a4] 在這種情況下runFn someFn將創建一個部分應用功能，正等待它缺少的參數，然後得到逐一應用於數組的元素。我必須承認我不知

0熱度

2回答

如何從PureScript中的符號返回Maybe值？

我試圖從使用符號的函數返回一個Maybe值，但我似乎無法讓它工作。這個函數的字符串（「文件名」），並在搜索路徑... findIn :: String -> Path -> Maybe Path findIn search start = do file <- ls start if ((filename file) == search) then Just fi

3熱度

1回答

（Purescript）我如何在作爲「空型」

我在PureScript以下代數數據類型的代數數據類型，模式匹配... data Extended a = Infinite | Finite a v1 = Finite 11 v2 = Infinite 我有麻煩弄清楚如何模式匹配「無限」的情況下，因爲它看起來v2有forall t140. Extended t140類型。我假設t140是編譯器自動填充的某種佔位符。v1的類型是Exte

1熱度

2回答

如何連接字符串和變量以便變量中的引號被轉義？

我使用的是readJSON，如果有錯誤，則產生Left err。有時候這個錯誤（一個字符串）包含引號，例如。 G。 ReferenceError: "JSON" is not defined.我需要返回該錯誤包裹在一個JSON字符串，有點像 Left err -> "{ \"error\" : \"The error is: " ++ (show err) ++ "\" }" （需要的show

3熱度

1回答

定義「整數乘法」給定一個半羣半羣

，我想定義「整數乘法」正式的「做事N次」的概念： intMul n s == s <> s <> ... <> s在正確的sñOCCURENCES對於任何Intn和Semigroups。這似乎是一個合理的通用概念，所以我想這裏有一個代數/組理論結構。如果存在，這個結構的名稱是什麼，它是由一個標準的purescript庫提供的？如果我需要自己寫這個：對於每個半羣的實現將是相同的。這是否意味着類型