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

时间:2017-09-24 09:12:39

标签: string list purescript

我试图解决的问题如下所示,取一个地址字符串:

"Street, City, State"

并将其拆分为["Street", "City", "State"],为了做到这一点,我尝试使用elemIndex,如:

elemIndex "," "a, b, c"

但我意识到这违反了

的类型签名
elemIndex :: String -> List String -> Maybe Int

并尝试使用字符进行变体操作,因为[Char]String属于同一类型。

elemIndex ',' "a, b, c"

但这也会导致类型错误。如果elemIndex不适合解决此问题,哪个函数适合执行此操作。

1 个答案:

答案 0 :(得分:2)

我认为您正在寻找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