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

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

Summary

Types

t()

Types

t()

@type t() :: %Guesswork.Constraint.Result{
  halt_on_error: boolean(),
  negated: boolean(),
  term: Guesswork.Ast.Term.entity(),
  var: Guesswork.Ast.Variable.t()
}