Package net.hydromatic.morel.type

Class ApplyType

  • All Implemented Interfaces:
    Type
    public class ApplyType
extends BaseType
    Type that is a polymorphic type applied to a set of types.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      Type type  
      com.google.common.collect.ImmutableList<Type> types  

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected ApplyType​(Type type, com.google.common.collect.ImmutableList<Type> types, java.lang.String description)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      <R> R accept​(TypeVisitor<R> typeVisitor)  
      Type copy​(TypeSystem typeSystem, java.util.function.Function<Type,​Type> transform)
      Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • type

        public final Type type

      • types

        public final com.google.common.collect.ImmutableList<Type> types

    • Constructor Detail

      • ApplyType

        protected ApplyType​(Type type,
                    com.google.common.collect.ImmutableList<Type> types,
                    java.lang.String description)

    • Method Detail

      • accept

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

      • copy

        public Type copy​(TypeSystem typeSystem,
                 java.util.function.Function<Type,​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.