Anoma.Client.Examples.EClient.Nock (Anoma v0.34.0)

I contain functions to test the public interface of the client.

I show how to use the nock run and prove endpoints.

Summary

div_by_zero()

A Juvix program that divides by zero and therefore fails to execute.

A Juvix program that divides by zero and therefore fails to execute. This program also produces a hint.

squared()

A juvix program that squares its input.

tracing()

A Juvix program that outputs something in the IO. It prints 1, 4, 2, 4 to IO.

@spec div_by_zero() :: binary()

A Juvix program that divides by zero and therefore fails to execute.

@spec div_by_zero_with_hint() :: binary()

A Juvix program that divides by zero and therefore fails to execute. This program also produces a hint.

@spec squared() :: binary()

A juvix program that squares its input.

@spec tracing() :: binary()

A Juvix program that outputs something in the IO. It prints 1, 4, 2, 4 to IO.