Package hydra.eval.lib

Interface Equality

public interface Equality

Evaluation-level implementations of Equality functions for the Hydra interpreter.

Method Summary

Static Methods

Modifier and Type	Method	Description
static <T0,T1,T2,T3> Either<T3,T2>	identity(T0 cx, T1 g, T2 x)
static <T0,T1,T2> Either<T2,Term>	max(T0 cx, T1 g, Term x, Term y)
static <T0,T1,T2> Either<T2,Term>	min(T0 cx, T1 g, Term x, Term y)

Method Detail

identity

static <T0,T1,T2,T3> Either<T3,T2> identity(T0 cx,
                                                                    T1 g,
                                                                    T2 x)

max

static <T0,T1,T2> Either<T2,Term> max(T0 cx,
                                                        T1 g,
                                                        Term x,
                                                        Term y)

min

static <T0,T1,T2> Either<T2,Term> min(T0 cx,
                                                        T1 g,
                                                        Term x,
                                                        Term y)