Package org.derive4j.processor.api
Class Bindings
java.lang.Object
org.derive4j.processor.api.Bindings
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionprivate static final class
static class
private static final class
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic Binding
binding
(FreeVariable variable, Expression value) cases()
static Expression
static FreeVariable
getVariable
(Binding binding) static Binding
modValue
(Function<Expression, Expression> valueMod) modVariable
(Function<FreeVariable, FreeVariable> variableMod) setValue
(Expression newValue) setVariable
(FreeVariable newVariable)
-
Constructor Details
-
Bindings
private Bindings()
-
-
Method Details
-
binding
-
lazy
-
cases
-
getVariable
-
getValue
-
setVariable
-
modVariable
public static Function<Binding,Binding> modVariable(Function<FreeVariable, FreeVariable> variableMod) -
setValue
-
modValue
-