Uses of Class
org.derive4j.processor.api.model.AlgebraicDataType

Packages that use AlgebraicDataType

Package	Description
org.derive4j.processor
org.derive4j.processor.api
org.derive4j.processor.api.model

Uses of AlgebraicDataType in org.derive4j.processor

Methods in org.derive4j.processor that return types with arguments of type AlgebraicDataType

Modifier and Type	Method	Description
(package private) DeriveResult<AlgebraicDataType>	AdtParser.parseAlgebraicDataType(TypeElement adtTypeElement, DeriveConfig deriveConfig)

Methods in org.derive4j.processor with parameters of type AlgebraicDataType

Modifier and Type	Method	Description
(package private) static com.squareup.javapoet.FieldSpec	PatternMatchingDerivator.asFieldSpec(AlgebraicDataType adt)
private static String	GettersDerivator.asParameterName(AlgebraicDataType adt)
(package private) static com.squareup.javapoet.ParameterSpec	PatternMatchingDerivator.asParameterSpec(AlgebraicDataType adt)
private com.squareup.javapoet.TypeName	CataDerivator.cataMapperTypeName(AlgebraicDataType adt, DataConstructor dc)
private DerivedCodeSpec	CataDerivator.cataVisitor(AlgebraicDataType adt, DeclaredType visitorType, List<DataConstructor> constructors)
(package private) static com.squareup.javapoet.MethodSpec.Builder	PatternMatchingDerivator.constantMatchMethodBuilder(AlgebraicDataType adt, DataConstructor currentConstructor)
private DerivedCodeSpec	StrictConstructorDerivator.constructorSpec(AlgebraicDataType adt, DataConstructor constructor)
private DerivedCodeSpec	MapperDerivator.createVisitorFactoryAndMappers(AlgebraicDataType adt, DeclaredType acceptedVisitorType, List<DataConstructor> constructors)
private DeclaredType	CataDerivator.delayType(AlgebraicDataType adt)
DeriveResult<DerivedCodeSpec>	CataDerivator.derive(AlgebraicDataType adt)
DeriveResult<DerivedCodeSpec>	ExportDerivator.derive(AlgebraicDataType adt)
DeriveResult<DerivedCodeSpec>	FactoryDerivator.derive(AlgebraicDataType adtModel)
DeriveResult<DerivedCodeSpec>	GettersDerivator.derive(AlgebraicDataType adt)
DeriveResult<DerivedCodeSpec>	LazyConstructorDerivator.derive(AlgebraicDataType adt)
DeriveResult<DerivedCodeSpec>	MapperDerivator.derive(AlgebraicDataType adt)
DeriveResult<DerivedCodeSpec>	ModifiersDerivator.derive(AlgebraicDataType adt)
DeriveResult<DerivedCodeSpec>	PatternMatchingDerivator.derive(AlgebraicDataType adt)
DeriveResult<DerivedCodeSpec>	StrictConstructorDerivator.derive(AlgebraicDataType adt)
private Map<com.squareup.javapoet.ClassName, P2<Stream<DeriveMessage>, DerivedCodeSpec>>	DerivingProcessor.derivedInstances(AlgebraicDataType adt)
private Optional<com.squareup.javapoet.MethodSpec>	StrictConstructorDerivator.deriveEquals(AlgebraicDataType adt, DataConstructor constructor)
private DerivedCodeSpec	GettersDerivator.deriveGetter(DataArgument field, AlgebraicDataType adt)
private Optional<com.squareup.javapoet.MethodSpec>	StrictConstructorDerivator.deriveHashCode(AlgebraicDataType adt, DataConstructor constructor)
private Optional<com.squareup.javapoet.MethodSpec>	StrictConstructorDerivator.deriveToString(AlgebraicDataType adt, DataConstructor constructor)
private DerivedCodeSpec	FactoryDerivator.factory(AlgebraicDataType adt, DeclaredType visitorType, List<DataConstructor> constructors)
private DeriveResult<DerivedCodeSpec>	CataDerivator.functionDispatchImpl(AlgebraicDataType adt, List<DataConstructor> constructors)
private com.squareup.javapoet.CodeBlock	TotalMatchingStepDerivator.functionDispatchImpl(AlgebraicDataType adt, List<DataConstructor> previousConstructors, DataConstructor currentConstructor)
private com.squareup.javapoet.CodeBlock	OtherwiseMatchingStepDerivator.functionsDispatchEitherImpl(TypeElement f0, EitherModel eitherModel, com.squareup.javapoet.TypeName eitherTypeName, AlgebraicDataType adt, List<DataConstructor> constructors, String argName)
private com.squareup.javapoet.CodeBlock	OtherwiseMatchingStepDerivator.functionsDispatchImpl(TypeElement f0, AlgebraicDataType adt, List<DataConstructor> constructors)
private static DerivedCodeSpec	GettersDerivator.functionsDispatchLensGetterImpl(AlgebraicDataType adt, String arg, DataArgument field)
private static DerivedCodeSpec	GettersDerivator.functionsDispatchOptionalGetterImpl(OptionModel optionModel, AlgebraicDataType adt, String arg, List<DataConstructor> constructors, DataArgument field, DeclaredType returnType)
private com.squareup.javapoet.CodeBlock	OtherwiseMatchingStepDerivator.functionsDispatchOptionImpl(OptionModel optionModel, AlgebraicDataType adt, List<DataConstructor> constructors)
DeriveResult<DerivedCodeSpec>	DeriveUtilsImpl.generateInstance(AlgebraicDataType adt, com.squareup.javapoet.ClassName typeClass, List<TypeElement> lowPriorityProviders, Function<InstanceUtils, DerivedCodeSpec> generateInstance)
private DerivedCodeSpec	GettersDerivator.generateLensGetter(DataArgument field, AlgebraicDataType adt)
private DerivedCodeSpec	ModifiersDerivator.generateModifier(DataArgument field, AlgebraicDataType adt)
private DerivedCodeSpec	GettersDerivator.generateOptionalGetter(DataArgument field, AlgebraicDataType adt)
private static com.squareup.javapoet.MethodSpec.Builder	GettersDerivator.getterBuilder(AlgebraicDataType adt, String arg, DataArgument field, TypeMirror type)
private static String	GettersDerivator.lensGetterLambda(String arg, AlgebraicDataType adt, DataArgument field)
com.squareup.javapoet.TypeName	MapperDerivator.mapperTypeName(AlgebraicDataType adt, DataConstructor dc)
com.squareup.javapoet.TypeName	MapperDerivator.mapperTypeName(AlgebraicDataType adt, DataConstructor dc, com.squareup.javapoet.TypeName returnType)
com.squareup.javapoet.TypeName	MapperDerivator.mapperTypeName(AlgebraicDataType adt, DataConstructor dc, TypeMirror selfReferenceType, com.squareup.javapoet.TypeName returnType)
(package private) static Stream<TypeVariable>	PatternMatchingDerivator.matcherVariables(AlgebraicDataType adt)
private static com.squareup.javapoet.NameAllocator	CataDerivator.nameAllocator(AlgebraicDataType adt, List<DataConstructor> constructors)
private boolean	StrictConstructorDerivator.needLambdaVisitorGeneration(AlgebraicDataType adt)
private static com.squareup.javapoet.CodeBlock	TotalMatchingStepDerivator.oneConstructorImpl(DataConstructor currentConstructor, AlgebraicDataType adt)
private List<com.squareup.javapoet.MethodSpec>	OtherwiseMatchingStepDerivator.otherwiseLeftMethod(AlgebraicDataType adt, EitherModel eitherModel)
(package private) static com.squareup.javapoet.ParameterizedTypeName	OtherwiseMatchingStepDerivator.otherwiseMatcherTypeName(AlgebraicDataType adt)
private List<com.squareup.javapoet.MethodSpec>	OtherwiseMatchingStepDerivator.otherwiseMethods(AlgebraicDataType adt)
private com.squareup.javapoet.MethodSpec	OtherwiseMatchingStepDerivator.otherwiseNoneMethod(AlgebraicDataType adt)
(package private) com.squareup.javapoet.TypeSpec	PartialMatchingStepDerivator.partialMatchingStepTypeSpec(AlgebraicDataType adt, List<DataConstructor> previousConstructors, DataConstructor currentConstructor, List<DataConstructor> nextConstructors)
(package private) Stream<com.squareup.javapoet.MethodSpec.Builder>	PartialMatchingStepDerivator.partialMatchMethodBuilder(AlgebraicDataType adt, List<DataConstructor> previousConstructors, int nbSkipConstructors, DataConstructor currentConstructor, com.squareup.javapoet.ParameterizedTypeName returnType)
DeriveResult<FieldsTypeClassInstanceBindingMap>	DeriveUtilsImpl.resolveFieldInstances(AlgebraicDataType adt, com.squareup.javapoet.ClassName typeClass, List<TypeElement> lowPriorityProviders)
(package private) com.squareup.javapoet.TypeSpec	OtherwiseMatchingStepDerivator.stepTypeSpec(AlgebraicDataType adt)
(package private) com.squareup.javapoet.TypeSpec	TotalMatchingStepDerivator.stepTypeSpec(AlgebraicDataType adt, List<DataConstructor> previousConstructors, DataConstructor currentConstructor, List<DataConstructor> nextConstructors)
private DeclaredType	CataDerivator.strictCataType(AlgebraicDataType adt, DeclaredType acceptedVisitorType)
(package private) static com.squareup.javapoet.ParameterizedTypeName	PartialMatchingStepDerivator.superClass(AlgebraicDataType adt, PatternMatchingDerivator.MatchingKind matchingKind, List<DataConstructor> nextConstructors)
private com.squareup.javapoet.CodeBlock	OtherwiseMatchingStepDerivator.visitorDispatchEitherImpl(TypeElement f0, EitherModel eitherModel, com.squareup.javapoet.TypeName eitherTypeName, AlgebraicDataType adt, DeclaredType visitorType, VariableElement visitorParam, String argName)
private DeriveResult<DerivedCodeSpec>	CataDerivator.visitorDispatchImpl(AlgebraicDataType adt, DeclaredType visitorType, List<DataConstructor> constructors)
private com.squareup.javapoet.CodeBlock	OtherwiseMatchingStepDerivator.visitorDispatchImpl(TypeElement f0, AlgebraicDataType adt, DeclaredType visitorType, VariableElement visitorParam)
private DerivedCodeSpec	GettersDerivator.visitorDispatchLensGetterImpl(AlgebraicDataType adt, String arg, DeclaredType visitorType, DataArgument field)
private DerivedCodeSpec	GettersDerivator.visitorDispatchOptionalGetterImpl(OptionModel optionModel, AlgebraicDataType adt, DeclaredType visitorType, List<DataConstructor> constructors, String arg, DataArgument field, DeclaredType returnType)
private com.squareup.javapoet.CodeBlock	OtherwiseMatchingStepDerivator.visitorDispatchOptionImpl(OptionModel optionModel, AlgebraicDataType adt, DeclaredType visitorType, VariableElement visitorParam)
(package private) boolean	CataDerivator.visitorIsObjectAlgebra(AlgebraicDataType adt)
static String	MapperDerivator.visitorLambdaFactoryName(AlgebraicDataType adt)
com.squareup.javapoet.TypeName	MapperDerivator.visitorMapperTypeName(AlgebraicDataType adt, DataConstructor dc)
private com.squareup.javapoet.CodeBlock	TotalMatchingStepDerivator.vistorDispatchImpl(AlgebraicDataType adt, DeclaredType visitorType, VariableElement visitorParam, List<DataConstructor> previousConstructors, DataConstructor currentConstructor)

