# Trait ethcore::verification::queue::kind::Kind [−] [src]

    pub trait Kind: 'static + Sized + Send + Sync {
        type Input: Sized + Send + BlockLike + HeapSizeOf;
        type Unverified: Sized + Send + BlockLike + HeapSizeOf;
        type Verified: Sized + Send + BlockLike + HeapSizeOf;
        fn create(input: Self::Input,
              engine: &Engine)
              -> Result<Self::Unverified, Error>;
        fn verify(unverified: Self::Unverified,
              engine: &Engine,
              check_seal: bool)
              -> Result<Self::Verified, Error>;
    }

Defines transitions between stages of verification.

It starts with a fallible transformation from an "input" into the unverified item. This consists of quick, simply done checks as well as extracting particular data.

Then, there is a `verify` function which performs more expensive checks and produces the verified output.

For correctness, the hashes produced by each stage of the pipeline should be consistent.

## Associated Types

### `type Input: Sized + Send + BlockLike + HeapSizeOf`

The first stage: completely unverified.

### `type Unverified: Sized + Send + BlockLike + HeapSizeOf`

The second stage: partially verified.

### `type Verified: Sized + Send + BlockLike + HeapSizeOf`

The third stage: completely verified.

## Required Methods

### `fn create(input: Self::Input,
engine: &Engine)
-> Result<Self::Unverified, Error>`

Attempt to create the `Unverified` item from the input.

### `fn verify(unverified: Self::Unverified,
engine: &Engine,
check_seal: bool)
-> Result<Self::Verified, Error>`

Attempt to verify the `Unverified` item using the given engine.

## Implementors

- `impl Kind for Blocks`
- `impl Kind for Headers`

# Help

## Keyboard Shortcuts

?
  Show this help dialog
S
  Focus the search field
⇤
  Move up in search results
⇥
  Move down in search results
⏎
  Go to active search result
+
  Collapse/expand all sections

## Search Tricks

Prefix searches with a type followed by a colon (e.g. `fn:`) to restrict the search to a given type.

Accepted types are: `fn`, `mod`, `struct`, `enum`, `trait`, `type`, `macro`, and `const`.

Search functions by type signature (e.g. `vec -> usize` or `* -> vec`)