Assertion.Tuple (hydra-java 0.14.1 API)

java.lang.Object
- hydra.ext.haskell.syntax.Assertion
- - hydra.ext.haskell.syntax.Assertion.Tuple

All Implemented Interfaces:

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

Enclosing class:

Assertion
```
public static final class Assertion.Tuple
extends Assertion
implements java.io.Serializable
```
A tuple of assertions

See Also:

Serialized Form

Nested Class Summary
- Nested classes/interfaces inherited from class hydra.ext.haskell.syntax.Assertion
  Assertion.Class_, Assertion.PartialVisitor<R>, Assertion.Tuple, Assertion.Visitor<R>

Field Summary

Fields
Modifier and Type Field Description

ConsList<Assertion> value
- Fields inherited from class hydra.ext.haskell.syntax.Assertion
  CLASS, TUPLE, TYPE_

Constructor Summary

Constructors
Constructor Description

Tuple(ConsList<Assertion> value)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<R> R`	`accept(Assertion.Visitor<R> visitor)`
`int`	`compareTo(Assertion 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 ConsList<Assertion> value
```
- Constructor Detail
  - Tuple
```
public Tuple(ConsList<Assertion> 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(Assertion other)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<Assertion>
  - accept
```
public <R> R accept(Assertion.Visitor<R> visitor)
```
    Specified by:
    
    accept in class Assertion