Uses of AlgebraicDataType in org.derive4j.processor.api

Methods in org.derive4j.processor.api with parameters of type AlgebraicDataType

Modifier and Type	Method	Description
DeriveResult<DerivedCodeSpec>	Derivator.derive(AlgebraicDataType adtModel)
DeriveResult<com.squareup.javapoet.TypeSpec>	Extension.extend(AlgebraicDataType adtModel, com.squareup.javapoet.TypeSpec codeGenSpec)
DeriveResult<DerivedCodeSpec>	DeriveUtils.generateInstance(AlgebraicDataType adt, com.squareup.javapoet.ClassName typeClass, List<TypeElement> lowPriorityProviders, Function<InstanceUtils, DerivedCodeSpec> generateInstance)
DeriveResult<FieldsTypeClassInstanceBindingMap>	DeriveUtils.resolveFieldInstances(AlgebraicDataType adt, com.squareup.javapoet.ClassName typeClass, List<TypeElement> lowPriorityProviders)

Uses of AlgebraicDataType in org.derive4j.processor.api.model

Subclasses of AlgebraicDataType in org.derive4j.processor.api.model

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

Fields in org.derive4j.processor.api.model declared as AlgebraicDataType

Modifier and Type	Field	Description
private AlgebraicDataType	AlgebraicDataTypes.Lazy.evaluation

