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