@NonNullByDefault

# Package com.io7m.jpra.model.types

Types.

See: Description

- Interface Summary
  Interface | Description
  --- | ---
  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.
  TIntegerType | The type of `integer` types.
  TPacked.FieldMatcherType<A,E extends Exception> | The type of field matchers.
  TPacked.FieldType | The type of packed fields.
  TPackedBuilderType | The type of mutable records for `TPacked` values.
  TRecord.FieldMatcherType<A,E extends Exception> | The type of field matchers.
  TRecord.FieldType | The type of record fields.
  TRecordBuilderType | The type of mutable records for `TRecord` values.
  TRecords.TypeLookupType | The type of lookup results.
  TType | The type of types.
  TypeIntegerMatcherType<A,E extends Exception> | The type of `integer` type expression matchers.
  TypeMatcherType<A,E extends Exception> | A type matcher.
  TypeScalarMatcherType<A,E extends Exception> | The type of scalar type matchers.
  TypeScalarType | The type scalar types.
  TypeUserDefinedMatcherType<A,E extends Exception> | The type of user-defined type matchers.
  TypeUserDefinedType | The type of user defined types.

- Class Summary
  Class | Description
  --- | ---
  Size<U extends SizeUnitType> | A size value.
  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.
  TIntegerUnsigned | An `unsigned` integer type expression.
  TIntegerUnsignedNormalized | An `unsigned-normalized` integer type expression.
  TMatrix | A `matrix` type expression.
  TPacked | A `packed` type.
  TPacked.FieldPaddingBits | A packed padding field.
  TPacked.FieldValue | A packed value field.
  TRecord | A `record` type.
  TRecord.FieldPaddingOctets | A record padding field.
  TRecord.FieldValue | A record value field.
  TRecords | Functions over record types.
  TRecords.TypeLookupFailed | The type of lookup failures.
  TRecords.TypeLookupSucceeded | The type of successful lookups.
  TString | A `string` type expression.
  TVector | A `vector` type expression.

## Package com.io7m.jpra.model.types Description

Types.

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