Class ListType

  • All Implemented Interfaces:
    Type

    public class ListType
    extends BaseType
    The type of a list value.
    • Field Detail

      • elementType

        public final Type elementType
    • Constructor Detail

      • ListType

        ListType​(Type elementType)
    • Method Detail

      • key

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

        public <R> R accept​(TypeVisitor<R> typeVisitor)
      • copy

        public ListType 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.