package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
doc/octez-libs.stdlib/Tezos_stdlib/TzString/index.html
Module Tezos_stdlib.TzString
Source
split delim ~limit str
splits str
into a list of strings. Splitting occurs on delim
characters (which are removed from output) at most limit
times. Remaining delim
characters are included in the last element of the resulting list.
limit
defaults to max_int
.
This function obeys the invariant that for all limit
s, delim
s and str
s: String.concat (String.init 1 (fun _ -> delim)) (split delim ~limit str) = str
.
Splits a string on a delimiter character. It strips delimiters at the beginning and at the end. It considers groups of delimiters as one. If limit
is passed, stops after limit
split(s). limit
defaults to max_int
. It's guaranteed to never produce empty strings in the output. Therefore, it's capable of producing an empty list as a result.
For example, split_no_empty ',' ",hello,,world,"
returns "hello"; "world"
chunk_bytes n b
chunks the sequence of bytes b
into a list of strings, each of length n
. The last chunk may be a non-empty string of length less than n
, in which case the behaviour of the function depends on whether error_on_partial_chunk
is set:
- If
error_on_partial_chunk
is set, then the function returnsError error_on_partial_chunk
, - Otherwise, the function return the list of chunks, where the last chunk is a non-empty string of length less than
n
.
true
if input has prefix
Some (input with prefix
removed), if string has prefix
, else None
Some (input with suffix
removed), if string has suffix
, else None
Length of common prefix of input strings
Test whether a string contains a given character
Functional iteration over the characters of a string from first to last
Pretty print bytes as hexadecimal string.