Uses of Class
com.io7m.jpra.model.type_expressions.TypeExprMatrix

Packages that use TypeExprMatrix

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.model.type_expressions	Type expressions.

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

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

Modifier and Type	Method and Description
static JPRACompilerCheckerException	JPRACompilerCheckerException.matrixNonScalarElement(TypeExprMatrix<IdentifierType,Untyped> e)
static JPRACompilerCheckerException	JPRACompilerCheckerException.matrixNotSupported(TypeExprMatrix<IdentifierType,Untyped> e, BigInteger tw, BigInteger th, com.gs.collections.api.list.ImmutableList<com.io7m.jfunctional.Pair<com.io7m.jranges.RangeInclusiveB,com.io7m.jranges.RangeInclusiveB>> supported)

Uses of TypeExprMatrix in com.io7m.jpra.model.type_expressions

Methods in com.io7m.jpra.model.type_expressions with parameters of type TypeExprMatrix

Modifier and Type	Method and Description
A	TypeExprMatcherType.matchExprMatrix(TypeExprMatrix<I,T> e) Match a matrix expression.