hydra.graph.Primitive Maven / Gradle / Ivy

Go to download
package hydra.graph;

/**
 * A built-in function
 */
public class Primitive {
  public static final hydra.core.Name NAME = new hydra.core.Name("hydra/graph.Primitive");
  
  /**
   * The unique name of the primitive function
   */
  public final hydra.core.Name name;
  
  /**
   * The type signature of the primitive function
   */
  public final hydra.core.Type type;
  
  /**
   * A concrete implementation of the primitive function
   */
  public final java.util.function.Function>, hydra.compute.Flow, hydra.core.Term>> implementation;
  
  public Primitive (hydra.core.Name name, hydra.core.Type type, java.util.function.Function>, hydra.compute.Flow, hydra.core.Term>> implementation) {
    this.name = name;
    this.type = type;
    this.implementation = implementation;
  }
  
  @Override
  public boolean equals(Object other) {
    if (!(other instanceof Primitive)) {
      return false;
    }
    Primitive o = (Primitive) (other);
    return name.equals(o.name) && type.equals(o.type) && implementation.equals(o.implementation);
  }
  
  @Override
  public int hashCode() {
    return 2 * name.hashCode() + 3 * type.hashCode() + 5 * implementation.hashCode();
  }
  
  public Primitive withName(hydra.core.Name name) {
    return new Primitive(name, type, implementation);
  }
  
  public Primitive withType(hydra.core.Type type) {
    return new Primitive(name, type, implementation);
  }
  
  public Primitive withImplementation(java.util.function.Function>, hydra.compute.Flow, hydra.core.Term>> implementation) {
    return new Primitive(name, type, implementation);
  }
}