Module canrun::value

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

Values are parameterized with the type they can contain. This ensures that they can only be unified with values of the same type, and they can only be added to states with a compatible domain.

Macros

val

Easy conversion of LVar<T> and T values into Val<T>.

Structs

LVar

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

Enums

Val

The possible states a value can be in.

Traits

IntoVal

Helper for converting into Val<T>.

ReifyIn

Extract a fully resolved T from a Val<T>.

Functions

var

Create a new logical var.