Package net.hydromatic.morel.type

Interface RecordLikeType

All Superinterfaces:

Type

All Known Implementing Classes:

PrimitiveType, ProgressiveRecordType, RecordType, TupleType

public interface RecordLikeType
extends Type

A type that has named fields, as a record type does.

Nested Class Summary

Nested classes/interfaces inherited from interface net.hydromatic.morel.type.Type

Type.Key

Method Summary

Modifier and Type	Method	Description
default List<String>	argNames()	Returns a list of field names.
SortedMap<String,Type>	argNameTypes()	Returns a map of the field types, keyed by field names.
Type	argType(int i)	Returns the type of the ith field, or throws.
default List<Type>	argTypes()	Returns a list of field types, ordered by field names.
default @Nullable TypedValue	asTypedValue()	Returns a TypedValue if this type wraps a single dynamically typed value, otherwise null.

Methods inherited from interface net.hydromatic.morel.type.Type

accept, arg, canCallArgOf, copy, isCollection, isFinite, isProgressive, key, moniker, op, specializes, substitute, unifyWith

Method Details

argNameTypes

SortedMap<String,Type> argNameTypes()

Returns a map of the field types, keyed by field names.

argTypes

default List<Type> argTypes()

Returns a list of field types, ordered by field names.

argNames

default List<String> argNames()

Returns a list of field names.

argType

Type argType(int i)

Returns the type of the ith field, or throws.

asTypedValue

default @Nullable TypedValue asTypedValue()

Returns a TypedValue if this type wraps a single dynamically typed value, otherwise null.