Documentation Index
Fetch the complete documentation index at: https://docs.canton.network/llms.txt
Use this file to discover all available pages before exploring further.
DA.Text
Functions for working with Text.Module Snapshot
Lifecycle
Stable.
Notices
Status:
active
Introduced in: 3.4.9
Removed in: -
Warnings: 0
Deprecations: 0
Deprecated since: -Functions
explode
implode
isEmpty
isNotEmpty
length
trim
replace
lines
Text value up into a list of Text’s at newline
symbols. The resulting texts do not contain newline symbols.
unlines
words
unwords
linesBy
lines with a custom test. In particular, if there
is a trailing separator it will be discarded.
wordsBy
words with a custom test. In particular, adjacent
separators are discarded, as are leading or trailing separators.
intercalate
intercalate inserts the text argument t in between the items
in ts and concatenates the result.
dropPrefix
dropPrefix drops the given prefix from the argument. It returns
the original text if the text doesn’t start with the given prefix.
dropSuffix
stripSuffix
stripPrefix
stripPrefix function drops the given prefix from the
argument text. It returns None if the text did not start with
the prefix.
isPrefixOf
isPrefixOf function takes two text arguments and returns
True if and only if the first is a prefix of the second.
isSuffixOf
isSuffixOf function takes two text arguments and returns
True if and only if the first is a suffix of the second.
isInfixOf
isInfixOf function takes two text arguments and returns
True if and only if the first is contained, wholly and intact,
anywhere within the second.
takeWhile
takeWhile, applied to a predicate p and a text,
returns the longest prefix (possibly empty) of symbols that satisfy
p.
takeWhileEnd
p and a
‘Text’, returns the longest suffix (possibly empty) of elements
that satisfy p.
dropWhile
dropWhile p t returns the suffix remaining after takeWhile p t.
dropWhileEnd
dropWhileEnd p t returns the prefix remaining after dropping
symbols that satisfy the predicate p from the end of t.
splitOn
splitAt
0 <= n <= length t,
length (fst (splitAt n t)) == n.
take
take n, applied to a text t, returns the prefix of t of
length n, or t itself if n is greater than the length of t.
drop
drop n, applied to a text t, returns the suffix of t after
the first n characters, or the empty Text if n is greater
than the length of t.
substring
l in the argument
text starting at s.
isPred
isPred f t returns True if t is not empty and f is True
for all symbols in t.
isSpace
isSpace t is True if t is not empty and consists only of
spaces.
isNewLine
isSpace t is True if t is not empty and consists only of
newlines.
isUpper
isUpper t is True if t is not empty and consists only of
uppercase symbols.
isLower
isLower t is True if t is not empty and consists only of
lowercase symbols.
isDigit
isDigit t is True if t is not empty and consists only of
digit symbols.
isAlpha
isAlpha t is True if t is not empty and consists only of
alphabet symbols.
isAlphaNum
isAlphaNum t is True if t is not empty and consists only of
alphanumeric symbols.
parseInt
Int value from a given Text.
parseNumeric
Numeric value from a given Text.
To get Some value, the text must follow the regex
(-|\+)?[0-9]+(\.[0-9]+)?
In particular, the shorthands ".12" and "12." do not work,
but the value can be prefixed with +.
Leading and trailing zeros are fine, however spaces are not.
Examples:
parseDecimal
Decimal value from a given Text.
To get Some value, the text must follow the regex
(-|\+)?[0-9]+(\.[0-9]+)?
In particular, the shorthands ".12" and "12." do not work,
but the value can be prefixed with +.
Leading and trailing zeros are fine, however spaces are not.
Examples:
sha256
Text, and returns it in its hex-encoded
form. The hex encoding uses lowercase letters.
This function will crash at runtime if you compile Daml to Daml-LF < 1.2.
reverse
Text.
toCodePoints
Text into a sequence of unicode code points.
fromCodePoints
Text. Raises an
exception if any of the code points is invalid.
asciiToLower
Text to lowercase;
all other characters remain unchanged.
asciiToUpper
Text to uppercase;
all other characters remain unchanged.