Uses of Class
com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector

Packages that use JPRATypeModel.JPRAVector

Package	Description
com.io7m.jpra.runtime.java	Runtime components.

Uses of JPRATypeModel.JPRAVector in com.io7m.jpra.runtime.java

Methods in com.io7m.jpra.runtime.java that return JPRATypeModel.JPRAVector

Modifier and Type	Method and Description
static JPRATypeModel.JPRAVector	JPRATypeModel.JPRAVector.copyOf(JPRATypeModelType.JPRAVectorType instance) Creates an immutable copy of a JPRATypeModelType.JPRAVectorType value.
static JPRATypeModel.JPRAVector	JPRATypeModel.JPRAVector.of(int length, JPRATypeModelType.JPRAScalarType elementType) Construct a new immutable JPRAVector instance.
JPRATypeModel.JPRAVector	JPRATypeModel.JPRAVector.withElementType(JPRATypeModelType.JPRAScalarType value) Copy the current immutable object by setting a value for the elementType attribute.
JPRATypeModel.JPRAVector	JPRATypeModel.JPRAVector.withLength(int value) Copy the current immutable object by setting a value for the length attribute.