Class DataConstructor

java.lang.Object

org.derive4j.processor.api.model.DataConstructor

Direct Known Subclasses:

DataConstructors.Constructor, DataConstructors.Lazy

@Data
public abstract class DataConstructor
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	DataConstructor.Case<R>

Constructor Summary

Constructors

Constructor	Description
DataConstructor()

Method Summary

Modifier and Type	Method	Description
List<DataArgument>	arguments()
DataDeconstructor	deconstructor()
int	index()
abstract <R> R	match(DataConstructor.Case<R> constructor)
String	name()
DeclaredType	returnedType()
List<TypeRestriction>	typeRestrictions()
List<TypeVariable>	typeVariables()

Methods inherited from class Object

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

Constructor Details

DataConstructor

DataConstructor()

Method Details

match

public abstract <R> R match(DataConstructor.Case<R> constructor)

name

public String name()

index

public int index()

typeVariables

public List<TypeVariable> typeVariables()

arguments

public List<DataArgument> arguments()

returnedType

public DeclaredType returnedType()

deconstructor

public DataDeconstructor deconstructor()

typeRestrictions

public List<TypeRestriction> typeRestrictions()