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

Packages that use JPRATypeModelType.JPRAFloatType

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

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

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

Modifier and Type	Class and Description
static class	JPRATypeModel.JPRAFloat The type of jpra float types.

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

Modifier and Type	Method and Description
static JPRATypeModel.JPRAFloat	JPRATypeModel.JPRAFloat.copyOf(JPRATypeModelType.JPRAFloatType instance) Creates an immutable copy of a JPRATypeModelType.JPRAFloatType value.
A	JPRATypeModelType.JPRAScalarMatcherType.onFloat(JPRATypeModelType.JPRAFloatType t) Match a float type.