如何从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 

您应该按如下方式使用它