Fields in org.derive4j.processor.api.model with type parameters of type AlgebraicDataType

Modifier and Type	Field	Description
private Supplier<AlgebraicDataType>	AlgebraicDataTypes.Lazy.expression

Methods in org.derive4j.processor.api.model that return AlgebraicDataType

Modifier and Type	Method	Description
private AlgebraicDataType	AlgebraicDataTypes.Lazy._evaluate()
static AlgebraicDataType	AlgebraicDataTypes.adt(DeriveConfig deriveConfig, TypeConstructor typeConstructor, MatchMethod matchMethod, DataConstruction dataConstruction, List<DataArgument> fields)
static AlgebraicDataType	AlgebraicDataTypes.lazy(Supplier<AlgebraicDataType> algebraicDataType)

Methods in org.derive4j.processor.api.model that return types with arguments of type AlgebraicDataType

Modifier and Type	Method	Description
final <R> Function<AlgebraicDataType, R>	AlgebraicDataTypes.CasesMatchers.TotalMatcher_Adt.adt(AlgebraicDataType.Case<R> adt)
final <R> Function<AlgebraicDataType, R>	AlgebraicDataTypes.CasesMatchers.TotalMatcher_Adt.adt_(R r)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.modDataConstruction(Function<DataConstruction, DataConstruction> dataConstructionMod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.modDataConstruction(Function<DataConstruction, DataConstruction> dataConstructionMod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.modDeriveConfig(Function<DeriveConfig, DeriveConfig> deriveConfigMod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.modDeriveConfig(Function<DeriveConfig, DeriveConfig> deriveConfigMod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.modFields(Function<List<DataArgument>, List<DataArgument>> fieldsMod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.modFields(Function<List<DataArgument>, List<DataArgument>> fieldsMod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.modMatchMethod(Function<MatchMethod, MatchMethod> matchMethodMod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.modMatchMethod(Function<MatchMethod, MatchMethod> matchMethodMod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.modTypeConstructor(Function<TypeConstructor, TypeConstructor> typeConstructorMod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.modTypeConstructor(Function<TypeConstructor, TypeConstructor> typeConstructorMod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.setDataConstruction(DataConstruction newDataConstruction)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.setDataConstruction(DataConstruction newDataConstruction)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.setDeriveConfig(DeriveConfig newDeriveConfig)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.setDeriveConfig(DeriveConfig newDeriveConfig)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.setFields(List<DataArgument> newFields)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.setFields(List<DataArgument> newFields)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.setMatchMethod(MatchMethod newMatchMethod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.setMatchMethod(MatchMethod newMatchMethod)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.setTypeConstructor(TypeConstructor newTypeConstructor)
static Function<AlgebraicDataType, AlgebraicDataType>	AlgebraicDataTypes.setTypeConstructor(TypeConstructor newTypeConstructor)

Methods in org.derive4j.processor.api.model with parameters of type AlgebraicDataType

Modifier and Type	Method	Description
static DataConstruction	AlgebraicDataTypes.getDataConstruction(AlgebraicDataType algebraicDataType)
static DeriveConfig	AlgebraicDataTypes.getDeriveConfig(AlgebraicDataType algebraicDataType)
static List<DataArgument>	AlgebraicDataTypes.getFields(AlgebraicDataType algebraicDataType)
static MatchMethod	AlgebraicDataTypes.getMatchMethod(AlgebraicDataType algebraicDataType)
static TypeConstructor	AlgebraicDataTypes.getTypeConstructor(AlgebraicDataType algebraicDataType)

Method parameters in org.derive4j.processor.api.model with type arguments of type AlgebraicDataType

Modifier and Type	Method	Description
static AlgebraicDataType	AlgebraicDataTypes.lazy(Supplier<AlgebraicDataType> algebraicDataType)

Constructor parameters in org.derive4j.processor.api.model with type arguments of type AlgebraicDataType

Modifier	Constructor	Description
(package private)	Lazy(Supplier<AlgebraicDataType> algebraicDataType)