Package org.derive4j.processor.api
Class Bindings
- java.lang.Object
-
- org.derive4j.processor.api.Bindings
-
public final class Bindings extends java.lang.Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private static class
Bindings.Binding_
static class
Bindings.CasesMatchers
private static class
Bindings.Lazy
-
Constructor Summary
Constructors Modifier Constructor Description private
Bindings()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Binding
binding(FreeVariable variable, Expression value)
static Bindings.CasesMatchers.TotalMatcher_Binding
cases()
static Expression
getValue(Binding binding)
static FreeVariable
getVariable(Binding binding)
static Binding
lazy(java.util.function.Supplier<Binding> binding)
static java.util.function.Function<Binding,Binding>
modValue(java.util.function.Function<Expression,Expression> valueMod)
static java.util.function.Function<Binding,Binding>
modVariable(java.util.function.Function<FreeVariable,FreeVariable> variableMod)
static java.util.function.Function<Binding,Binding>
setValue(Expression newValue)
static java.util.function.Function<Binding,Binding>
setVariable(FreeVariable newVariable)
-
-
-
Method Detail
-
binding
public static Binding binding(FreeVariable variable, Expression value)
-
cases
public static Bindings.CasesMatchers.TotalMatcher_Binding cases()
-
getVariable
public static FreeVariable getVariable(Binding binding)
-
getValue
public static Expression getValue(Binding binding)
-
setVariable
public static java.util.function.Function<Binding,Binding> setVariable(FreeVariable newVariable)
-
modVariable
public static java.util.function.Function<Binding,Binding> modVariable(java.util.function.Function<FreeVariable,FreeVariable> variableMod)
-
setValue
public static java.util.function.Function<Binding,Binding> setValue(Expression newValue)
-
modValue
public static java.util.function.Function<Binding,Binding> modValue(java.util.function.Function<Expression,Expression> valueMod)
-
-