Package hydra.ext.haskell.ast

Class ApplicationType

java.lang.Object

hydra.ext.haskell.ast.ApplicationType

All Implemented Interfaces:

Serializable, Comparable<ApplicationType>

public class ApplicationType
extends Object
implements Serializable, Comparable<ApplicationType>

An application type

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final Type	argument	The type argument
static final Name	ARGUMENT
final Type	context	The type being applied
static final Name	CONTEXT
static final Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
ApplicationType(Type context, Type argument)

Method Summary

Modifier and Type	Method	Description
int	compareTo(ApplicationType other)
boolean	equals(Object other)
int	hashCode()
ApplicationType	withArgument(Type argument)
ApplicationType	withContext(Type context)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Details

TYPE_

public static final Name TYPE_

CONTEXT

public static final Name CONTEXT

ARGUMENT

public static final Name ARGUMENT

context

public final Type context

The type being applied

argument

public final Type argument

The type argument

Constructor Details

ApplicationType

public ApplicationType(Type context,
 Type argument)

Method Details

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

compareTo

public int compareTo(ApplicationType other)

Specified by:

compareTo in interface Comparable<ApplicationType>

withContext

public ApplicationType withContext(Type context)

withArgument

public ApplicationType withArgument(Type argument)