Nock (Anoma v0.25.0)

Nock, a universal function on nouns.

Summary

Types

t()

I contain environmental information on how Nock shall be evaluated.

Functions

cons(a, b)
decrement_arm()
decrement_core()
gas_meter()
gas_meter(gas)
get_jet(battery_mug)
logics_core()
metered_nock(subject, formula)
metered_nock(subject, formula, environment)
naive_nock(subject, formula)
naive_nock(subject, formula, environment)
nock(subject, formula)
nock(subject, formula, env)
nock_0(axis)
nock_1(constant)
nock_2(subject_formula, formula_formula)
nock_3(sub_formula)
nock_4(sub_formula)
nock_5(formula_1, formula_2)
nock_6(cond, true_branch, false_branch)
nock_7(subject_formula, sub_formula)
nock_8(push_formula, sub_formula)
nock_9(axis, sub_formula)
nock_10(axis, replacement_formula, sub_formula)
nock_11(hint_noun, sub_formula)
nock_11(hint_noun, hint_formula, sub_formula)
process_hint(_)
process_hint(puts, hint_result)
put_jet(battery_mug, jet_info)
read_with_id(id_key_list, env)
rm_core()
scry_forbidden(_)
stdlib_core()
stdlib_layers()

Gives the total numbers of layers in the standard library

Types

Link to this type

t()

@type t() :: %Nock{
  meter_pid: pid() | nil,
  scry_function: (term() -> {:ok, term()} | :error)
}

I contain environmental information on how Nock shall be evaluated.

For example Ι contain information on jettedness to determine if we should be using jets or not

Functions

Link to this function

cons(a, b)

Link to this function

decrement_arm()

Link to this function

decrement_core()

Link to this function

gas_meter()

@spec gas_meter() :: non_neg_integer()
Link to this function

gas_meter(gas)

@spec gas_meter(non_neg_integer()) :: non_neg_integer()
Link to this function

get_jet(battery_mug)

Link to this function

logics_core()

@spec logics_core() :: Noun.t()
Link to this function

metered_nock(subject, formula)

@spec metered_nock(Noun.t(), Noun.t()) ::
  {:ok, Noun.t(), non_neg_integer()} | {:error, non_neg_integer()}
Link to this function

metered_nock(subject, formula, environment)

@spec metered_nock(Noun.t(), Noun.t(), t()) ::
  {:ok, Noun.t(), non_neg_integer()} | {:error, non_neg_integer()}
Link to this function

naive_nock(subject, formula)

@spec naive_nock(Noun.t(), Noun.t()) :: {:ok, Noun.t()} | :error
Link to this function

naive_nock(subject, formula, environment)

@spec naive_nock(Noun.t(), Noun.t(), t()) :: {:ok, Noun.t()} | :error
Link to this function

nock(subject, formula)

@spec nock(Noun.t(), Noun.t()) :: {:ok, Noun.t()} | :error
Link to this function

nock(subject, formula, env)

@spec nock(Noun.t(), Noun.t(), t()) :: {:ok, Noun.t()} | :error
Link to this function

nock_0(axis)

Link to this function

nock_1(constant)

Link to this function

nock_2(subject_formula, formula_formula)

Link to this function

nock_3(sub_formula)

Link to this function

nock_4(sub_formula)

Link to this function

nock_5(formula_1, formula_2)

Link to this function

nock_6(cond, true_branch, false_branch)

Link to this function

nock_7(subject_formula, sub_formula)

Link to this function

nock_8(push_formula, sub_formula)

Link to this function

nock_9(axis, sub_formula)

Link to this function

nock_10(axis, replacement_formula, sub_formula)

Link to this function

nock_11(hint_noun, sub_formula)

Link to this function

nock_11(hint_noun, hint_formula, sub_formula)

Link to this function

process_hint(_)

Link to this function

process_hint(puts, hint_result)

Link to this function

put_jet(battery_mug, jet_info)

Link to this function

read_with_id(id_key_list, env)

@spec read_with_id(Noun.t(), t()) :: {:ok, Noun.t()} | :error
Link to this function

rm_core()

@spec rm_core() :: Noun.t()
Link to this function

scry_forbidden(_)

Link to this function

stdlib_core()

@spec stdlib_core() :: Noun.t()
Link to this function

stdlib_layers()

Gives the total numbers of layers in the standard library