Struct sapio_miniscript::interpreter::Iter[][src]

pub struct Iter<'intp, 'txin: 'intp, F: FnMut(&PublicKey, BitcoinSig) -> bool> { /* fields omitted */ }

Iterator over all the constraints satisfied by a completed scriptPubKey and witness stack

Returns all satisfied constraints, even if they were redundant (i.e. did not contribute to the script being satisfied). For example, if a signature were provided for an and_b(Pk,false) fragment, that signature will be returned, even though the entire and_b must have failed and must not have been used.

In case the script is actually dissatisfied, this may return several values before ultimately returning an error.

Trait Implementations

impl<'intp, 'txin: 'intp, F> Iterator for Iter<'intp, 'txin, F> where
    NoChecks: ScriptContext,
    F: FnMut(&PublicKey, BitcoinSig) -> bool
[src]

Iterator for Iter

type Item = Result<SatisfiedConstraint<'intp, 'txin>, Error>

The type of the elements being iterated over.

Auto Trait Implementations

impl<'intp, 'txin, F> RefUnwindSafe for Iter<'intp, 'txin, F> where
    F: RefUnwindSafe

impl<'intp, 'txin, F> Send for Iter<'intp, 'txin, F> where
    F: Send

impl<'intp, 'txin, F> Sync for Iter<'intp, 'txin, F> where
    F: Sync

impl<'intp, 'txin, F> Unpin for Iter<'intp, 'txin, F> where
    F: Unpin,
    'txin: 'intp, 

impl<'intp, 'txin, F> !UnwindSafe for Iter<'intp, 'txin, F>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<I> IntoIterator for I where
    I: Iterator
[src]

type Item = <I as Iterator>::Item

The type of the elements being iterated over.

type IntoIter = I

Which kind of iterator are we turning this into?

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.