View Source Kadena.Types.PactExec (Kadena v0.5.0)

PactExec struct definition.

Link to this section Summary

Link to this section Types

@type bool_value() :: executed() | step_has_rollback()
@type continuation() :: Kadena.Types.Continuation.t()
@type executed() :: boolean() | nil
@type pact_id() :: Kadena.Types.PactTransactionHash.t()
@type pact_id_arg() :: String.t()
@type step() :: Kadena.Types.Step.t()
@type step_arg() :: number()
@type step_count() :: integer()
@type step_has_rollback() :: boolean()
@type t() :: %Kadena.Types.PactExec{
  continuation: continuation(),
  executed: executed(),
  pact_id: pact_id(),
  step: step(),
  step_count: step_count(),
  step_has_rollback: step_has_rollback(),
  yield: yield()
}
@type validation() :: {:ok, value()} | {:error, Keyword.t()}
@type value() ::
  pact_id() | step() | step_count() | bool_value() | continuation() | yield()
@type yield() :: Kadena.Types.Yield.t() | nil