org.derive4j.processor.api.model

Class AlgebraicDataType

java.lang.Object

org.derive4j.processor.api.model.AlgebraicDataType

@Data(value=)
public abstract class AlgebraicDataType
extends java.lang.Object

Nested Class Summary

Nested Classes

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

Method Summary

Modifier and Type	Method and Description
static AlgebraicDataType	adt(TypeConstructor typeConstructor, MatchMethod matchMethod, DataConstruction dataConstruction, java.util.List<DataArgument> fields)
DataConstruction	dataConstruction()
java.util.List<DataArgument>	fields()
abstract <R> R	match(AlgebraicDataType.Case<R> adt)
MatchMethod	matchMethod()
TypeConstructor	typeConstructor()

Methods inherited from class java.lang.Object

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

Method Detail

adt

public static AlgebraicDataType adt(TypeConstructor typeConstructor,
                                    MatchMethod matchMethod,
                                    DataConstruction dataConstruction,
                                    java.util.List<DataArgument> fields)

match

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

typeConstructor

public TypeConstructor typeConstructor()

matchMethod

public MatchMethod matchMethod()

dataConstruction

public DataConstruction dataConstruction()

fields

public java.util.List<DataArgument> fields()