Package org.derive4j.processor.api
Class BoundExpressions
java.lang.Object
org.derive4j.processor.api.BoundExpressions
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic class
private static final class
private static final class
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncases()
static BoundExpression
expression
(List<FreeVariable> freeVariables, Expression expression) static Expression
getExpression
(BoundExpression boundExpression) static List
<FreeVariable> getFreeVariables
(BoundExpression boundExpression) static BoundExpression
lazy
(Supplier<BoundExpression> boundExpression) static Function
<BoundExpression, BoundExpression> modExpression
(Function<Expression, Expression> expressionMod) static Function
<BoundExpression, BoundExpression> modFreeVariables
(Function<List<FreeVariable>, List<FreeVariable>> freeVariablesMod) static Function
<BoundExpression, BoundExpression> setExpression
(Expression newExpression) static Function
<BoundExpression, BoundExpression> setFreeVariables
(List<FreeVariable> newFreeVariables)
-
Constructor Details
-
BoundExpressions
private BoundExpressions()
-
-
Method Details
-
expression
-
lazy
-
cases
-
getFreeVariables
-
getExpression
-
setFreeVariables
public static Function<BoundExpression,BoundExpression> setFreeVariables(List<FreeVariable> newFreeVariables) -
modFreeVariables
public static Function<BoundExpression,BoundExpression> modFreeVariables(Function<List<FreeVariable>, List<FreeVariable>> freeVariablesMod) -
setExpression
-
modExpression
public static Function<BoundExpression,BoundExpression> modExpression(Function<Expression, Expression> expressionMod)
-