Trait vapcore_light::request::IncompleteRequest

pub trait IncompleteRequest: Sized {
    type Complete;
    type Response: ResponseLike;
    fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput>
    where
        F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>;
    fn note_outputs<F>(&self, f: F)
    where
        F: FnMut(usize, OutputKind);
    fn fill<F>(&mut self, oracle: F)
    where
        F: Fn(usize, usize) -> Result<Output, NoSuchOutput>;
    fn complete(self) -> Result<Self::Complete, NoSuchOutput>;
    fn adjust_refs<F>(&mut self, mapping: F)
    where
        F: FnMut(usize) -> usize;
}

A potentially incomplete request.

Associated Types

type Complete

The complete variant of this request.

type Response: ResponseLike

The response to this request.

Loading content...

Required methods

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

Check prior outputs against the needed inputs.

This is called to ensure consistency of this request with others in the same packet.

fn note_outputs<F>(&self, f: F) where
    F: FnMut(usize, OutputKind), 

Note that this request will produce the following outputs.

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

Fill fields of the request.

This function is provided an “output oracle” which allows fetching of prior request outputs. Only outputs previously checked with check_outputs may be available.

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

Attempt to convert this request into its complete variant. Will succeed if all fields have been filled, will fail otherwise.

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

Adjust back-reference request indices.

Loading content...

Implementors

impl IncompleteRequest for CheckedRequest

type Complete = CompleteRequest

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, f: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, f: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

impl IncompleteRequest for Request

type Complete = CompleteRequest

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, f: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

impl IncompleteRequest for vapcore_light::request::account::Incomplete

type Complete = Complete

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, f: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

impl IncompleteRequest for vapcore_light::request::block_body::Incomplete

type Complete = Complete

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, _: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

impl IncompleteRequest for vapcore_light::request::block_receipts::Incomplete

type Complete = Complete

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, _: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

impl IncompleteRequest for vapcore_light::request::contract_code::Incomplete

type Complete = Complete

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, _: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

impl IncompleteRequest for vapcore_light::request::epoch_signal::Incomplete

type Complete = Complete

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, _: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

impl IncompleteRequest for vapcore_light::request::execution::Incomplete

type Complete = Complete

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, _: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

impl IncompleteRequest for vapcore_light::request::header::Incomplete

type Complete = Complete

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, _: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

impl IncompleteRequest for vapcore_light::request::header_proof::Incomplete

type Complete = Complete

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, note: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

impl IncompleteRequest for vapcore_light::request::storage::Incomplete

type Complete = Complete

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, f: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

impl IncompleteRequest for vapcore_light::request::transaction_index::Incomplete

type Complete = Complete

type Response = Response

fn check_outputs<F>(&self, f: F) -> Result<(), NoSuchOutput> where
    F: FnMut(usize, usize, OutputKind) -> Result<(), NoSuchOutput>, 

fn note_outputs<F>(&self, f: F) where
    F: FnMut(usize, OutputKind), 

fn fill<F>(&mut self, oracle: F) where
    F: Fn(usize, usize) -> Result<Output, NoSuchOutput>, 

fn complete(self) -> Result<Self::Complete, NoSuchOutput>

fn adjust_refs<F>(&mut self, mapping: F) where
    F: FnMut(usize) -> usize, 

Loading content...