Package org.derive4j.processor.api.model
Class AlgebraicDataTypes.CasesMatchers.TotalMatcher_Adt
java.lang.Object
org.derive4j.processor.api.model.AlgebraicDataTypes.CasesMatchers.TotalMatcher_Adt
- Enclosing class:
AlgebraicDataTypes.CasesMatchers
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionfinal <R> Function
<AlgebraicDataType, R> adt
(AlgebraicDataType.Case<R> adt) final <R> Function
<AlgebraicDataType, R> adt_
(R r)
-
Constructor Details
-
TotalMatcher_Adt
TotalMatcher_Adt()
-
-
Method Details
-
adt
-
adt_
-