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

Functions

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.

A juvix program that squares its input.

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

Functions

div_by_zero()

@spec div_by_zero() :: binary()

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

div_by_zero_with_hint()

@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.

squared()

@spec squared() :: binary()

A juvix program that squares its input.

tracing()

@spec tracing() :: binary()

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