Package org.derive4j.processor.api
Class Bindings.Binding_
- java.lang.Object
-
- org.derive4j.processor.api.Binding
-
- org.derive4j.processor.api.Bindings.Binding_
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.derive4j.processor.api.Binding
Binding.Case<X>
-
-
Field Summary
Fields Modifier and Type Field Description private Expression
value
private FreeVariable
variable
-
Constructor Summary
Constructors Constructor Description Binding_(FreeVariable variable, Expression value)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <X> X
binding(Binding.Case<X> binding)
-
-
-
Field Detail
-
variable
private final FreeVariable variable
-
value
private final Expression value
-
-
Constructor Detail
-
Binding_
Binding_(FreeVariable variable, Expression value)
-
-
Method Detail
-
binding
public <X> X binding(Binding.Case<X> binding)
-
-