Package org.derive4j.processor.api.model
Class AlgebraicDataTypes.Adt
java.lang.Object
org.derive4j.processor.api.model.AlgebraicDataType
org.derive4j.processor.api.model.AlgebraicDataTypes.Adt
- Enclosing class:
AlgebraicDataTypes
-
Nested Class Summary
Nested classes/interfaces inherited from class org.derive4j.processor.api.model.AlgebraicDataType
AlgebraicDataType.Case<R>
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final DataConstruction
private final DeriveConfig
private final List
<DataArgument> private final MatchMethod
private final TypeConstructor
-
Constructor Summary
ConstructorsConstructorDescriptionAdt
(DeriveConfig deriveConfig, TypeConstructor typeConstructor, MatchMethod matchMethod, DataConstruction dataConstruction, List<DataArgument> fields) -
Method Summary
Methods inherited from class org.derive4j.processor.api.model.AlgebraicDataType
dataConstruction, deriveConfig, fields, matchMethod, typeConstructor
-
Field Details
-
deriveConfig
-
typeConstructor
-
matchMethod
-
dataConstruction
-
fields
-
-
Constructor Details
-
Adt
Adt(DeriveConfig deriveConfig, TypeConstructor typeConstructor, MatchMethod matchMethod, DataConstruction dataConstruction, List<DataArgument> fields)
-
-
Method Details
-
match
- Specified by:
match
in classAlgebraicDataType
-