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

Question

我试图解决的问题看起来像这样，取一个地址字符串：

"Street, City, State"

并将其拆分为 ["Street", "City", "State"]，为此，我尝试使用 elemIndex，例如：

elemIndex "," "a, b, c"

但我意识到这违反了

的类型签名

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

并尝试了字符的变体，因为 [Char] 和 String 是同一类型。

elemIndex ',' "a, b, c"

但这也会导致类型错误。如果elemIndex不适合解决这个问题，哪个函数适合做这个

Answer 1

我认为您正在寻找 split 函数。类型定义如下：

split :: Pattern -> String -> Array String

您应该按如下方式使用它：

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

您可以在此处查看其文档：https://pursuit.purescript.org/packages/purescript-strings/3.3.0/docs/Data.String#v:split