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

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Bindings

private Bindings()

Method Detail

binding

public static Binding binding(FreeVariable variable,
                              Expression value)

lazy

public static Binding lazy(java.util.function.Supplier<Binding> binding)

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)