Lemma.Response (lemma_engine v0.10.0)

Typed projection of the JSON map returned by Lemma.evaluate/3: evaluated rule results and the resolved temporal window of the spec version actually run.

rows holds the list rows the results reach, in first-reached order, each a raw map with "spec", "effective", "data" and "rules". A row reference's "index" points into it. Absent from the JSON when no result reaches a row.

Lemma.evaluate/3 itself still returns the plain decoded JSON map for backward compatibility; call from_map/1 on that map to get a typed struct.

Summary

Types

t()

Functions

from_map(map)

Builds a Lemma.Response from the map decoded from Lemma.evaluate/3's JSON.

Types

t()

@type t() :: %Lemma.Response{
  effective: String.t(),
  results: %{optional(String.t()) => Lemma.RuleResult.t()},
  rows: [map()],
  spec: String.t(),
  spec_effective_from: String.t() | nil,
  spec_effective_to: String.t() | nil
}

Functions

from_map(map)

@spec from_map(map()) :: t()

Builds a Lemma.Response from the map decoded from Lemma.evaluate/3's JSON.

Raises KeyError if a required field (spec, effective, results) is missing — that shape never comes from a real Lemma.evaluate/3 call.