Enum Kind 

pub enum Kind {
    BadVersion,
    BadVarint,
    Truncated,
    BadFlag,
    TreeHeightOver64,
    TreeHeightZero,
    OffsetOutsideTree,
    NoTxidAtLevelZero,
    MissingSibling,
    MismatchedNode,
    RootNotCarried,
    BumpIndexNamesNoBump,
    TxidNotInBump,
    InputNamesNoElement,
    StubNotProven,
    TrailingBytes,
    SubjectMissing,
    UnrelatedTransaction,
    NoInputs,
    NoOutputs,
    UnprovenCoinbase,
    NullOutpoint,
    DuplicateInput,
    ValueOutOfRange,
}

The twenty-four kinds of refusal, the Lean’s Kind. None is a size or a count: no byte is wrong by being one of many.

Variants

BadVersion

The version word is neither 0100BEEF nor 0200BEEF.

BadVarint

A varint cut short or encoded non-canonically.

Truncated

A fixed-width field cut short.

BadFlag

A flag byte outside its table.

TreeHeightOver64

A BUMP’s tree-height byte over 64.

TreeHeightZero

A BUMP’s tree-height byte 0.

OffsetOutsideTree

A leaf’s offset at or beyond the width of its level.

NoTxidAtLevelZero

A BUMP whose level 0 carries no hash.

MissingSibling

A path needs a node the BUMP neither carries nor determines.

MismatchedNode

A node the level below determines differs from the one carried.

RootNotCarried

A BUMP’s root is not the root the headers carry at its height.

BumpIndexNamesNoBump

A transaction’s BUMP index names no BUMP.

TxidNotInBump

A transaction’s BUMP does not carry its txid at level 0.

InputNamesNoElement

An input of an unproven transaction names no earlier transaction.

StubNotProven

A txid-only entry no BUMP proves.

TrailingBytes

A byte after the frame’s end.

SubjectMissing

Atomic: the subject is not the last transaction.

UnrelatedTransaction

Atomic: a transaction that is not the subject and that nothing spends.

NoInputs

A raw transaction with no input (since 0.4.1).

NoOutputs

A raw transaction with an input and no output (since 0.4.3).

UnprovenCoinbase

An unproven single null-outpoint input, at the transaction’s leading byte. [SRC] sibling@87f0461 TxRules.lean:35-38,102 (#68).

NullOutpoint

A null outpoint in a regular transaction, at the input’s previous txid. [SRC] sibling@87f0461 TxRules.lean:31-32,107 (#68).

DuplicateInput

A repeated outpoint, at the repeating input’s previous txid. [SRC] sibling@87f0461 TxRules.lean:108 (#68).

ValueOutOfRange

An output value or running total outside MoneyRange, at the value field. [SRC] sibling@87f0461 TxRules.lean:25,88-93 (#68).

Implementations

impl Kind

pub const ALL: [Kind; 24]

The twenty-four kinds, each once, in the Lean’s order (Kind.all).

Trait Implementations

impl Clone for Kind

fn clone(&self) -> Kind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Kind

impl Debug for Kind

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Eq for Kind

impl Hash for Kind

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Kind

fn eq(&self, other: &Kind) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Kind