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

Packages that use TypeExprString

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

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

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

Modifier and Type	Method and Description
static JPRACompilerCheckerException	JPRACompilerCheckerException.stringEncodingNotSupported(TypeExprString<IdentifierType,Untyped> e, String encoding, com.gs.collections.api.set.ImmutableSet<String> encodings)

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

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

Modifier and Type	Method and Description
A	TypeExprMatcherType.matchExprString(TypeExprString<I,T> e) Match a string expression.