Elimination (hydra-java 0.14.1 API)

java.lang.Object
- hydra.core.Elimination

All Implemented Interfaces:

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

Direct Known Subclasses:

Elimination.Record, Elimination.Union, Elimination.Wrap
```
public abstract class Elimination
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<Elimination>
```
A corresponding elimination for an introduction term

See Also:

Serialized Form

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description
`static interface`	`Elimination.PartialVisitor<R>`
`static class`	`Elimination.Record`	Eliminates a record by projecting a given field
`static class`	`Elimination.Union`	Eliminates a union term by matching over the fields of the union.
`static interface`	`Elimination.Visitor<R>`
`static class`	`Elimination.Wrap`	Unwrap a wrapped term

Field Summary

Fields
Modifier and Type Field Description

static Name RECORD

static Name TYPE_

static Name UNION

static Name WRAP

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type Method Description

abstract <R> R accept(Elimination.Visitor<R> visitor)
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
- Methods inherited from interface java.lang.Comparable
  compareTo

Field Detail

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

RECORD
```
public static final Name RECORD
```

UNION
```
public static final Name UNION
```

WRAP
```
public static final Name WRAP
```

Method Detail

accept

public abstract <R> R accept(Elimination.Visitor<R> visitor)