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
public static final class AlgebraicDataTypes.CasesMatchers.TotalMatcher_Adt extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description TotalMatcher_Adt()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> java.util.function.Function<AlgebraicDataType,R>
adt(AlgebraicDataType.Case<R> adt)
<R> java.util.function.Function<AlgebraicDataType,R>
adt_(R r)
-
-
-
Method Detail
-
adt
public final <R> java.util.function.Function<AlgebraicDataType,R> adt(AlgebraicDataType.Case<R> adt)
-
adt_
public final <R> java.util.function.Function<AlgebraicDataType,R> adt_(R r)
-
-