Package net.hydromatic.morel.type
Class ListType
- java.lang.Object
-
- net.hydromatic.morel.type.BaseType
-
- net.hydromatic.morel.type.ListType
-
-
Field Summary
Fields Modifier and Type Field Description TypeelementType
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> Raccept(TypeVisitor<R> typeVisitor)ListTypecopy(TypeSystem typeSystem, UnaryOperator<Type> transform)Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.Type.Keykey()Description of the type, e.g.-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface net.hydromatic.morel.type.Type
moniker, substitute
-
-
-
-
Field Detail
-
elementType
public final Type elementType
-
-
Constructor Detail
-
ListType
ListType(Type elementType)
-
-
Method Detail
-
key
public Type.Key key()
Description copied from interface:TypeDescription 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:TypeCopies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.
-
-