TElement (hydra-java 0.9.0 API)

java.lang.Object
- hydra.phantoms.TElement<A>

All Implemented Interfaces:

java.io.Serializable
```
public class TElement<A>
extends java.lang.Object
implements java.io.Serializable
```
An association with a named term (element) with a phantom type

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field Description

static Name FIELD_NAME_NAME

static Name FIELD_NAME_TERM

Name name

TTerm<A> term

static Name TYPE_NAME

Constructor Summary

Constructors
Constructor Description

TElement(Name name, TTerm<A> term)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`TElement`	`withName(Name name)`
`TElement`	`withTerm(TTerm<A> term)`

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

Field Detail

TYPE_NAME
```
public static final Name TYPE_NAME
```

FIELD_NAME_NAME

public static final Name FIELD_NAME_NAME

FIELD_NAME_TERM

public static final Name FIELD_NAME_TERM

name
```
public final Name name
```

term
```
public final TTerm<A> term
```

Constructor Detail

TElement

public TElement(Name name,
                TTerm<A> term)

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

withName

public TElement withName(Name name)

withTerm

public TElement withTerm(TTerm<A> term)