## Uses of Interface
com.io7m.jpra.model.types.TType

- Packages that use TType
  Package | Description
  --- | ---
  com.io7m.jpra.compiler.core.checker | Type checking.
  com.io7m.jpra.model.types | Types.

- - ### Uses of TType in com.io7m.jpra.compiler.core.checker

    Methods in com.io7m.jpra.compiler.core.checker that return types with arguments of type TType
    Modifier and Type | Method and Description
    --- | ---
    `StatementCommandType<IdentifierType,TType>` | JPRACheckerType.`checkCommandType(StatementCommandType<IdentifierType,Untyped> s)` Check a `:type` command.
    `StatementCommandType<IdentifierType,TType>` | JPRAChecker.`checkCommandType(StatementCommandType<IdentifierType,Untyped> s)`
    `TypeDeclType<IdentifierType,TType>` | JPRACheckerType.`checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)` Check a type declaration.
    `TypeDeclType<IdentifierType,TType>` | JPRAChecker.`checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)`
    `TypeExprType<IdentifierType,TType>` | JPRACheckerType.`checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)` Check a type expression.
    `TypeExprType<IdentifierType,TType>` | JPRAChecker.`checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)`

    Method parameters in com.io7m.jpra.compiler.core.checker with type arguments of type TType
    Modifier and Type | Method and Description
    --- | ---
    `static JPRACompilerCheckerException` | JPRACompilerCheckerException.`packedNonIntegerType(PackedFieldDeclValue<IdentifierType,Untyped> r, TypeExprType<IdentifierType,TType> rvt)`

  - ### Uses of TType in com.io7m.jpra.model.types

    Subinterfaces of TType in com.io7m.jpra.model.types
    Modifier and Type | Interface and Description
    --- | ---
    `interface` | `TIntegerType` The type of `integer` types.
    `interface` | `TypeScalarType` The type scalar types.

    Classes in com.io7m.jpra.model.types that implement TType
    Modifier and Type | Class and Description
    --- | ---
    `class` | `TArray` An `array` type expression.
    `class` | `TBooleanSet` A `boolean-set` type.
    `class` | `TFloat` A floating point type expression.
    `class` | `TIntegerSigned` A `signed` integer type expression.
    `class` | `TIntegerSignedNormalized` A `signed-normalized` type expression.
    `class` | `TIntegerUnsigned` An `unsigned` integer type expression.
    `class` | `TIntegerUnsignedNormalized` An `unsigned-normalized` integer type expression.
    `class` | `TMatrix` A `matrix` type expression.
    `class` | `TPacked` A `packed` type.
    `class` | `TRecord` A `record` type.
    `class` | `TString` A `string` type expression.
    `class` | `TVector` A `vector` type expression.

    Methods in com.io7m.jpra.model.types that return TType
    Modifier and Type | Method and Description
    --- | ---
    `TType` | TArray.`getElementType()`
    `TType` | TRecord.FieldValue.`getType()`

    Methods in com.io7m.jpra.model.types with parameters of type TType
    Modifier and Type | Method and Description
    --- | ---
    `void` | TRecordBuilderType.`addField(FieldName name, IdentifierType id, TType type)` Add a value field.

    Constructors in com.io7m.jpra.model.types with parameters of type TType
    Constructor and Description
    `TArray(Optional<com.io7m.jlexing.core.ImmutableLexicalPositionType<Path>> in_lex, Size<?> in_size, TType in_type)` Construct an `array` type expression.
    `TypeLookupFailed(TType in_t, FieldName in_name, com.gs.collections.api.list.ImmutableList<FieldName> in_rest)` Construct a failure.
    `TypeLookupSucceeded(TType in_result)` Construct a success result.

Copyright © 2016 <code@io7m.com> http://io7m.com