Zulip Chat Archive

Stream: Is there code for X?

Topic: Check if s is a substring of t


Scott Morrison (Mar 23 2023 at 04:27):

I can't find the function that checks is s is a substring of t... Surely this is somewhere. We have String.startsWith and String.endsWith.

Kyle Miller (Mar 23 2023 at 05:09):

docs4#String.replace and docs4#String.splitOn are close but not quite right

Matthew Ballard (Mar 23 2023 at 11:22):

I think the fastest way currently is passing to .data and using the corresponding predicate on lists


Last updated: Dec 20 2023 at 11:08 UTC