@type addr() :: Kadena.Types.Base16String.t() | nil

@type cap() :: Kadena.Types.Cap.t()

@type clist() :: [cap()] | nil

@type data() :: Kadena.Types.EnvData.t() | nil

@type literal() ::
  integer()
  | boolean()
  | String.t()
  | Kadena.Types.PactInt.t()
  | Kadena.Types.PactDecimal.t()
  | [Kadena.Types.PactValue.t()]

@type map_return() :: map() | nil

@type meta() :: Kadena.Types.MetaData.t()

@type network_id() :: Kadena.Types.NetworkID.t() | nil

@type nonce() :: String.t()

@type pact_payload() :: Kadena.Types.PactPayload.t()

@type pact_values() :: [Kadena.Types.PactValue.t()]

@type payload() :: Kadena.Types.PactPayload.t()

@type proof() :: Kadena.Types.Proof.t() | nil

@type raw_value() :: integer() | string_value() | boolean() | Decimal.t()

@type scheme() :: :ed25519 | nil

@type scheme_return() :: :ED25519 | nil

@type signer() :: Kadena.Types.Signer.t()

@type signers() :: [Kadena.Types.Signer.t()]

@type string_value() :: String.t() | nil

@type t() :: %Kadena.Chainweb.Pact.CommandPayload{
  meta: meta(),
  network_id: network_id(),
  nonce: nonce(),
  payload: payload(),
  signers: signers()
}

@type valid_list() :: {:ok, list()}

@type valid_map() :: {:ok, map()}

@type valid_string() :: {:ok, String.t()}

@type validation() :: {:ok, value()} | {:error, Keyword.t()}

@type value() :: network_id() | payload() | signers() | meta() | nonce()