• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
    • Kestrel-books
      • Crypto-hdwallet
        • Command-error
          • Command-error-p
          • Command-error-fix
          • Command-error-case
          • Command-error-kind
          • Command-error-equiv
          • Command-error-wrong-number-of-arguments
          • Command-error-address-key-index-too-large
          • Command-error-wrong-command
          • Command-error-malformed-value
          • Command-error-malformed-to
          • Command-error-malformed-passphrase
          • Command-error-malformed-nonce
          • Command-error-malformed-mnemonic
          • Command-error-malformed-gas-price
          • Command-error-malformed-gas-limit
          • Command-error-malformed-entropy
          • Command-error-malformed-data
          • Command-error-malformed-address-key-index
          • Command-error-address-key-index-skipped
          • Command-error-address-key-derivation-fail
          • Command-error-transaction-sign-fail
          • Command-error-transaction-rlp-fail
          • Command-error-state-file-untestable
          • Command-error-state-file-present
          • Command-error-state-file-not-regular
          • Command-error-state-file-malformed
          • Command-error-state-file-absent
          • Command-error-root-key-derivation-fail
          • Command-error-purpose-key-derivation-fail
          • Command-error-pretransaction-rlp-fail
          • Command-error-no-command
          • Command-error-external-chain-key-derivation-fail
          • Command-error-coin-type-key-derivation-fail
          • Command-error-address-key-index-limit
          • Command-error-account-key-derivation-fail
        • Sign
        • Init-from-mnemonic
        • Command-error-message
        • Stat
        • Next-key
        • Init-from-entropy
        • Process-command
        • Transaction-message
        • Maybe-command-error
        • Maybe-stat
        • Check-stat-file-present
        • Valid-key-path-p
        • String-to-byte-list
        • Load-stat
        • Mnemonic-message
        • Process-sign
        • Process-init-from-entropy
        • All-valid-key-paths-p
        • String-to-word
        • String-to-nat
        • Process-next-key
        • Wallet
        • Process-init-from-mnemonic
        • Check-stat-file-absent
        • Stat-wfp
        • Save-stat
        • Stat-addresses-bounded-p
        • Stat-all-valid-key-paths-p
        • Stat-priv-keys-p
        • Stat-root-depth-zero-p
        • Stat-path-prefix-in-tree-p
        • Crypto-hdwallet-executable
        • *stat-filepath*
        • *key-path-prefix*
        • *coin-type-index*
        • *purpose-index*
        • *external-chain-index*
        • *command-name-init-from-mnemonic*
        • *command-name-init-from-entropy*
        • *account-index*
        • *command-name-sign*
        • *command-name-next-key*
      • Apt
      • Error-checking
      • Fty-extensions
      • Isar
      • Kestrel-utilities
      • Set
      • Soft
      • C
      • Bv
      • Imp-language
      • Event-macros
      • Java
      • Bitcoin
      • Ethereum
      • Yul
      • Zcash
      • ACL2-programming-language
      • Prime-fields
      • Json
      • Syntheto
      • File-io-light
      • Cryptography
      • Number-theory
      • Lists-light
      • Axe
      • Builtins
      • Solidity
      • Helpers
      • Htclient
      • Typed-lists-light
      • Arithmetic-light
    • X86isa
    • Axe
    • Execloader
  • Math
  • Testing-utilities

• Crypto-hdwallet

Command-error

Possible command errors.

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types

:malformed-mnemonic → command-error-malformed-mnemonic

:malformed-passphrase → command-error-malformed-passphrase

:malformed-entropy → command-error-malformed-entropy

:malformed-nonce → command-error-malformed-nonce

:malformed-gas-price → command-error-malformed-gas-price

:malformed-gas-limit → command-error-malformed-gas-limit

:malformed-to → command-error-malformed-to

:malformed-value → command-error-malformed-value

:malformed-data → command-error-malformed-data

:malformed-address-key-index → command-error-malformed-address-key-index

:address-key-index-too-large → command-error-address-key-index-too-large

:address-key-index-skipped → command-error-address-key-index-skipped

:root-key-derivation-fail → command-error-root-key-derivation-fail

:purpose-key-derivation-fail → command-error-purpose-key-derivation-fail

:coin-type-key-derivation-fail → command-error-coin-type-key-derivation-fail

:account-key-derivation-fail → command-error-account-key-derivation-fail

:external-chain-key-derivation-fail → command-error-external-chain-key-derivation-fail

:address-key-derivation-fail → command-error-address-key-derivation-fail

:address-key-index-limit → command-error-address-key-index-limit

:pretransaction-rlp-fail → command-error-pretransaction-rlp-fail

:transaction-sign-fail → command-error-transaction-sign-fail

:transaction-rlp-fail → command-error-transaction-rlp-fail

:state-file-untestable → command-error-state-file-untestable

:state-file-absent → command-error-state-file-absent

:state-file-present → command-error-state-file-present

:state-file-not-regular → command-error-state-file-not-regular

:state-file-malformed → command-error-state-file-malformed

:wrong-number-of-arguments → command-error-wrong-number-of-arguments

:wrong-command → command-error-wrong-command

:no-command → command-error-no-command

These are structured error values that may be returned by the functions that model the commands of the wallet.

Some are directly associated to command inputs (strings) that are incorrect in some ways. Others arise when more internal processes (such as key derivations) fail. The meaning of these errors is explained in the documentation of the functions that may return them. One arises if the file that stores the wallet state has been corrupted.

Subtopics

Command-error-p

Recognizer for command-error structures.

Command-error-fix

Fixing function for command-error structures.

Command-error-case

Case macro for the different kinds of command-error structures.

Command-error-kind

Get the kind (tag) of a command-error structure.

Command-error-equiv

Basic equivalence relation for command-error structures.

Command-error-wrong-number-of-arguments

Command-error-address-key-index-too-large

Command-error-wrong-command

Command-error-malformed-value

Command-error-malformed-to

Command-error-malformed-passphrase

Command-error-malformed-nonce

Command-error-malformed-mnemonic

Command-error-malformed-gas-price

Command-error-malformed-gas-limit

Command-error-malformed-entropy

Command-error-malformed-data

Command-error-malformed-address-key-index

Command-error-address-key-index-skipped

Command-error-address-key-derivation-fail

Command-error-transaction-sign-fail

Command-error-transaction-rlp-fail

Command-error-state-file-untestable

Command-error-state-file-present

Command-error-state-file-not-regular

Command-error-state-file-malformed

Command-error-state-file-absent

Command-error-root-key-derivation-fail

Command-error-purpose-key-derivation-fail

Command-error-pretransaction-rlp-fail

Command-error-no-command

Command-error-external-chain-key-derivation-fail

Command-error-coin-type-key-derivation-fail

Command-error-address-key-index-limit

Command-error-account-key-derivation-fail