View Source Guesswork.Constraint.Result (Guesswork v0.8.0)

A simple struct that indicates that a constraint has evaluated a to a new value.

Summary

Types

t()

@type t() :: %Guesswork.Constraint.Result{
  halt_on_error: boolean(),
  negated: boolean(),
  term: Guesswork.Ast.Entity.t(),
  vars: [Guesswork.Ast.Variable.t()]
}