How to split and join strings¶

Note

$::str::split and $::str::join are not yet implemented. This page documents what is currently available for string manipulation.

Available string operations¶

You can work with character vectors using the implemented primitives:

Select a substring with take and drop:

      5↑'Hello, world!'
Hello

      7↓'Hello, world!'
world!

Concatenate strings:

      'Hello',', ','world!'
Hello, world!

Find a character in a string:

      'Hello, world!'⍳'o'
5