## 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.

Copyright © 2017 <code@io7m.com> http://io7m.com