Package org.derive4j.processor.api.model

Class AlgebraicDataTypes

java.lang.Object

org.derive4j.processor.api.model.AlgebraicDataTypes

public final class AlgebraicDataTypes
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final class	AlgebraicDataTypes.Adt
static class	AlgebraicDataTypes.CasesMatchers
private static final class	AlgebraicDataTypes.Lazy

Constructor Summary

Constructors

Modifier	Constructor	Description
private	AlgebraicDataTypes()

Method Summary

Modifier and Type	Method	Description
static AlgebraicDataType	adt(DeriveConfig deriveConfig, TypeConstructor typeConstructor, MatchMethod matchMethod, DataConstruction dataConstruction, List<DataArgument> fields)
static AlgebraicDataTypes.CasesMatchers.TotalMatcher_Adt	cases()
static DataConstruction	getDataConstruction(AlgebraicDataType algebraicDataType)
static DeriveConfig	getDeriveConfig(AlgebraicDataType algebraicDataType)
static List<DataArgument>	getFields(AlgebraicDataType algebraicDataType)
static MatchMethod	getMatchMethod(AlgebraicDataType algebraicDataType)
static TypeConstructor	getTypeConstructor(AlgebraicDataType algebraicDataType)
static AlgebraicDataType	lazy(Supplier<AlgebraicDataType> algebraicDataType)
static Function<AlgebraicDataType,AlgebraicDataType>	modDataConstruction(Function<DataConstruction,DataConstruction> dataConstructionMod)
static Function<AlgebraicDataType,AlgebraicDataType>	modDeriveConfig(Function<DeriveConfig,DeriveConfig> deriveConfigMod)
static Function<AlgebraicDataType,AlgebraicDataType>	modFields(Function<List<DataArgument>,List<DataArgument>> fieldsMod)
static Function<AlgebraicDataType,AlgebraicDataType>	modMatchMethod(Function<MatchMethod,MatchMethod> matchMethodMod)
static Function<AlgebraicDataType,AlgebraicDataType>	modTypeConstructor(Function<TypeConstructor,TypeConstructor> typeConstructorMod)
static Function<AlgebraicDataType,AlgebraicDataType>	setDataConstruction(DataConstruction newDataConstruction)
static Function<AlgebraicDataType,AlgebraicDataType>	setDeriveConfig(DeriveConfig newDeriveConfig)
static Function<AlgebraicDataType,AlgebraicDataType>	setFields(List<DataArgument> newFields)
static Function<AlgebraicDataType,AlgebraicDataType>	setMatchMethod(MatchMethod newMatchMethod)
static Function<AlgebraicDataType,AlgebraicDataType>	setTypeConstructor(TypeConstructor newTypeConstructor)

Methods inherited from class java.lang.Object

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

Constructor Details

AlgebraicDataTypes

private AlgebraicDataTypes()

Method Details

adt

public static AlgebraicDataType adt(DeriveConfig deriveConfig,
 TypeConstructor typeConstructor,
 MatchMethod matchMethod,
 DataConstruction dataConstruction,
 List<DataArgument> fields)

lazy

public static AlgebraicDataType lazy(Supplier<AlgebraicDataType> algebraicDataType)

cases

public static AlgebraicDataTypes.CasesMatchers.TotalMatcher_Adt cases()

getDeriveConfig

public static DeriveConfig getDeriveConfig(AlgebraicDataType algebraicDataType)

getTypeConstructor

public static TypeConstructor getTypeConstructor(AlgebraicDataType algebraicDataType)

getMatchMethod

public static MatchMethod getMatchMethod(AlgebraicDataType algebraicDataType)

getDataConstruction

public static DataConstruction getDataConstruction(AlgebraicDataType algebraicDataType)

getFields

public static List<DataArgument> getFields(AlgebraicDataType algebraicDataType)

setDeriveConfig

public static Function<AlgebraicDataType,AlgebraicDataType> setDeriveConfig(DeriveConfig newDeriveConfig)

modDeriveConfig

public static Function<AlgebraicDataType,AlgebraicDataType> modDeriveConfig(Function<DeriveConfig,DeriveConfig> deriveConfigMod)

setTypeConstructor

public static Function<AlgebraicDataType,AlgebraicDataType> setTypeConstructor(TypeConstructor newTypeConstructor)

modTypeConstructor

public static Function<AlgebraicDataType,AlgebraicDataType> modTypeConstructor(Function<TypeConstructor,TypeConstructor> typeConstructorMod)

setMatchMethod

public static Function<AlgebraicDataType,AlgebraicDataType> setMatchMethod(MatchMethod newMatchMethod)

modMatchMethod

public static Function<AlgebraicDataType,AlgebraicDataType> modMatchMethod(Function<MatchMethod,MatchMethod> matchMethodMod)

setDataConstruction

public static Function<AlgebraicDataType,AlgebraicDataType> setDataConstruction(DataConstruction newDataConstruction)

modDataConstruction

public static Function<AlgebraicDataType,AlgebraicDataType> modDataConstruction(Function<DataConstruction,DataConstruction> dataConstructionMod)

setFields

public static Function<AlgebraicDataType,AlgebraicDataType> setFields(List<DataArgument> newFields)

modFields

public static Function<AlgebraicDataType,AlgebraicDataType> modFields(Function<List<DataArgument>,List<DataArgument>> fieldsMod)