fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion • Library Modules • terminal • String • infix *

infix *

String.infix *

infix *
(
n i64
)
 ref
:
String
 is
[Module base]
[src]
repeat string given number of times
Precondition
pre
  n ≥ 0

Fields

utf8
 Sequence u8
[Redefinition of  String.utf8]
[Module base]
[src]
Comment of String.utf8any concrete string must implement utf8

redefines:

Constructors

infix *
(
n i64
)
 ref
:
String
 is
[Inherited from  String]
[Module base]
[src]
repeat string given number of times

Functions

background_black
 => 
String
[Inherited from  String]
[src]
background_blue
 => 
String
[Inherited from  String]
[src]
background_bright_black
 => 
String
[Inherited from  String]
[src]
98
99
background_bright_blue
 => 
String
[Inherited from  String]
[src]
background_bright_cyan
 => 
String
[Inherited from  String]
[src]
background_bright_green
 => 
String
[Inherited from  String]
[src]
background_bright_purple
 => 
String
[Inherited from  String]
[src]
background_bright_red
 => 
String
[Inherited from  String]
[src]
background_bright_white
 => 
String
[Inherited from  String]
[src]
background_bright_yellow
 => 
String
[Inherited from  String]
[src]
background_cyan
 => 
String
[Inherited from  String]
[src]
background_green
 => 
String
[Inherited from  String]
[src]
background_purple
 => 
String
[Inherited from  String]
[src]
background_red
 => 
String
[Inherited from  String]
[src]
background_regular_color
 => 
String
[Inherited from  String]
[src]
background_white
 => 
String
[Inherited from  String]
[src]
background_yellow
 => 
String
[Inherited from  String]
[src]
black
 => 
String
[Inherited from  String]
[src]
blue
 => 
String
[Inherited from  String]
[src]
bold
 => 
String
[Inherited from  String]
[src]
bright_black
 => 
String
[Inherited from  String]
[src]
76..89
bright_blue
 => 
String
[Inherited from  String]
[src]
bright_cyan
 => 
String
[Inherited from  String]
[src]
bright_green
 => 
String
[Inherited from  String]
[src]
bright_purple
 => 
String
[Inherited from  String]
[src]
bright_red
 => 
String
[Inherited from  String]
[src]
bright_white
 => 
String
[Inherited from  String]
[src]
bright_yellow
 => 
String
[Inherited from  String]
[src]
crossed_out
 => 
String
[Inherited from  String]
[src]
cyan
 => 
String
[Inherited from  String]
[src]
default_underline_color
 => 
String
[Inherited from  String]
[src]
dime
 => 
String
[Inherited from  String]
[src]
disable_proportional_spacing
 => 
String
[Inherited from  String]
[src]
double_underline
 => 
String
[Inherited from  String]
[src]
encircled
 => 
String
[Inherited from  String]
[src]
font_0
 => 
String
[Inherited from  String]
[src]
font_1
 => 
String
[Inherited from  String]
[src]
font_2
 => 
String
[Inherited from  String]
[src]
font_3
 => 
String
[Inherited from  String]
[src]
font_4
 => 
String
[Inherited from  String]
[src]
font_5
 => 
String
[Inherited from  String]
[src]
font_6
 => 
String
[Inherited from  String]
[src]
font_7
 => 
String
[Inherited from  String]
[src]
font_8
 => 
String
[Inherited from  String]
[src]
font_9
 => 
String
[Inherited from  String]
[src]
fraktur
 => 
String
[Inherited from  String]
[src]
framed
 => 
String
[Inherited from  String]
[src]
green
 => 
String
[Inherited from  String]
[src]
ideogram_double_overline
 => 
String
[Inherited from  String]
[src]
ideogram_double_underline
 => 
String
[Inherited from  String]
[src]
ideogram_overline
 => 
String
[Inherited from  String]
[src]
ideogram_stress_marking
 => 
String
[Inherited from  String]
[src]
ideogram_underline
 => 
String
[Inherited from  String]
[src]
italic
 => 
String
[Inherited from  String]
[src]
neither_framed_nor_encircled
 => 
String
[Inherited from  String]
[src]
neither_italic_nor_blackletter
 => 
String
[Inherited from  String]
[src]
neither_superscript_nor_subscript
 => 
String
[Inherited from  String]
[src]
no_ideogram_attributes
 => 
String
[Inherited from  String]
[src]
normal_intensity
 => 
String
[Inherited from  String]
[src]
not_blinking
 => 
String
[Inherited from  String]
[src]
not_crossed_out
 => 
String
[Inherited from  String]
[src]
not_overlined
 => 
String
[Inherited from  String]
[src]
not_reversed
 => 
String
[Inherited from  String]
[src]
not_underlined
 => 
String
[Inherited from  String]
[src]
overlined
 => 
String
[Inherited from  String]
[src]
proportional_spacing
 => 
String
[Inherited from  String]
[src]
purple
 => 
String
[Inherited from  String]
[src]
red
 => 
String
[Inherited from  String]
[src]
regular_color
 => 
String
[Inherited from  String]
[src]
reveal
 => 
String
[Inherited from  String]
[src]
reverse
 => 
String
[Inherited from  String]
[src]
set_background_set_color
 => 
String
[Inherited from  String]
[src]
set_foreground_color
 => 
String
[Inherited from  String]
[src]
set_underline_color
 => 
String
[Inherited from  String]
[src]
57
56
subscript
 => 
String
[Inherited from  String]
[src]
superscript
 => 
String
[Inherited from  String]
[src]
66..72
underline
 => 
String
[Inherited from  String]
[src]
white
 => 
String
[Inherited from  String]
[src]
yellow
 => 
String
[Inherited from  String]
[src]
0.099dev (GIT hash a35e75388cc5c7a861f5c2a3f42d121e3aab582a)
last changed: 2026-11-03