Skip to main content

function

print

print[*Ts: Stringable](*values: *Ts, *, flush: Bool = 0, file: FileDescriptor = 1)

Prints elements to the text stream. Each element is separated by a whitespace and followed by a newline character.

Parameters:

  • *Ts (Stringable): The elements types.

Args:

  • *values (*Ts): The elements to print.
  • flush (Bool): If set to true, then the stream is forcibly flushed.
  • file (FileDescriptor): The output stream.

print[*Ts: Stringable, *, EndTy: Stringable](*values: *Ts, *, end: EndTy, flush: Bool = 0, file: FileDescriptor = 1)

Prints elements to the text stream. Each element is separated by a whitespace and followed by end.

Parameters:

  • *Ts (Stringable): The elements types.
  • EndTy (Stringable): The type of end argument.

Args:

  • *values (*Ts): The elements to print.
  • end (EndTy): The String to write after printing the elements.
  • flush (Bool): If set to true, then the stream is forcibly flushed.
  • file (FileDescriptor): The output stream.

print[SepTy: Stringable, *Ts: Stringable](*values: *Ts, *, sep: SepTy, flush: Bool = 0, file: FileDescriptor = 1)

Prints elements to the text stream. Each element is separated by sep and followed by a newline character.

Parameters:

  • SepTy (Stringable): The type of separator.
  • *Ts (Stringable): The elements types.

Args:

  • *values (*Ts): The elements to print.
  • sep (SepTy): The separator used between elements.
  • flush (Bool): If set to true, then the stream is forcibly flushed.
  • file (FileDescriptor): The output stream.

print[SepTy: Stringable, EndTy: Stringable, *Ts: Stringable](*values: *Ts, *, sep: SepTy, end: EndTy, flush: Bool = 0, file: FileDescriptor = 1)

Prints elements to the text stream. Each element is separated by sep and followed by end.

Parameters:

  • SepTy (Stringable): The type of separator.
  • EndTy (Stringable): The type of end argument.
  • *Ts (Stringable): The elements types.

Args:

  • *values (*Ts): The elements to print.
  • sep (SepTy): The separator used between elements.
  • end (EndTy): The String to write after printing the elements.
  • flush (Bool): If set to true, then the stream is forcibly flushed.
  • file (FileDescriptor): The output stream.