[][src]Enum miniscript::miniscript::types::correctness::Base

pub enum Base {
    B,
    K,
    V,
    W,
}

Basic type representing where the fragment can go

Variants

B

Takes its inputs from the top of the stack. Pushes nonzero if the condition is satisfied. If not, if it does not abort, then 0 is pushed.

K

Takes its inputs from the top of the stack. Pushes a public key, regardless of satisfaction, onto the stack. Must be wrapped in c: to turn into any other type.

V

Takes its inputs from the top of the stack, which must satisfy the condition (will abort otherwise). Does not push anything onto the stack.

W

Takes from the stack its inputs + element X at the top. If the inputs satisfy the condition, [nonzero X] or [X nonzero] is pushed. If not, if it does not abort, then [0 X] or [X 0] is pushed.

Trait Implementations

impl Eq for Base[src]

impl Clone for Base[src]

impl PartialOrd<Base> for Base[src]

impl PartialEq<Base> for Base[src]

impl Ord for Base[src]

impl Copy for Base[src]

impl Hash for Base[src]

impl Debug for Base[src]

Auto Trait Implementations

impl Send for Base

impl Unpin for Base

impl Sync for Base

impl UnwindSafe for Base

impl RefUnwindSafe for Base

Blanket Implementations

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

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

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

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.

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

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

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