shared/io.github.aplcornell.viaduct.syntax/Host

Host

data class Host(val name: String) : Name, Comparable<Host>

A participant in the distributed computation.

A host is a location that can run (one or more) processes; it has inputs and outputs.

Constructors

Link copied to clipboard
fun Host(name: String)

Functions

Link copied to clipboard
open operator override fun compareTo(other: Host): Int
Link copied to clipboard
open override fun toDocument(): Document

Returns the pretty text representation of this object.

Properties

Link copied to clipboard
open override val name: String

The given name.

Link copied to clipboard
open override val nameCategory: String

Class of things this object names.

Extensions

Link copied to clipboard
fun PrettyPrintable.commented(): Document

Like joined but using commas as separators and enclosed in /* and */.

Link copied to clipboard
operator fun PrettyPrintable.div(other: PrettyPrintable): Document

Concatenates this and other with a line break in between.

operator fun PrettyPrintable.div(other: String): Document

Convenience method. See plus.

Link copied to clipboard
fun PrettyPrintable.grouped(): Document

Tries laying out this document into a single line by removing the contained Document.lineBreaks (and replacing them with spaces); if this does not fit the page, the document is laid out without any changes. This function is the key to layouts that adapt to available space nicely.

Link copied to clipboard
fun PrettyPrintable.nested(indentationChange: Int = 4): Document

Returns a new document that is this with the nesting level (indentation after newlines) increased by indentationChange. Negative values for indentationChange are allowed, and decrease the nesting level accordingly.

Link copied to clipboard
operator fun PrettyPrintable.plus(other: PrettyPrintable): Document

Concatenates this and other.

operator fun PrettyPrintable.plus(other: String): Document

Convenience method that automatically converts other to a Document.

Link copied to clipboard
fun PrettyPrintable.styled(style: Style): Document

Returns a new document that is this with style applied.

Link copied to clipboard
operator fun PrettyPrintable.times(other: PrettyPrintable): Document

Concatenates this and other with a space in between.

operator fun PrettyPrintable.times(other: String): Document

Convenience method. See plus.