Package hydra.ext.scala.syntax

Class Data_Param

java.lang.Object

hydra.ext.scala.syntax.Data_Param

All Implemented Interfaces:

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

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
Maybe<Type>	decltpe
static Name	DECLTPE
static Name	DEFAULT
Maybe<Data>	default_
ConsList<Mod>	mods
static Name	MODS
Name	name
static Name	NAME
static Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
Data_Param(ConsList<Mod> mods, Name name, Maybe<Type> decltpe, Maybe<Data> default_)

Method Summary

Modifier and Type	Method	Description
int	compareTo(Data_Param other)
boolean	equals(java.lang.Object other)
int	hashCode()
Data_Param	withDecltpe(Maybe<Type> decltpe)
Data_Param	withDefault(Maybe<Data> default_)
Data_Param	withMods(ConsList<Mod> mods)
Data_Param	withName(Name name)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

MODS

public static final Name MODS

NAME

public static final Name NAME

DECLTPE

public static final Name DECLTPE

DEFAULT

public static final Name DEFAULT

mods

public final ConsList<Mod> mods

name

public final Name name

decltpe

public final Maybe<Type> decltpe

default_

public final Maybe<Data> default_

Constructor Detail

Data_Param

public Data_Param(ConsList<Mod> mods,
                  Name name,
                  Maybe<Type> decltpe,
                  Maybe<Data> default_)

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

Specified by:

compareTo in interface java.lang.Comparable<Data_Param>

withMods

public Data_Param withMods(ConsList<Mod> mods)

withName

public Data_Param withName(Name name)

withDecltpe

public Data_Param withDecltpe(Maybe<Type> decltpe)

withDefault

public Data_Param withDefault(Maybe<Data> default_)