Package hydra.testing

Class TestCase.EtaExpansion

java.lang.Object

hydra.testing.TestCase

hydra.testing.TestCase.EtaExpansion

All Implemented Interfaces:

Serializable, Comparable<TestCase>

Enclosing class:

TestCase

public static final class TestCase.EtaExpansion
extends TestCase
implements Serializable

An eta expansion test

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.testing.TestCase

TestCase.AlphaConversion, TestCase.CaseConversion, TestCase.DeannotateTerm, TestCase.DeannotateType, TestCase.DelegatedEvaluation, TestCase.EtaExpansion, TestCase.Evaluation, TestCase.FlattenLetTerms, TestCase.FoldOverTerm, TestCase.FreeVariables, TestCase.HoistCaseStatements, TestCase.HoistLetBindings, TestCase.HoistPolymorphicLetBindings, TestCase.HoistSubterms, TestCase.Inference, TestCase.InferenceFailure, TestCase.JoinTypes, TestCase.JsonCoder, TestCase.JsonDecode, TestCase.JsonEncode, TestCase.JsonParser, TestCase.JsonRoundtrip, TestCase.JsonWriter, TestCase.LiftLambdaAboveLet, TestCase.NormalizeTypeVariables, TestCase.PartialVisitor<R>, TestCase.RewriteTerm, TestCase.RewriteType, TestCase.Serialization, TestCase.SimplifyTerm, TestCase.SubstInType, TestCase.TopologicalSort, TestCase.TopologicalSortBindings, TestCase.TopologicalSortSCC, TestCase.TypeChecking, TestCase.TypeCheckingFailure, TestCase.TypeReduction, TestCase.UnifyTypes, TestCase.UnshadowVariables, TestCase.VariableOccursInType, TestCase.Visitor<R>

Field Summary

Fields

Modifier and Type	Field	Description
final EtaExpansionTestCase	value

Fields inherited from class hydra.testing.TestCase

ALPHA_CONVERSION, CASE_CONVERSION, DEANNOTATE_TERM, DEANNOTATE_TYPE, DELEGATED_EVALUATION, ETA_EXPANSION, EVALUATION, FLATTEN_LET_TERMS, FOLD_OVER_TERM, FREE_VARIABLES, HOIST_CASE_STATEMENTS, HOIST_LET_BINDINGS, HOIST_POLYMORPHIC_LET_BINDINGS, HOIST_SUBTERMS, INFERENCE, INFERENCE_FAILURE, JOIN_TYPES, JSON_CODER, JSON_DECODE, JSON_ENCODE, JSON_PARSER, JSON_ROUNDTRIP, JSON_WRITER, LIFT_LAMBDA_ABOVE_LET, NORMALIZE_TYPE_VARIABLES, REWRITE_TERM, REWRITE_TYPE, SERIALIZATION, SIMPLIFY_TERM, SUBST_IN_TYPE, TOPOLOGICAL_SORT, TOPOLOGICAL_SORT_BINDINGS, TOPOLOGICAL_SORT_S_C_C, TYPE_, TYPE_CHECKING, TYPE_CHECKING_FAILURE, TYPE_REDUCTION, UNIFY_TYPES, UNSHADOW_VARIABLES, VARIABLE_OCCURS_IN_TYPE

Constructor Summary

Constructors

Constructor	Description
EtaExpansion(EtaExpansionTestCase value)

Method Summary

Modifier and Type	Method	Description
<R> R	accept(TestCase.Visitor<R> visitor)
int	compareTo(TestCase other)
boolean	equals(Object other)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Details

value

public final EtaExpansionTestCase value

Constructor Details

EtaExpansion

public EtaExpansion(EtaExpansionTestCase value)

Method Details

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

compareTo

public int compareTo(TestCase other)

Specified by:

compareTo in interface Comparable<TestCase>

accept

public <R> R accept(TestCase.Visitor<R> visitor)

Specified by:

accept in class TestCase