Enum elements_miniscript::interpreter::SatisfiedConstraint

pub enum SatisfiedConstraint<Ext: Extension> {
    PublicKey {
        key_sig: KeySigPair,
    },
    PublicKeyHash {
        keyhash: Hash,
        key_sig: KeySigPair,
    },
    HashLock {
        hash: HashLockType,
        preimage: [u8; 32],
    },
    RelativeTimelock {
        n: Sequence,
    },
    AbsoluteTimelock {
        n: LockTime,
    },
    VerEq {
        n: u32,
    },
    OutputsPref {
        pref: Vec<u8>,
    },
    Ext {
        ext: Box<Ext>,
    },
}

A satisfied Miniscript condition (Signature, Hashlock, Timelock) ’intp represents the lifetime of descriptor and `stack represents the lifetime of witness

Variants

PublicKey

Fields

key_sig: KeySigPair

KeySig pair

Public key and corresponding signature

PublicKeyHash

Fields

keyhash: Hash

The pubkey hash

key_sig: KeySigPair

public key and signature

PublicKeyHash, corresponding pubkey and signature

HashLock

Fields

hash: HashLockType

The type of Hashlock

preimage: [u8; 32]

The preimage used for satisfaction

Hashlock and preimage for SHA256

RelativeTimelock

Fields

n: Sequence

The value of RelativeTimelock

Relative Timelock for CSV.

AbsoluteTimelock

Fields

n: LockTime

The value of Absolute timelock

Absolute Timelock for CLTV.

VerEq

Fields

n: u32

The version of transaction

Elements Check Version eq

OutputsPref

Fields

pref: Vec<u8>

The version of transaction

Serialized outputs of this transaction start this prefix

Ext

Fields

ext: Box<Ext>

Extension

Extension Interpreter

Trait Implementations

impl<Ext: Clone + Extension> Clone for SatisfiedConstraint<Ext>

fn clone(&self) -> SatisfiedConstraint<Ext>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Ext: Debug + Extension> Debug for SatisfiedConstraint<Ext>

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

Formats the value using the given formatter.

impl<Ext: PartialEq + Extension> PartialEq<SatisfiedConstraint<Ext>> for SatisfiedConstraint<Ext>

fn eq(&self, other: &SatisfiedConstraint<Ext>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Ext: Eq + Extension> Eq for SatisfiedConstraint<Ext>

impl<Ext: Extension> StructuralEq for SatisfiedConstraint<Ext>

impl<Ext: Extension> StructuralPartialEq for SatisfiedConstraint<Ext>