QuintConnect.ITF.Value (quint_connect v0.1.0)

Copy Markdown View Source

Normalizes ITF-encoded Quint values into Elixir terms.

Big integers become integers, ITF maps become maps, sets become MapSets, tuples become Elixir tuples, and variants stay as %{"tag" => ..., "value" => ...}.

Summary

Types

normalized()

Functions

normalize(value)

Normalizes one decoded JSON value.

Types

normalized()

@type normalized() :: term()

Functions

normalize(value)

@spec normalize(term()) :: {:ok, normalized()} | {:error, term()}

Normalizes one decoded JSON value.