Uses of Class
com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAVectorType

Packages that use JPRATypeModelType.JPRAVectorType

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

Uses of JPRATypeModelType.JPRAVectorType in com.io7m.jpra.runtime.java

Subclasses of JPRATypeModelType.JPRAVectorType in com.io7m.jpra.runtime.java

Modifier and Type	Class and Description
static class	JPRATypeModel.JPRAVector Immutable implementation of JPRATypeModelType.JPRAVectorType.

Methods in com.io7m.jpra.runtime.java with parameters of type JPRATypeModelType.JPRAVectorType

Modifier and Type	Method and Description
static JPRATypeModel.JPRAVector	JPRATypeModel.JPRAVector.copyOf(JPRATypeModelType.JPRAVectorType instance) Creates an immutable copy of a JPRATypeModelType.JPRAVectorType value.
A	JPRATypeModelType.JPRATypeMatcherType.onVector(JPRATypeModelType.JPRAVectorType t) Match a vector type.