Package hydra.testing

Interface TestCase.Visitor<R>

All Known Subinterfaces:

TestCase.PartialVisitor<R>

Enclosing class:

TestCase

public static interface TestCase.Visitor<R>

Method Summary

Modifier and Type	Method	Description
R	visit(TestCase.AlphaConversion instance)
R	visit(TestCase.CaseConversion instance)
R	visit(TestCase.DeannotateTerm instance)
R	visit(TestCase.DeannotateType instance)
R	visit(TestCase.DelegatedEvaluation instance)
R	visit(TestCase.EtaExpansion instance)
R	visit(TestCase.Evaluation instance)
R	visit(TestCase.FlattenLetTerms instance)
R	visit(TestCase.FoldOverTerm instance)
R	visit(TestCase.FreeVariables instance)
R	visit(TestCase.HoistCaseStatements instance)
R	visit(TestCase.HoistLetBindings instance)
R	visit(TestCase.HoistPolymorphicLetBindings instance)
R	visit(TestCase.HoistSubterms instance)
R	visit(TestCase.Inference instance)
R	visit(TestCase.InferenceFailure instance)
R	visit(TestCase.JoinTypes instance)
R	visit(TestCase.JsonDecode instance)
R	visit(TestCase.JsonEncode instance)
R	visit(TestCase.JsonParser instance)
R	visit(TestCase.JsonRoundtrip instance)
R	visit(TestCase.JsonWriter instance)
R	visit(TestCase.LiftLambdaAboveLet instance)
R	visit(TestCase.NormalizeTypeVariables instance)
R	visit(TestCase.RewriteTerm instance)
R	visit(TestCase.RewriteType instance)
R	visit(TestCase.Serialization instance)
R	visit(TestCase.SimplifyTerm instance)
R	visit(TestCase.SubstInType instance)
R	visit(TestCase.TopologicalSort instance)
R	visit(TestCase.TopologicalSortBindings instance)
R	visit(TestCase.TopologicalSortSCC instance)
R	visit(TestCase.TypeChecking instance)
R	visit(TestCase.TypeCheckingFailure instance)
R	visit(TestCase.TypeReduction instance)
R	visit(TestCase.UnifyTypes instance)
R	visit(TestCase.UnshadowVariables instance)
R	visit(TestCase.ValidateCoreTerm instance)
R	visit(TestCase.VariableOccursInType instance)

Method Detail

visit

R visit(TestCase.AlphaConversion instance)

visit

R visit(TestCase.CaseConversion instance)

visit

R visit(TestCase.DeannotateTerm instance)

visit

R visit(TestCase.DeannotateType instance)

visit

R visit(TestCase.DelegatedEvaluation instance)

visit

R visit(TestCase.EtaExpansion instance)

visit

R visit(TestCase.FlattenLetTerms instance)

visit

R visit(TestCase.FreeVariables instance)

visit

R visit(TestCase.Evaluation instance)

visit

R visit(TestCase.Inference instance)

visit

R visit(TestCase.InferenceFailure instance)

visit

R visit(TestCase.JsonDecode instance)

visit

R visit(TestCase.JsonEncode instance)

visit

R visit(TestCase.JsonParser instance)

visit

R visit(TestCase.JsonRoundtrip instance)

visit

R visit(TestCase.JsonWriter instance)

visit

R visit(TestCase.LiftLambdaAboveLet instance)

visit

R visit(TestCase.Serialization instance)

visit

R visit(TestCase.SimplifyTerm instance)

visit

R visit(TestCase.TopologicalSort instance)

visit

R visit(TestCase.TopologicalSortBindings instance)

visit

R visit(TestCase.TopologicalSortSCC instance)

visit

R visit(TestCase.TypeChecking instance)

visit

R visit(TestCase.TypeCheckingFailure instance)

visit

R visit(TestCase.TypeReduction instance)

visit

R visit(TestCase.NormalizeTypeVariables instance)

visit

R visit(TestCase.FoldOverTerm instance)

visit

R visit(TestCase.RewriteTerm instance)

visit

R visit(TestCase.RewriteType instance)

visit

R visit(TestCase.HoistSubterms instance)

visit

R visit(TestCase.HoistCaseStatements instance)

visit

R visit(TestCase.HoistLetBindings instance)

visit

R visit(TestCase.HoistPolymorphicLetBindings instance)

visit

R visit(TestCase.SubstInType instance)

visit

R visit(TestCase.VariableOccursInType instance)

visit

R visit(TestCase.UnifyTypes instance)

visit

R visit(TestCase.JoinTypes instance)

visit

R visit(TestCase.UnshadowVariables instance)

visit

R visit(TestCase.ValidateCoreTerm instance)