如何從Data.List中的字符串在PureScript中使用`elemIndex`？

Question

我試圖解決看起來像這樣的問題，需要一個地址字符串：

"Street, City, State" 

，並把它分割成["Street", "City", "State"]，爲了做到這一點，我試圖用elemIndex，如：

elemIndex "," "a, b, c" 

，但我意識到這違反了類型簽名

elemIndex :: String -> List String -> Maybe Int 

並嘗試了一個字符變體beca使用[Char]和String是相同的類型。

elemIndex ',' "a, b, c" 

但這也會導致類型錯誤。如果elemIndex不適合解決此問題，那麼哪種功能適用於此操作。

Answer 1

我認爲您正在尋找split函數。類型定義如下：

split (Pattern ", ") "Street, City, State" 

你可以在這裏查看它的文檔：https://pursuit.purescript.org/packages/purescript-strings/3.3.0/docs/Data.String#v:split

split :: Pattern -> String -> Array String 

您應該按如下方式使用它