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

@type command() :: Kadena.Types.Command.t()

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

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

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

@type keypair() :: Kadena.Types.KeyPair.t()

@type keypairs() :: [keypair()]

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

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

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

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

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

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

@type rollback() :: boolean()

@type sign_command() :: Kadena.Types.SignCommand.t()

@type sign_commands() :: [sign_command()]

@type signatures() :: [Kadena.Types.Signature.t()]

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

@type step() :: integer()

@type t() :: %Kadena.Pact.ContCommand{
  data: data(),
  keypairs: keypairs(),
  meta_data: meta_data(),
  network_id: network_id(),
  nonce: nonce(),
  pact_tx_hash: pact_tx_hash(),
  proof: proof(),
  rollback: rollback(),
  signers: signers(),
  step: step()
}

@type valid_command() :: {:ok, command()}

@type valid_command_json_string() :: {:ok, json_string_payload()}

@type valid_payload() :: {:ok, pact_payload()}

@type valid_sign_commands() :: {:ok, sign_commands()}

@type valid_signatures() :: {:ok, signatures()}