Package hydra.ext.haskell.ast

Class ApplicationType

java.lang.Object

hydra.ext.haskell.ast.ApplicationType

All Implemented Interfaces:

java.io.Serializable

public class ApplicationType
extends java.lang.Object
implements java.io.Serializable

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
Type	argument
Type	context
static Name	FIELD_NAME_ARGUMENT
static Name	FIELD_NAME_CONTEXT
static Name	TYPE_NAME

Constructor Summary

Constructors

Constructor	Description
ApplicationType(Type context, Type argument)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.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 Detail

TYPE_NAME

public static final Name TYPE_NAME

FIELD_NAME_CONTEXT

public static final Name FIELD_NAME_CONTEXT

FIELD_NAME_ARGUMENT

public static final Name FIELD_NAME_ARGUMENT

context

public final Type context

argument

public final Type argument

Constructor Detail

ApplicationType

public ApplicationType(Type context,
                       Type argument)

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

withContext

public ApplicationType withContext(Type context)

withArgument

public ApplicationType withArgument(Type argument)