Package hydra.ext.haskell.ast

Class DataDeclaration

java.lang.Object

hydra.ext.haskell.ast.DataDeclaration

All Implemented Interfaces:

Serializable, Comparable<DataDeclaration>

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

A data type declaration

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final List<ConstructorWithComments>	constructors	The data constructors
static final Name	CONSTRUCTORS
final List<Assertion>	context	Type class constraints
static final Name	CONTEXT
final List<Deriving>	deriving	Derived type class instances
static final Name	DERIVING
final DeclarationHead	head	The declaration head
static final Name	HEAD
final DataOrNewtype	keyword	The 'data' or 'newtype' keyword
static final Name	KEYWORD
static final Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
DataDeclaration(DataOrNewtype keyword, List<Assertion> context, DeclarationHead head, List<ConstructorWithComments> constructors, List<Deriving> deriving)

Method Summary

Modifier and Type	Method	Description
int	compareTo(DataDeclaration other)
boolean	equals(Object other)
int	hashCode()
DataDeclaration	withConstructors(List<ConstructorWithComments> constructors)
DataDeclaration	withContext(List<Assertion> context)
DataDeclaration	withDeriving(List<Deriving> deriving)
DataDeclaration	withHead(DeclarationHead head)
DataDeclaration	withKeyword(DataOrNewtype keyword)

Methods inherited from class java.lang.Object

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

Field Details

TYPE_

public static final Name TYPE_

KEYWORD

public static final Name KEYWORD

CONTEXT

public static final Name CONTEXT

HEAD

public static final Name HEAD

CONSTRUCTORS

public static final Name CONSTRUCTORS

DERIVING

public static final Name DERIVING

keyword

public final DataOrNewtype keyword

The 'data' or 'newtype' keyword

context

public final List<Assertion> context

Type class constraints

head

public final DeclarationHead head

The declaration head

constructors

public final List<ConstructorWithComments> constructors

The data constructors

deriving

public final List<Deriving> deriving

Derived type class instances

Constructor Details

DataDeclaration

public DataDeclaration(DataOrNewtype keyword,
 List<Assertion> context,
 DeclarationHead head,
 List<ConstructorWithComments> constructors,
 List<Deriving> deriving)

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(DataDeclaration other)

Specified by:

compareTo in interface Comparable<DataDeclaration>

withKeyword

public DataDeclaration withKeyword(DataOrNewtype keyword)

withContext

public DataDeclaration withContext(List<Assertion> context)

withHead

public DataDeclaration withHead(DeclarationHead head)

withConstructors

public DataDeclaration withConstructors(List<ConstructorWithComments> constructors)

withDeriving

public DataDeclaration withDeriving(List<Deriving> deriving)