hydra.lib.equality.Identity Maven / Gradle / Ivy
package hydra.lib.equality;
import hydra.Flows;
import hydra.compute.Flow;
import hydra.core.Name;
import hydra.core.Term;
import hydra.core.Type;
import hydra.graph.Graph;
import hydra.tools.PrimitiveFunction;
import java.util.List;
import java.util.function.Function;
import static hydra.dsl.Types.function;
import static hydra.dsl.Types.lambda;
public class Identity extends PrimitiveFunction {
public Name name() {
return new Name("hydra/lib/equality.identity");
}
@Override
public Type type() {
return lambda("x", function("x", "x"));
}
@Override
protected Function
© 2015 - 2025 Weber Informatics LLC | Privacy Policy