Class DataConstructors.Constructor

java.lang.Object

org.derive4j.processor.api.model.DataConstructor

org.derive4j.processor.api.model.DataConstructors.Constructor

Enclosing class:

DataConstructors

private static final class DataConstructors.Constructor
extends DataConstructor

Nested Class Summary

Nested classes/interfaces inherited from class DataConstructor

DataConstructor.Case<R>

Field Summary

Fields

Modifier and Type	Field	Description
private final List<DataArgument>	arguments
private final DataDeconstructor	deconstructor
private final int	index
private final String	name
private final DeclaredType	returnedType
private final List<TypeRestriction>	typeRestrictions
private final List<TypeVariable>	typeVariables

Constructor Summary

Constructors

Constructor	Description
Constructor(String name, int index, List<TypeVariable> typeVariables, List<DataArgument> arguments, List<TypeRestriction> typeRestrictions, DeclaredType returnedType, DataDeconstructor deconstructor)

Method Summary

Modifier and Type	Method	Description
<R> R	match(DataConstructor.Case<R> constructor)

Methods inherited from class DataConstructor

arguments, deconstructor, index, name, returnedType, typeRestrictions, typeVariables

Methods inherited from class Object

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

Field Details

name

private final String name

index

private final int index

typeVariables

private final List<TypeVariable> typeVariables

arguments

private final List<DataArgument> arguments

typeRestrictions

private final List<TypeRestriction> typeRestrictions

returnedType

private final DeclaredType returnedType

deconstructor

private final DataDeconstructor deconstructor

Constructor Details

Constructor

Constructor(String name,
 int index,
 List<TypeVariable> typeVariables,
 List<DataArgument> arguments,
 List<TypeRestriction> typeRestrictions,
 DeclaredType returnedType,
 DataDeconstructor deconstructor)

Method Details

match

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

Specified by:

match in class DataConstructor