Anoma.Client.Examples.EProve (Anoma v0.29.0)

Summary

Functions

prove_squared()

I run the Juvix program "Squared" using the prove function.

prove_squared_small()
prove_with_cell_hint()
prove_with_hint()
prove_with_hints()
squared_without_arguments()

Functions

Link to this function

prove_squared()

@spec prove_squared() :: {:ok, Noun.t()} | :error

I run the Juvix program "Squared" using the prove function.

Link to this function

prove_squared_small()

@spec prove_squared_small() :: any()
Link to this function

prove_with_cell_hint()

@spec prove_with_cell_hint() :: {:ok, any(), any()}
Link to this function

prove_with_hint()

@spec prove_with_hint() :: {:ok, any(), any()}
Link to this function

prove_with_hints()

@spec prove_with_hints() :: {:ok, Noun.t(), [String.t()]} | :error
Link to this function

squared_without_arguments()

@spec squared_without_arguments() :: {:ok, Noun.t()} | :error