Module canrun::core

Expand description

Low level implementation with basic unification, forking and constraint tracking.

Modules

Run code when variables are resolved.

A logical variable that represents a potential value of type T.

The core struct used to contain and manage Value bindings.

Contain individual resolved values or variables that can be bound through unification.

Fork a State into zero or more alternate states.

Derive reified values potential resolved states.

Extract a fully resolved T from a Value<T> associated with a State.

This trait is implemented on the typical values that contain or represent an open state, such as Goal and of course State itself.

How compatible values are matched with each other.

An Iterator of States, with all pending Forks applied and Values resolved.