Package net.hydromatic.morel.type

Class ProgressiveRecordType

java.lang.Object
net.hydromatic.morel.type.BaseType
net.hydromatic.morel.type.RecordType
net.hydromatic.morel.type.ProgressiveRecordType
All Implemented Interfaces:
RecordLikeType, Type
public class ProgressiveRecordType extends RecordType
Progressive record type.

  • Constructor Details

    • ProgressiveRecordType

      ProgressiveRecordType(SortedMap<String,Type> argNameTypes)
      Creates a ProgressiveRecordType.

  • Method Details

    • isProgressive

      public boolean isProgressive()
      Description copied from interface: Type
      Returns whether this type is progressive.

      Progressive types are records, but can have additional fields each time you look.

      The "file" value is an example.

    • 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
      Overrides:
      key in class RecordType