Enum 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

Public key and corresponding signature

Fields

key_sig: KeySigPair

KeySig pair

PublicKeyHash

PublicKeyHash, corresponding pubkey and signature

Fields

keyhash: Hash

The pubkey hash

key_sig: KeySigPair

public key and signature

HashLock

Hashlock and preimage for SHA256

Fields

hash: HashLockType

The type of Hashlock

preimage: [u8; 32]

The preimage used for satisfaction

RelativeTimelock

Relative Timelock for CSV.

Fields

n: Sequence

The value of RelativeTimelock

AbsoluteTimelock

Absolute Timelock for CLTV.

Fields

n: LockTime

The value of Absolute timelock

VerEq

Elements Check Version eq

Fields

n: u32

The version of transaction

OutputsPref

Serialized outputs of this transaction start this prefix

Fields

pref: Vec<u8>

The version of transaction

Ext

Extension Interpreter

Fields

ext: Box<Ext>

Extension

Trait Implementations

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

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

Returns a duplicate 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 for SatisfiedConstraint<Ext>

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

Tests for self and other values to be equal, and is used by ==.

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

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> StructuralPartialEq for SatisfiedConstraint<Ext>