Class EtaData

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<EtaData>

    public class EtaData
    extends java.lang.Object
    implements java.io.Serializable, java.lang.Comparable<EtaData>
    See Also:
    Serialized Form
    • Field Detail

      • TYPE_

        public static final Name TYPE_
        Name of the hydra.scala.syntax.EtaData type.
      • EXPR

        public static final Name EXPR
        Name of the hydra.scala.syntax.EtaData.expr field.
      • expr

        public final Data expr
    • Constructor Detail

      • EtaData

        public EtaData​(Data expr)
        Constructs an immutable EtaData.
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object other)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • compareTo

        public int compareTo​(EtaData other)
        Specified by:
        compareTo in interface java.lang.Comparable<EtaData>