FreeVariables.Lazy

java.lang.Object
- org.derive4j.processor.api.FreeVariable
- - org.derive4j.processor.api.FreeVariables.Lazy

Enclosing class:: FreeVariables

private static final class FreeVariables.Lazy
extends FreeVariable

- Nested Class Summary
  - Nested classes/interfaces inherited from class org.derive4j.processor.api.FreeVariable
    FreeVariable.Case<X>
- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  private FreeVariable evaluation
  
  private java.util.function.Supplier<FreeVariable> expression
- Constructor Summary
  
  Constructors
  Constructor Description
  
  Lazy(java.util.function.Supplier<FreeVariable> freeVariable)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  private FreeVariable _evaluate()
  
  <X> X variable(FreeVariable.Case<X> variable)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

expression

private volatile java.util.function.Supplier<FreeVariable> expression

evaluation
```
private FreeVariable evaluation
```

Constructor Detail

Lazy

Lazy(java.util.function.Supplier<FreeVariable> freeVariable)

Method Detail

_evaluate
```
private FreeVariable _evaluate()
```

variable

public <X> X variable(FreeVariable.Case<X> variable)

Specified by:: variable in class FreeVariable