Class AlgebraicDataTypes.Adt

java.lang.Object

org.derive4j.processor.api.model.AlgebraicDataType

org.derive4j.processor.api.model.AlgebraicDataTypes.Adt

Enclosing class:

AlgebraicDataTypes

private static final class AlgebraicDataTypes.Adt
extends AlgebraicDataType

Nested Class Summary

Nested classes/interfaces inherited from class AlgebraicDataType

AlgebraicDataType.Case<R>

Field Summary

Fields

Modifier and Type	Field	Description
private final DataConstruction	dataConstruction
private final DeriveConfig	deriveConfig
private final List<DataArgument>	fields
private final MatchMethod	matchMethod
private final TypeConstructor	typeConstructor

Constructor Summary

Constructors

Constructor	Description
Adt(DeriveConfig deriveConfig, TypeConstructor typeConstructor, MatchMethod matchMethod, DataConstruction dataConstruction, List<DataArgument> fields)

Method Summary

Modifier and Type	Method	Description
<R> R	match(AlgebraicDataType.Case<R> adt)

Methods inherited from class AlgebraicDataType

dataConstruction, deriveConfig, fields, matchMethod, typeConstructor

Methods inherited from class Object

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

Field Details

deriveConfig

private final DeriveConfig deriveConfig

typeConstructor

private final TypeConstructor typeConstructor

matchMethod

private final MatchMethod matchMethod

dataConstruction

private final DataConstruction dataConstruction

fields

private final List<DataArgument> fields

Constructor Details

Adt

Adt(DeriveConfig deriveConfig,
 TypeConstructor typeConstructor,
 MatchMethod matchMethod,
 DataConstruction dataConstruction,
 List<DataArgument> fields)

Method Details

match

public <R> R match(AlgebraicDataType.Case<R> adt)

Specified by:

match in class AlgebraicDataType