Package hydra.ext.haskell.syntax

Class ClassAssertion

java.lang.Object

hydra.ext.haskell.syntax.ClassAssertion

All Implemented Interfaces:

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

public class ClassAssertion
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<ClassAssertion>

A class assertion

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
Name	name	The name of the class
static Name	NAME
static Name	TYPE_
ConsList<Type>	types	The types to which the class is applied
static Name	TYPES

Constructor Summary

Constructors

Constructor	Description
ClassAssertion(Name name, ConsList<Type> types)

Method Summary

Modifier and Type	Method	Description
int	compareTo(ClassAssertion other)
boolean	equals(java.lang.Object other)
int	hashCode()
ClassAssertion	withName(Name name)
ClassAssertion	withTypes(ConsList<Type> types)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

NAME

public static final Name NAME

TYPES

public static final Name TYPES

name

public final Name name

The name of the class

types

public final ConsList<Type> types

The types to which the class is applied

Constructor Detail

ClassAssertion

public ClassAssertion(Name name,
                      ConsList<Type> types)

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

Specified by:

compareTo in interface java.lang.Comparable<ClassAssertion>

withName

public ClassAssertion withName(Name name)

withTypes

public ClassAssertion withTypes(ConsList<Type> types)