我试图解决的问题如下所示,取一个地址字符串:
"Street, City, State"
并将其拆分为["Street", "City", "State"]
,为了做到这一点,我尝试使用elemIndex
,如:
elemIndex "," "a, b, c"
但我意识到这违反了
的类型签名elemIndex :: String -> List String -> Maybe Int
并尝试使用字符进行变体操作,因为[Char]
和String
属于同一类型。
elemIndex ',' "a, b, c"
但这也会导致类型错误。如果elemIndex
不适合解决此问题,哪个函数适合执行此操作。
答案 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