Rete.IR.Production (Rete v0.7.0)

A rule or a query.

t/0 types every field. Three are not obvious:

:name names the production, but the generated RHS function is rhs_name/1 of it instead — a query owns its own name in its module.
:bind comes from the classified LHS, via lhs_bindings/1. So it excludes a negation's variables, and it is the union over a disjunction's branches. A variable only some branches bind is not in every token, so the RHS reads it defensively.
:params is the head of a query: the bindings that key its matches. It is always [] on a rule. Unlike :bind, it holds only guaranteed bindings, which are the keys that every match carries. It keeps declaration order, because that is the order in which an error message about a call names the parameters.
:rhs is nil until the production is escaped. The engine logically inserts and truth-maintains its return value. nil or [] inserts nothing.

Summary

Types

t()

Types

t()

@type t() :: %Rete.IR.Production{
  __ast__: map() | nil,
  bind: [atom()],
  hash: integer(),
  lhs: Rete.IR.lhs(),
  module: module(),
  name: atom(),
  opts: keyword(),
  params: [atom()],
  rhs: (integer(), map() -> any()) | nil,
  type: :rule | :query
}