Class Bindings

java.lang.Object

org.derive4j.processor.api.Bindings

public final class Bindings
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final class	Bindings.Binding_
static class	Bindings.CasesMatchers
private static final 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(Supplier<Binding> binding)
static Function<Binding,Binding>	modValue(Function<Expression, Expression> valueMod)
static Function<Binding,Binding>	modVariable(Function<FreeVariable, FreeVariable> variableMod)
static Function<Binding,Binding>	setValue(Expression newValue)
static Function<Binding,Binding>	setVariable(FreeVariable newVariable)

Methods inherited from class Object

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

Constructor Details

Bindings

private Bindings()

Method Details

binding

public static Binding binding(FreeVariable variable,
 Expression value)

lazy

public static Binding lazy(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 Function<Binding,Binding> setVariable(FreeVariable newVariable)

modVariable

public static Function<Binding,Binding> modVariable(Function<FreeVariable, FreeVariable> variableMod)

setValue

public static Function<Binding,Binding> setValue(Expression newValue)

modValue

public static Function<Binding,Binding> modValue(Function<Expression, Expression> valueMod)