Package net.hydromatic.morel.type

Class TupleType

java.lang.Object
net.hydromatic.morel.type.BaseType
net.hydromatic.morel.type.TupleType
All Implemented Interfaces:
RecordLikeType, Type
public class TupleType extends BaseType implements RecordLikeType
The type of a tuple value.

  • Field Details

  • Constructor Details

    • TupleType

      TupleType(List<? extends Type> argTypes)

  • Method Details

    • argNameTypes

      public SortedMap<String,Type> argNameTypes()
      Description copied from interface: RecordLikeType
      Returns a map of the field types, keyed by field names.
      Specified by:
      argNameTypes in interface RecordLikeType

    • argNames

      public List<String> argNames()
      Description copied from interface: RecordLikeType
      Returns a list of field names.
      Specified by:
      argNames in interface RecordLikeType

    • argTypes

      public List<Type> argTypes()
      Description copied from interface: RecordLikeType
      Returns a list of field types, ordered by field names.
      Specified by:
      argTypes in interface RecordLikeType

    • argType

      public Type argType(int i)
      Description copied from interface: RecordLikeType
      Returns the type of the ith field, or throws.
      Specified by:
      argType in interface RecordLikeType

    • accept

      public <R> R accept(TypeVisitor<R> typeVisitor)
      Specified by:
      accept in interface Type

    • key

      public Type.Key key()
      Description copied from interface: Type
      Description of the type, e.g. "int", "int -> int", " NONE | SOME of 'a".
      Specified by:
      key in interface Type

    • copy

      public TupleType copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
      Description copied from interface: Type
      Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.
      Specified by:
      copy in interface Type

    • specializes

      public boolean specializes(Type type)
      Description copied from interface: Type
      Whether this type is the same as, or a specialization of, a given type.

      For example, bool specializes bool and 'a but does not specialize int or ('a, 'b).

      Specified by:
      specializes in interface Type

    • ordinalNames

      public static List<String> ordinalNames(int size)
      Returns a list of strings ["1", ..., "size"].

    • recordMap

      static <E> com.google.common.collect.ImmutableSortedMap<String,E> recordMap(List<? extends E> argTypes)
      Given a list of types [t1, t2, ..., tn] returns a sorted map ["1" : t1, "2" : t2, ... "n" : tn].