ExDatalog.IR.Constraint (ExDatalog v0.2.0)

Copy Markdown View Source

An IR constraint: a comparison or arithmetic predicate.

Comparison constraints have result: nil. Arithmetic constraints have result: {:var, name}.

Summary

Types

t()

Functions

serialize(constraint)

Types

t()

@type t() :: %ExDatalog.IR.Constraint{
  left: ExDatalog.IR.ir_term(),
  op: ExDatalog.Constraint.op(),
  result: ExDatalog.IR.ir_term() | nil,
  right: ExDatalog.IR.ir_term()
}

Functions

serialize(constraint)

@spec serialize(t()) :: map()