TypeReductionTestCase (hydra-java 0.14.1 API)

java.lang.Object
- hydra.testing.TypeReductionTestCase

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<TypeReductionTestCase>
```
public class TypeReductionTestCase
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<TypeReductionTestCase>
```
A test case which performs beta reduction on a type (reducing type applications) and compares the result with the expected type

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field Description

Type input
The type to reduce

static Name INPUT

Type output
The expected reduced type

static Name OUTPUT

static Name TYPE_

Constructor Summary

Constructors
Constructor Description

TypeReductionTestCase(Type input, Type output)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`compareTo(TypeReductionTestCase other)`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`TypeReductionTestCase`	`withInput(Type input)`
`TypeReductionTestCase`	`withOutput(Type output)`

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

Field Detail

TYPE_
```
public static final Name TYPE_
```

INPUT
```
public static final Name INPUT
```

OUTPUT
```
public static final Name OUTPUT
```

input
```
public final Type input
```
The type to reduce

output
```
public final Type output
```
The expected reduced type

Constructor Detail

TypeReductionTestCase

public TypeReductionTestCase(Type input,
                             Type output)

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(TypeReductionTestCase other)
```
Specified by:

compareTo in interface java.lang.Comparable<TypeReductionTestCase>

withInput

public TypeReductionTestCase withInput(Type input)

withOutput

public TypeReductionTestCase withOutput(Type output)