Uses of Class
com.io7m.jpra.model.types.TFloat

Packages that use TFloat

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.java	Java backend for the compiler.
com.io7m.jpra.model.types	Types.

Uses of TFloat in com.io7m.jpra.compiler.core.checker

Methods in com.io7m.jpra.compiler.core.checker with parameters of type TFloat

Modifier and Type	Method and Description
static JPRACompilerCheckerException	JPRACompilerCheckerException.matrixFloatSizeNotSupported(TFloat e, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)
static JPRACompilerCheckerException	JPRACompilerCheckerException.vectorFloatSizeNotSupported(TFloat e, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)

Uses of TFloat in com.io7m.jpra.compiler.java

Methods in com.io7m.jpra.compiler.java with parameters of type TFloat

Modifier and Type	Method and Description
com.io7m.jfunctional.Unit	PackedFieldInterfaceProcessor.matchFloat(TFloat t)
com.io7m.jfunctional.Unit	PackedFieldImplementationProcessor.matchFloat(TFloat t)

Uses of TFloat in com.io7m.jpra.model.types

Methods in com.io7m.jpra.model.types with parameters of type TFloat

Modifier and Type	Method and Description
A	TypeMatcherType.matchFloat(TFloat t) Match a float type.
A	TypeScalarMatcherType.matchScalarFloat(TFloat t) Match a float type.