Encapsulates a string with associated ANSI colors and text decorations.
This is your primary data-type when you are dealing with colored fansi strings.
Contains some basic string methods, as well as some ansi methods to e.g.
apply particular colors or other decorations to particular sections of
the fansi.Str. render flattens it out into a java.lang.String
with all the colors present as ANSI escapes.
Avoids using Scala collections operations in favor of util.Arrays,
giving 20% (on ++
) to >1000% (on splitAt
, subString
and Str.parse
) speedups
- Companion:
- object
Value members
Concrete methods
Retrieve the character of this string at the given character index
Retrieve the character of this string at the given character index
Returns a copy of the character array backing this fansi.Str
, in case
you want to use it to
Returns a copy of the character array backing this fansi.Str
, in case
you want to use it to
Retrieve the color of this string at the given character index
Retrieve the color of this string at the given character index
Returns a copy of the colors array backing this fansi.Str
, in case
you want to use it to
Returns a copy of the colors array backing this fansi.Str
, in case
you want to use it to
The plain-text length of this fansi.Str, in UTF-16 characters (same
as .length
on a java.lang.String
). If you want fancy UTF-8 lengths,
use .plainText
The plain-text length of this fansi.Str, in UTF-16 characters (same
as .length
on a java.lang.String
). If you want fancy UTF-8 lengths,
use .plainText
Converts this fansi.Str into a java.lang.String
, including all
the fancy fansi colors or decorations as fansi escapes embedded within
the string. "Terminates" colors at the right-most end of the resultant
java.lang.String
, making it safe to concat-with or embed-inside other
java.lang.String
without worrying about fansi colors leaking out of it.
Converts this fansi.Str into a java.lang.String
, including all
the fancy fansi colors or decorations as fansi escapes embedded within
the string. "Terminates" colors at the right-most end of the resultant
java.lang.String
, making it safe to concat-with or embed-inside other
java.lang.String
without worrying about fansi colors leaking out of it.