TestCase.UnifyTypes (hydra-java 0.14.1 API)

java.lang.Object
- hydra.testing.TestCase
- - hydra.testing.TestCase.UnifyTypes

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<TestCase>

Enclosing class:

TestCase
```
public static final class TestCase.UnifyTypes
extends TestCase
implements java.io.Serializable
```
A type unification 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.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.ValidateCoreTerm, TestCase.VariableOccursInType, TestCase.Visitor<R>

Field Summary

Fields
Modifier and Type Field Description

UnifyTypesTestCase 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_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, VALIDATE_CORE_TERM, VARIABLE_OCCURS_IN_TYPE

Constructor Summary

Constructors
Constructor Description

UnifyTypes(UnifyTypesTestCase value)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<R> R`	`accept(TestCase.Visitor<R> visitor)`
`int`	`compareTo(TestCase other)`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - value
```
public final UnifyTypesTestCase value
```
- Constructor Detail
  - UnifyTypes
```
public UnifyTypes(UnifyTypesTestCase value)
```
- Method Detail
  - equals
```
public boolean equals(java.lang.Object other)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - compareTo
```
public int compareTo(TestCase other)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<TestCase>
  - accept
```
public <R> R accept(TestCase.Visitor<R> visitor)
```
    Specified by:
    
    accept in class TestCase