PtcRunner.Lisp.EvaluatorError (PtcRunner v0.14.0)

Copy Markdown View Source

Public-safe renderer for catalogued PTC-Lisp evaluator failures.

Messages are built from admitted structured details or fixed literals. Raw evaluator text, BEAM names, internal reference IDs, and inspected values are never forwarded. An unadmitted reason or detail set fails closed.

Summary

Types

evidence()

Functions

envelope_value(reason, details)
format(reason, details)
lisp_message(reason, details)
public_evidence(reason, details)

Types

evidence()

@type evidence() :: %{kind: binary(), message: binary()}

Functions

envelope_value(reason, details)

@spec envelope_value(atom(), map()) :: {:ok, map()} | :error

format(reason, details)

@spec format(atom(), map()) :: {:ok, binary()} | :error

lisp_message(reason, details)

@spec lisp_message(atom(), map()) :: {:ok, binary()} | :error

public_evidence(reason, details)

@spec public_evidence(atom(), map()) :: {:ok, evidence()} | :error