# Uses of Package
com.io7m.jpra.model.types

- Packages that use com.io7m.jpra.model.types
  Package | Description
  --- | ---
  com.io7m.jpra.compiler.core.checker | Type checking.
  com.io7m.jpra.compiler.java | Java backend for the compiler.
  com.io7m.jpra.model.contexts | Context types.
  com.io7m.jpra.model.types | Types.

- Classes in com.io7m.jpra.model.types used by com.io7m.jpra.compiler.core.checker
  Class and Description
  Size A size value.
  SizeUnitBitsType An empty type indicating that a given size value is in bits.
  SizeUnitType An empty type used to indicate the units of size expressions.
  TFloat A floating point type expression.
  TIntegerType The type of `integer` types.
  TType The type of types.

- Classes in com.io7m.jpra.model.types used by com.io7m.jpra.compiler.java
  Class and Description
  TArray An `array` type expression.
  TBooleanSet A `boolean-set` type.
  TFloat A floating point type expression.
  TIntegerSigned A `signed` integer type expression.
  TIntegerSignedNormalized A `signed-normalized` type expression.
  TIntegerType The type of `integer` types.
  TIntegerUnsigned An `unsigned` integer type expression.
  TIntegerUnsignedNormalized An `unsigned-normalized` integer type expression.
  TMatrix A `matrix` type expression.
  TPacked A `packed` type.
  TPacked.FieldType The type of packed fields.
  TRecord A `record` type.
  TString A `string` type expression.
  TVector A `vector` type expression.
  TypeIntegerMatcherType The type of `integer` type expression matchers.
  TypeMatcherType A type matcher.
  TypeUserDefinedType The type of user defined types.

- Classes in com.io7m.jpra.model.types used by com.io7m.jpra.model.contexts
  Class and Description
  TypeUserDefinedType The type of user defined types.

- Classes in com.io7m.jpra.model.types used by com.io7m.jpra.model.types
  Class and Description
  Size A size value.
  SizeUnitBitsType An empty type indicating that a given size value is in bits.
  SizeUnitOctetsType An empty type indicating that a given size value is in octets.
  SizeUnitType An empty type used to indicate the units of size expressions.
  TArray An `array` type expression.
  TBooleanSet A `boolean-set` type.
  TFloat A floating point type expression.
  TIntegerSigned A `signed` integer type expression.
  TIntegerSignedNormalized A `signed-normalized` type expression.
  TIntegerType The type of `integer` types.
  TIntegerUnsigned An `unsigned` integer type expression.
  TIntegerUnsignedNormalized An `unsigned-normalized` integer type expression.
  TMatrix A `matrix` type expression.
  TPacked A `packed` type.
  TPacked.FieldMatcherType The type of field matchers.
  TPacked.FieldPaddingBits A packed padding field.
  TPacked.FieldType The type of packed fields.
  TPacked.FieldValue A packed value field.
  TPackedBuilderType The type of mutable records for `TPacked` values.
  TRecord A `record` type.
  TRecord.FieldMatcherType The type of field matchers.
  TRecord.FieldPaddingOctets A record padding field.
  TRecord.FieldType The type of record fields.
  TRecord.FieldValue A record value field.
  TRecordBuilderType The type of mutable records for `TRecord` values.
  TRecords.TypeLookupFailed The type of lookup failures.
  TRecords.TypeLookupSucceeded The type of successful lookups.
  TRecords.TypeLookupType The type of lookup results.
  TString A `string` type expression.
  TType The type of types.
  TVector A `vector` type expression.
  TypeIntegerMatcherType The type of `integer` type expression matchers.
  TypeMatcherType A type matcher.
  TypeScalarMatcherType The type of scalar type matchers.
  TypeScalarType The type scalar types.
  TypeUserDefinedMatcherType The type of user-defined type matchers.
  TypeUserDefinedType The type of user defined types.

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