Struct StackEntry

struct StackEntry<X: Cx> {
    input: X::Input,
    available_depth: AvailableDepth,
    reached_depth: StackDepth,
    heads: CycleHeads,
    encountered_overflow: bool,
    has_been_used: Option<UsageKind>,
    nested_goals: NestedGoals<X>,
    provisional_result: Option<X::Result>,
}

Stack entries of the evaluation stack. Its fields tend to be lazily when popping a child goal or completely immutable.

Fields

input: X::Input

available_depth: AvailableDepth

The available depth of a given goal, immutable.

reached_depth: StackDepth

The maximum depth reached by this stack entry, only up-to date for the top of the stack and lazily updated for the rest.

heads: CycleHeads

All cycle heads this goal depends on. Lazily updated and only up-to date for the top of the stack.

encountered_overflow: bool

Whether evaluating this goal encountered overflow. Lazily updated.

has_been_used: Option<UsageKind>

Whether this goal has been used as the root of a cycle. This gets eagerly updated when encountering a cycle.

nested_goals: NestedGoals<X>

The nested goals of this goal, see the doc comment of the type.

provisional_result: Option<X::Result>

Starts out as None and gets set when rerunning this goal in case we encounter a cycle.

Trait Implementations

impl<X> Debug for StackEntry<X>

where X: Cx,

fn fmt(&self, __f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.