Package org.derive4j.processor.api
Class BoundExpressions.CasesMatchers.TotalMatcher_Expression
java.lang.Object
org.derive4j.processor.api.BoundExpressions.CasesMatchers.TotalMatcher_Expression
- Enclosing class:
BoundExpressions.CasesMatchers
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionfinal <X> Function
<BoundExpression, X> expression
(BiFunction<List<FreeVariable>, Expression, X> expression) final <X> Function
<BoundExpression, X> expression_
(X x)
-
Constructor Details
-
TotalMatcher_Expression
TotalMatcher_Expression()
-
-
Method Details
-
expression
public final <X> Function<BoundExpression,X> expression(BiFunction<List<FreeVariable>, Expression, X> expression) -
expression_
-