Module canrun::core

source ·
Expand description

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

Modules

Structs

  • LVar
    A logical variable that represents a potential value of type T.
  • LVarList
    An opaque list of untyped LVars.
  • ReadyState
    Derives from a State that has been confirmed to have no open forks or constraints. A ReadyState can have Values reified.
  • State
    The core struct used to contain and manage Value bindings.

Enums

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

Traits

  • Fork
    Fork a State into zero or more alternate states.
  • Query
    Derive reified values potential resolved states.
  • Reify
    Extract a fully resolved T from a Value<T> associated with a State.
  • StateIterator
    This trait is implemented on the typical values that contain or represent an open state, such as Goal and of course State itself.
  • Unify
    How compatible values are matched with each other.

Type Definitions