@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.